Adjust type variable syntax for typed classes

This makes it consistent with other forms like the
new `lambda` form.
Support set-field! in Typed Racket
Move typed class unit tests into a separate file

Export some helpers from typecheck-tests in a submodule