Fix misnamings in lib.d.ts
Cache method type variables for re-use within recursive specializations.  (8x improvement in specialization perf and memory consumption.)
Fix bug in recursive type identity comparisons
Fix signature applicability checks on string constant overloads
Remove redundant parameter.
Report error if 'this' is used in an improper 'super' call.
For generic method type arguments, reuse the tyargs whenever possible when specializing its signature
New regression tests
Report errors if the class or interface is basetype of itself
Re-enable 'projects' tests for real module testing
Don't allow partially specialized types to be cached with the unspecialized parent
Update baselines
Fix samples breaks; update baselines