Put type system in place, working on instantiating templates.
About to remove typechecking framework.
Removed Type+TypeDef in favor of TypeDef, not pursuing null-checked code at this time.
Finished generics instantiation code for lists.