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".