Fixed bug in relational expression type checker

Lhs or Rhs can also be arithmetic expressions that evaluate to bool
Added binary logical expression type checker unit tests
Added binary relational expression type checker unit tests