made check return types work without errors. Lots of new kinds of Types. :)
Turned error catching back on in TypeCheck