Remove renaming from type syntax check
The renaming was necessary when locally quantified type variables could be introduced. As this is no longer the case, the renaming is obsolete.
The renaming was necessary when locally quantified type variables could be introduced. As this is no longer the case, the renaming is obsolete.