Added extra error messages, fixed makeModule
Commented out failure test that actually looks like type correct code
Fixed test definitions
Fixes for a number of current failing tests in the static checker