Stage 1 compiles.
Make IfaceTyCons sane.
Stage 2 compiles.
Bugfix. Minimal testsuite failures.
Implement NoSubKinds. Stage 1 compiles.