Implement simple dynamic type check.

tests/co19/co19-leg.status

Index: tests/co19/co19-leg.status
diff --git a/tests/co19/co19-leg.status b/tests/co19/co19-leg.status
index 6a040dd48c7f37cd49d73d4f4817b78fd4f6d74d..d60dc5597edfe2f9c37d3a12a93b39ea36d21f95 100644
--- a/tests/co19/co19-leg.status
+++ b/tests/co19/co19-leg.status
@@ -160,7 +160,16 @@ Language/13_Types/3_Type_Declarations/1_Typedef_A02_t03: Fail # Expect.isTrue(fa
 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.
@@ -207,10 +216,7 @@ Language/03_Overview/2_Privacy_A01_t16: Fail # Expect.equals(expected: <1>, actu
 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.
@@ -222,6 +228,7 @@ LibTest/core/RegExp/Pattern_semantics/firstMatch_DecimalEscape_A01_t02: Fail # E
 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'