Added some code to test typevars and generics.
Replaced 'object' with the old 'type' syntax.
Added Maxwell In A Nutshell paper.
Added typevar parsing.
Modified syntax for type specialization. Create AST node for type spec.
TypeVars and TypeSpecs are now represented as entities.
Added error that type specializations are not yet supported.
Fixed that type members would not have their scope initialized.
Analyzer now also looks for named entities in ScopeRoot scopes.
Minor alterations to frontend.mw.
TypeVars are now regular parts of a TypeDefinition.
Proper errors on invalid specializations.
TypeSpecializer prepared for action.
Bare TypeDefinition copying works.
Very basic type cloning works. Analysis information is not yet preserved though.
Compiler produces unique TypeDefinition names.
Specialization still not entirely working.
Some tinkering with the design documentation files.
Tweaked TypeVars so they default to the generic type.
TypeSpec now has initial type "Type".