Couple obvious optimizations for type aliases (#8099)
This PR:
* Removes three unused slots
* Makes recursivity test once per alias
* Documents an existing optimization (accidentally made before)
The effect of this it at the limit of precision on my laptop, but it looks like this gives around 1% speed-up (for cold runs).
