Operator type checking