Cleaner names for free type variables