Implement parsing and resolving of type-variables.

tests/language/language-leg.status

Index: tests/language/language-leg.status
diff --git a/tests/language/language-leg.status b/tests/language/language-leg.status
index 783594e33fb96d431c28f39d90f65bb0f9d78b2f..187736fb94e696f510e56811325c20580097eecf 100644
--- a/tests/language/language-leg.status
+++ b/tests/language/language-leg.status
@@ -74,6 +74,7 @@ SuperSetterTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 SuperTest: Fail # cannot find tokens to produce error message for i++.
 SwitchLabelTest: Fail # switch cases are not implemented
 TypeDartcTest: Fail # non-empty instruction stack
+TypeVariableIdentifierExpressionNegativeTest: Fail
 
 
 # Implementation errors (library or generated code).
@@ -237,7 +238,6 @@ TryCatchSyntaxTest/08: Fail, OK # Negative language test.
 TypeVariableBoundsTest/00: Fail, OK # Negative language test.
 TypeVariableBoundsTest/07: Fail, OK # Negative language test.
 TypeVariableBoundsTest/08: Fail, OK # Negative language test.
-TypeVariableIdentifierExpressionNegativeTest: Fail, OK # Negative language test.
 TypeVariableScopeTest/00: Fail, OK # Negative language test.
 TypeVariableScopeTest/01: Fail, OK # Negative language test.
 TypeVariableScopeTest/02: Fail, OK # Negative language test.