Type operators.
Apart from assign, binary expressions should use the "highest" type.