ComparisonOp should return BoolType on check operand