Add some scratch files
Clean up formatting, use illTyped in test

The test now uses illTyped, so that I can run the tests continuously
They now fail if whatever I'm doing with TypeClass breaks the old tests,
breaks the auto._ mechanism, or solves the nested recursion problem.
Turns out I don't need FinalInstance