How to infer static types for logical operators

[dibyendumajumdar]

The type of a logical operators and/or is determined based on the arguments - so this poses a problem when determining the return type statically.

Possible solutions:
We could specialise for situations where both operands of the boolean operator are of known type - because in this case the resulting type is going to be the same as that of the operands. However, when either operand is of a different type - only if the comparison is between constants can the resulting type be determined at compile time