Implement simple dynamic type check.

tests/co19/co19-leg.status

 # Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 [ $compiler == dart2js && $system == macos && $runtime == d8 ]
 LibTest/core/Math/acos_A01_t01: Fail, OK
 LibTest/core/Math/asin_A01_t01: Fail, OK
 LibTest/core/Math/atan_A01_t01: Fail, OK
 
 
@@ skipping 142 matching lines @@
 Language/03_Overview/2_Privacy_A01_t11: Fail # internal error: super property read not implemented
 Language/03_Overview/2_Privacy_A01_t14: Fail # duplicate definition of _(var _)=> _
 Language/11_Statements/11_Labels_A03_t04: Fail # continue not implemented
 Language/12_Libraries_and_Scripts/12_Libraries_and_Scripts_A05_t02: Fail # operator-is with typedef.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t02: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t03: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A03_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A04_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A04_t02: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A05_t02: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A08_t05: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A10_t01: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A10_t02: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A10_t03: Fail # Expect.isTrue(false) fails.
 Language/13_Types/4_Interface_Types_A10_t04: Fail # visitIdentifier for typedefs not implemented
+Language/13_Types/4_Interface_Types_A11_t03: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A11_t04: Fail # Expect.isTrue(false) fails.
+Language/13_Types/4_Interface_Types_A12_t09: Fail # Expect.isFalse(true) fails.
+
 Language/13_Types/5_Function_Types_A01_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t02: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t03: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t05: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t06: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t07: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t08: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t09: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t11: Fail # Expect.isTrue(false) fails.
 Language/13_Types/5_Function_Types_A01_t12: Fail # Expect.isTrue(false) fails.
@@ skipping 26 matching lines @@
 Language/10_Expressions/27_Assignable_Expressions_A05_t01: Fail # internal error: super property read not implemented
 Language/10_Expressions/28_Identifier_Reference_A02_t01: Fail # Pseudo keyword "abstract".
 
 [ $compiler == dart2js && $runtime == d8 ]
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClassEscape_A03_t01: Fail # compiler cancelled: internal error: fall-through not implemented
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClassEscape_A04_t01: Fail # compiler cancelled: internal error: fall-through not implemented
 Language/03_Overview/2_Privacy_A01_t16: Fail # Expect.equals(expected: <1>, actual: <54>) fails.
 Language/11_Statements/09_Try_A05_t03: Fail # Expect.isTrue(false) fails.
 Language/11_Statements/14_Throw_A03_t02: Fail # Expect.isTrue(false) fails.
 Language/11_Statements/14_Throw_A03_t03: Fail # Expect.isTrue(false) fails.
-Language/13_Types/4_Interface_Types_A12_t09: Fail # Expect.isFalse(true) fails.
 Language/13_Types/4_Interface_Types_A12_t12: Fail # Expect.isFalse(true) fails.
-Language/13_Types/4_Interface_Types_A12_t13: Fail # Expect.isFalse(true) fails.
-Language/13_Types/4_Interface_Types_A12_t14: Fail # Expect.isFalse(true) fails.
 Language/13_Types/4_Interface_Types_A12_t16: Fail # Expect.isFalse(true) fails.
 LibTest/core/Date/Date.fromEpoch_A01_t02: Fail # Expect.fail('Exception expected with the passed null value of the timeZone')
 LibTest/core/Date/toString_A02_t01: Fail # Expect.equals(expected: <1-01-01 00:00:00.000>, actual: <0001-01-01 00:00:00.000>) fails.
 LibTest/core/Expect/throws_A02_t01: Fail # reason (sdsds sd dsf) not mentioned in ExpectException message (Expect.isTrue(false) fails.)
 LibTest/core/Math/parseDouble_A02_t01: Fail # Expect.fail('BadNumberFormatException is expected')
 LibTest/core/Queue/iterator_A01_t01: Fail # Expect.isFalse(true) fails.
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterEscape_A06_t02: Fail # IllegalJSRegExpException: '\c(' 'SyntaxError: Invalid regular expression: /\c(/: Unterminated group'
 LibTest/core/RegExp/Pattern_semantics/firstMatch_DecimalEscape_A01_t02: Fail # Expect.fail('Some exception expected')
 LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t05: Fail # Expect.fail('Some exception expected')
 LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t06: Fail # Expect.fail('Some exception expected')
 Language/10_Expressions/01_Constants_A10_t01: Fail # internal error: CompileTimeConstantEvaluator not implemented
+
 Language/10_Expressions/06_Lists_A07_t02: Fail # generic type information is lost during canonicalization.
 Language/10_Expressions/07_Maps_A06_t02: Fail # generic type information is lost during canonicalization.
 Language/10_Expressions/13_Function_Invocation/4_Function_Expression_Invocation_A05_t01: Fail # TypeError: Object #<Closure> has no method 'call'
 Language/10_Expressions/14_Method_Invocation/3_Super_Invocation_A07_t01: Fail # Should throw ObjectNotClosure, not NoSuchMethodException.
 Language/10_Expressions/16_Assignment_A05_t06: Fail # Wrong name passed to noSuchMethod.
 Language/10_Expressions/20_Equality_A06_t01: Fail # Canonicalization.
 Language/10_Expressions/20_Equality_A09_t01: Fail # Canonicalization.
 Language/10_Expressions/25_Unary_Expressions_A06_t01: Fail # NoSuchMethodException : method not found: '-'
 
 [ $compiler == dart2js && $runtime == none ]
@@ skipping 265 matching lines @@
 Language/12_Libraries_and_Scripts/12_Libraries_and_Scripts_A05_t03: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/12_Libraries_and_Scripts_A07_t02: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/1_Imports_A03_t05: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/1_Imports_A05_t01: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/1_Imports_A07_t01: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/1_Imports_A07_t02: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/2_Includes_A01_t01: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/2_Includes_A03_t03: Fail, OK # @compile-error
 Language/13_Types/1_Static_Types_A02_t08: Fail, OK # @compile-error
 Language/13_Types/7_Type_Void_A01_t02: Fail, OK # @compile-error