Supported unknown operators with type information. The syntax for operator with type info:
<operator>::<type>