Reports if binary and unary expressions have operands with incorrect types.