Clean up codegen a bit.
Add asserts when creating instruction represenations.
Don't show an 'r' before shifts
Fix mc/parser.rs and tests in mc/resolver.rs so they compile again.
Refactor style of a bunch of mc session stuff
Refactor and clean error handling in typechecker. Could still be improved, probably.