Added Unary and most of Binary
Merge remote-tracking branch 'upstream/master'
Most of typeInfer done with some errors (errors possibly result form other parts of unfinished code)