Renamer looks up type operator fixities in the NamingEnv.
Renamer looks up type operator fixities in the NamingEnv.

Primitive infix type operators are looked up in a hard-coded
table; everything else is looked up in the NamingEnv.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol