Stop aliasing Type in defmap
Various bugfixes, cleanups, and enhancements
Add basic typechecker
Add mc2c to clean target, build tests with debug flags