implement a few compiler optimizations

[tsatke]

• Half join (decend into join input, also)
• Two projections that cancel out
• Expressions that always evaluate to a constant value ( compiler: optimize constant expressions #143 )