Remove unnecessary class typechecking code

Also add a test for this part of TR. In particular, it
handles registering syntax definitions that are found in
a class body.
Re-enable and fix a TR class test

It turns out the test was wrong instead of the implementation.
In particular, it reversed the internal/external name and thus
the error it failed with was correct (though not the intention of
the test).