Use shorthand notation for classes in subtype tests
Add support for positional init arguments for TR

This includes support for positional inits and also
init-rest along with make-object and instantiate.
Move internal unit tests out into a separate file
Address more PR feedback