improve error messages for type mismatch in arithmetic operations/comparisons