context for typechecks is now a Type* so generics can be used, class space symbol table resolves types where necessary. Tests failing from some wierd issue where Ints go everywhere.
Parameter resolution process was rewriting original rather than derived class type. Fixed, all tests passing woohoo