Added missing case for SuperTypes to TypeComparer
SuperTypes are now promoted in Retyper; lambdaLift fails to Ycheck otherwise.
LambdaLift checks now explicitly for references to labels outside scope.

Nested methods cannot refer to labels in theior environment. Needs a fix in TailCalls.
Moved failing test to pending.