Implemented type checks on operators in expressions.