support constructors of types in imports and exports even if those constructors are spelled like infix operators
support ⊥ as a infix_op
^ is a valid infix_op character