Can now semantic check boolean operator with boolean expr in first
operand

fixes #15