Many changes, mostly related to putting type parameters on methods.
Fix for class aliasing.
Fixed a few more bugs
More bugfixes.
Work towards new typechecking.