Reports incompatible types in binary and unary expressions.