Generate dynamic type errors according to spec.

tests/language/language.status

Index: tests/language/language.status
===================================================================
--- tests/language/language.status	(revision 5060)
+++ tests/language/language.status	(working copy)
@@ -42,8 +42,9 @@
 FunctionTypeAliasNegativeTest: Fail # Spec not clear about self referencing types.
 
 # Bad tests needing to be fixed.
-Prefix23NegativeTest: Fail
 TypeVariableScopeTest/00: Fail
+TypeVariableScopeTest/01: Fail
+TypeVariableScopeTest/02: Fail
 TypeVariableScopeTest/03: Fail
 TypeVariableScopeTest/04: Fail
 TypeVariableScopeTest/05: Fail
@@ -96,11 +97,6 @@
 IsNotClass3NegativeTest: Fail  # Spec unclear.
 Prefix16NegativeTest: Fail    # Bug 5532534
 
-[ ($component == vm || $component == dartium) && $checked ]
-
-TypeVariableBounds2Test/03: Fail # Work in progress.
-Prefix22Test: Fail # This test should be negative in checked mode.
-
 [ ($component == vm || $component == dartium) && $mode == debug ]
 GCTest: Skip  # Takes too long.
 
@@ -150,8 +146,6 @@
 Prefix11NegativeTest: Fail             # Bug 5406175
 Prefix12NegativeTest: Fail             # Bug 5406175
 Prefix16NegativeTest: Fail             # Bug 5532534
-Prefix22NegativeTest: Fail   # Needs to be re-written as multitest
-Prefix23NegativeTest: Fail   # Needs to be re-written as multitest
 Prefix3NegativeTest: Fail              # Bug 5406175
 Prefix6NegativeTest: Fail
 PrivateMember3NegativeTest: Fail
@@ -351,8 +345,6 @@
 Prefix11NegativeTest: Fail
 Prefix16NegativeTest: Fail
 Prefix20NegativeTest: Fail
-Prefix22NegativeTest: Fail
-Prefix23NegativeTest: Fail
 PrivateMemberTest: Fail
 PrivateMember2NegativeTest: Fail
 PrivateMember3NegativeTest: Fail