Bug Fix: Fixed "internal error" caused by assertion in type var matching logic.
Bug FIx: Fixed detection of abstract methods that are not overridden. Previous implementation made bad assumptions about overload ordering.
Bug Fix: Fixed a bug in the case where a type alias is used as a type argument for another (user-defined generic) type alias.