translator puts primes on tyvars and avoids function names like ref, o, + etc.