Further improve compilation performance and reduce compiled module size

[Qqwy]

Fixes #110

• Instead of compiling the type-datastructure of the current error at each of the error responses, rebuild it once we create an exception from it from the outside in.
• Reconsider the type definitions of all the problem_tuple types. One approach might be to compile all module atom names, so we still have a stricter way to disambugate particular problem_tuples in the formatter and for data generation?
• Fix the tests. Quite a challenge 😅

The example code of the example now results in an Erlang core module of only ~138MB large, and compiles in roughly 15s on my local computer. (On faster computers, it probably will be sub-10s). I think this is as far as we can push this, without moving away from compiling all checks inline (which is out of scope for now, although it makes sense to add this in a future version.)