create and typecheck a new ComparisonBinOp AST node type