c_src: regenerate
[nit.git] / c_src / nitc__nith.types.1.c
similarity index 70%
rename from c_src/nit__nith.types.1.c
rename to c_src/nitc__nith.types.1.c
index 4f04d94..6382e67 100644 (file)
@@ -1,6 +1,6 @@
-#include "nit__nith.types.0.h"
+#include "nitc__nith.types.0.h"
 /* runtime type Sys */
-const struct type type_standard__Sys = {
+const struct type type_core__Sys = {
 -1, /*CAST DEAD*/
 "Sys", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -8,12 +8,12 @@ const struct type type_standard__Sys = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Stdin */
-const struct type type_standard__Stdin = {
+const struct type type_core__Stdin = {
 -1, /*CAST DEAD*/
 "Stdin", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -21,12 +21,12 @@ const struct type type_standard__Stdin = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Bool */
-const struct type type_standard__Bool = {
+const struct type type_core__Bool = {
 3,
 "Bool", /* class_name_string */
 2,
@@ -34,13 +34,13 @@ const struct type type_standard__Bool = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 3, /* Bool */
 },
 };
 /* runtime type NativeString */
-const struct type type_standard__NativeString = {
+const struct type type_core__NativeString = {
 -1, /*CAST DEAD*/
 "NativeString", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -48,33 +48,33 @@ const struct type type_standard__NativeString = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Int */
-const struct type type_standard__Int = {
+const struct type type_core__Int = {
 5,
 "Int", /* class_name_string */
 3,
 0,
-&resolution_table_standard__Int,
+&resolution_table_core__Int,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
 5, /* Int */
 },
 };
-const struct types resolution_table_standard__Int = {
+const struct types resolution_table_core__Int = {
 0, /* dummy */
 {
-&type_standard__Int, /* OTHER: Int */
+&type_core__Int, /* OTHER: Int */
 }
 };
 /* runtime type Stdout */
-const struct type type_standard__Stdout = {
+const struct type type_core__Stdout = {
 -1, /*CAST DEAD*/
 "Stdout", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -82,12 +82,12 @@ const struct type type_standard__Stdout = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Stderr */
-const struct type type_standard__Stderr = {
+const struct type type_core__Stderr = {
 -1, /*CAST DEAD*/
 "Stderr", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -95,54 +95,54 @@ const struct type type_standard__Stderr = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Float */
-const struct type type_standard__Float = {
+const struct type type_core__Float = {
 8,
 "Float", /* class_name_string */
 3,
 0,
-&resolution_table_standard__Float,
+&resolution_table_core__Float,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
 8, /* Float */
 },
 };
-const struct types resolution_table_standard__Float = {
+const struct types resolution_table_core__Float = {
 0, /* dummy */
 {
-&type_standard__Float, /* OTHER: Float */
+&type_core__Float, /* OTHER: Float */
 }
 };
 /* runtime type Char */
-const struct type type_standard__Char = {
+const struct type type_core__Char = {
 9,
 "Char", /* class_name_string */
 3,
 0,
-&resolution_table_standard__Char,
+&resolution_table_core__Char,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
 9, /* Char */
 },
 };
-const struct types resolution_table_standard__Char = {
+const struct types resolution_table_core__Char = {
 0, /* dummy */
 {
-&type_standard__Char, /* OTHER: Char */
+&type_core__Char, /* OTHER: Char */
 }
 };
 /* runtime type Pointer */
-const struct type type_standard__Pointer = {
+const struct type type_core__Pointer = {
 -1, /*CAST DEAD*/
 "Pointer", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -150,33 +150,151 @@ const struct type type_standard__Pointer = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type Byte */
-const struct type type_standard__Byte = {
+const struct type type_core__Byte = {
 11,
 "Byte", /* class_name_string */
 3,
 0,
-&resolution_table_standard__Byte,
+&resolution_table_core__Byte,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
 11, /* Byte */
 },
 };
-const struct types resolution_table_standard__Byte = {
+const struct types resolution_table_core__Byte = {
 0, /* dummy */
 {
-&type_standard__Byte, /* OTHER: Byte */
+&type_core__Byte, /* OTHER: Byte */
 }
 };
+/* runtime type Int8 */
+const struct type type_core__Int8 = {
+12,
+"Int8", /* class_name_string */
+3,
+0,
+&resolution_table_core__Int8,
+4,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+12, /* Int8 */
+},
+};
+const struct types resolution_table_core__Int8 = {
+0, /* dummy */
+{
+&type_core__Int8, /* OTHER: Int8 */
+}
+};
+/* runtime type Int16 */
+const struct type type_core__Int16 = {
+13,
+"Int16", /* class_name_string */
+3,
+0,
+&resolution_table_core__Int16,
+4,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+13, /* Int16 */
+},
+};
+const struct types resolution_table_core__Int16 = {
+0, /* dummy */
+{
+&type_core__Int16, /* OTHER: Int16 */
+}
+};
+/* runtime type UInt16 */
+const struct type type_core__UInt16 = {
+14,
+"UInt16", /* class_name_string */
+3,
+0,
+&resolution_table_core__UInt16,
+4,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+14, /* UInt16 */
+},
+};
+const struct types resolution_table_core__UInt16 = {
+0, /* dummy */
+{
+&type_core__UInt16, /* OTHER: UInt16 */
+}
+};
+/* runtime type Int32 */
+const struct type type_core__Int32 = {
+15,
+"Int32", /* class_name_string */
+3,
+0,
+&resolution_table_core__Int32,
+4,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+15, /* Int32 */
+},
+};
+const struct types resolution_table_core__Int32 = {
+0, /* dummy */
+{
+&type_core__Int32, /* OTHER: Int32 */
+}
+};
+/* runtime type UInt32 */
+const struct type type_core__UInt32 = {
+16,
+"UInt32", /* class_name_string */
+3,
+0,
+&resolution_table_core__UInt32,
+4,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+16, /* UInt32 */
+},
+};
+const struct types resolution_table_core__UInt32 = {
+0, /* dummy */
+{
+&type_core__UInt32, /* OTHER: UInt32 */
+}
+};
+/* runtime type UTF8Decoder */
+const struct type type_core__utf8__UTF8Decoder = {
+-1, /*CAST DEAD*/
+"UTF8Decoder", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+2,
+{
+2371, /* Object */
+2397, /* nullable Object */
+},
+};
 /* runtime type NativeFile */
-const struct type type_standard__file__NativeFile = {
+const struct type type_core__file__NativeFile = {
 -1, /*CAST DEAD*/
 "NativeFile", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -184,27 +302,41 @@ const struct type type_standard__file__NativeFile = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+},
+};
+/* runtime type UTF8Coder */
+const struct type type_core__utf8__UTF8Coder = {
+-1, /*CAST DEAD*/
+"UTF8Coder", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+2,
+{
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type FlatString */
-const struct type type_standard__FlatString = {
-13,
+const struct type type_core__FlatString = {
+20,
 "FlatString", /* class_name_string */
 7,
 0,
-&resolution_table_standard__FlatString,
-125,
+&resolution_table_core__FlatString,
+130,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
-2007, /* Text */
-2187, /* FlatText */
-2162, /* String */
-2171, /* nullable String */
-13, /* FlatString */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+2205, /* Text */
+2344, /* String */
+2201, /* FlatText */
+2360, /* nullable String */
+20, /* FlatString */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -321,30 +453,38 @@ const struct type type_standard__FlatString = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2184, /* Writable */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2375, /* Writable */
 },
 };
-const struct types resolution_table_standard__FlatString = {
+const struct types resolution_table_core__FlatString = {
 0, /* dummy */
 {
-&type_standard__Text, /* OTHER: Text */
-&type_standard__String, /* SELFTYPE: String */
-&type_standard__Array__standard__String, /* Array[SELFTYPE]: Array[String] */
+&type_core__Text, /* OTHER: Text */
+&type_core__String, /* SELFTYPE: String */
+&type_core__Array__core__String, /* Array[SELFTYPE]: Array[String] */
 }
 };
 /* runtime type FlatStringCharView */
-const struct type type_standard__string__FlatStringCharView = {
+const struct type type_core__flat__FlatStringCharView = {
 -1, /*CAST DEAD*/
 "FlatStringCharView", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__string__FlatStringCharView,
-125,
+&resolution_table_core__flat__FlatStringCharView,
+132,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+2206, /* Collection[Char] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
-2008, /* Collection[Char] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -373,11 +513,11 @@ const struct type type_standard__string__FlatStringCharView = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -451,6 +591,7 @@ const struct type type_standard__string__FlatStringCharView = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -465,44 +606,33 @@ const struct type type_standard__string__FlatStringCharView = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
+-1, /* empty */
+2202, /* SequenceRead[nullable Object] */
+-1, /* empty */
 },
 };
-const struct types resolution_table_standard__string__FlatStringCharView = {
+const struct types resolution_table_core__flat__FlatStringCharView = {
 0, /* dummy */
 {
-&type_standard__FlatString, /* SELFTYPE: FlatString */
-&type_standard__Array__standard__Char, /* Array[E]: Array[Char] */
+&type_core__FlatString, /* SELFTYPE: FlatString */
+&type_core__Array__core__Char, /* Array[E]: Array[Char] */
 }
 };
-/* runtime type IOError */
-const struct type type_standard__IOError = {
+/* runtime type FlatStringByteView */
+const struct type type_core__flat__FlatStringByteView = {
 -1, /*CAST DEAD*/
-"IOError", /* class_name_string */
+"FlatStringByteView", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-NULL, /*NO RESOLUTIONS*/
-2,
-{
-80, /* Object */
-2622, /* nullable Object */
-},
-};
-/* runtime type Array[String] */
-const struct type type_standard__Array__standard__String = {
-16,
-"Array[String]", /* class_name_string */
-369,
-0,
-&resolution_table_standard__Array__standard__String,
-490,
+&resolution_table_core__flat__FlatStringByteView,
+132,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
+2215, /* Collection[Byte] */
 -1, /* empty */
-2306, /* Collection[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -533,13 +663,12 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2343, /* Collection[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -612,6 +741,7 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -621,18 +751,51 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
-2425, /* AbstractArrayRead[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__flat__FlatStringByteView = {
+0, /* dummy */
+{
+&type_core__FlatString, /* SELFTYPE: FlatString */
+&type_core__Array__core__Byte, /* Array[E]: Array[Byte] */
+}
+};
+/* runtime type IOError */
+const struct type type_core__IOError = {
+-1, /*CAST DEAD*/
+"IOError", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+2,
+{
+2371, /* Object */
+2397, /* nullable Object */
+},
+};
+/* runtime type Array[String] */
+const struct type type_core__Array__core__String = {
+24,
+"Array[String]", /* class_name_string */
+385,
+0,
+&resolution_table_core__Array__core__String,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2402, /* Collection[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -654,22 +817,22 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2463, /* AbstractArrayRead[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2439, /* Collection[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -741,9 +904,9 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
-2649, /* AbstractArray[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -756,7 +919,10 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
+2526, /* AbstractArrayRead[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -775,13 +941,11 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2687, /* AbstractArray[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -789,11 +953,13 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2563, /* AbstractArrayRead[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -864,14 +1030,11 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
-16, /* Array[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
-2172, /* Array[Comparable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -885,6 +1048,7 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2850, /* AbstractArray[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -910,17 +1074,18 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-672, /* Array[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2887, /* AbstractArray[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -987,38 +1152,6 @@ const struct type type_standard__Array__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__String = {
-0, /* dummy */
-{
-&type_standard__String, /* E: String */
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__Collection__standard__String, /* Collection[E]: Collection[String] */
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__NativeArray__standard__String, /* NativeArray[E]: NativeArray[String] */
-&type_standard__String, /* E: String */
-&type_standard__Collection__standard__String, /* Collection[E]: Collection[String] */
-&type_standard__String, /* E: String */
-&type_standard__Collection__standard__String, /* Collection[E]: Collection[String] */
-&type_standard__Collection__standard__String, /* Collection[E]: Collection[String] */
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__AbstractArray__standard__String, /* AbstractArray[E]: AbstractArray[String] */
-&type_standard__array__ArrayIterator__standard__String, /* ArrayIterator[E]: ArrayIterator[String] */
-}
-};
-/* runtime type NativeArray[String] */
-const struct type type_standard__NativeArray__standard__String = {
-17,
-"NativeArray[String]", /* class_name_string */
-2,
-0,
-&resolution_table_standard__NativeArray__standard__String,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
-17, /* NativeArray[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1026,6 +1159,7 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1040,23 +1174,24 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
+24, /* Array[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2361, /* Array[Comparable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1402, /* NativeArray[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1083,6 +1218,7 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+250, /* Array[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1164,6 +1300,40 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__core__String = {
+0, /* dummy */
+{
+&type_core__String, /* E: String */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__Collection__core__String, /* Collection[E]: Collection[String] */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__AbstractArray__core__String, /* AbstractArray[E]: AbstractArray[String] */
+&type_core__NativeArray__core__String, /* NativeArray[E]: NativeArray[String] */
+&type_core__String, /* E: String */
+&type_core__Collection__core__String, /* Collection[E]: Collection[String] */
+&type_core__String, /* E: String */
+&type_core__Collection__core__String, /* Collection[E]: Collection[String] */
+&type_core__Collection__core__String, /* Collection[E]: Collection[String] */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__AbstractArray__core__String, /* AbstractArray[E]: AbstractArray[String] */
+&type_core__array__ArrayIterator__core__String, /* ArrayIterator[E]: ArrayIterator[String] */
+&type_core__array__ArrayReverseIterator__core__String, /* ArrayReverseIterator[E]: ArrayReverseIterator[String] */
+}
+};
+/* runtime type NativeArray[String] */
+const struct type type_core__NativeArray__core__String = {
+25,
+"NativeArray[String]", /* class_name_string */
+2,
+0,
+&resolution_table_core__NativeArray__core__String,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
+25, /* NativeArray[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1194,11 +1364,13 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1482, /* NativeArray[Writable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1235,44 +1407,10 @@ const struct type type_standard__NativeArray__standard__String = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__String = {
-0, /* dummy */
-{
-&type_standard__String, /* E: String */
-&type_standard__NativeArray__standard__String, /* NativeArray[E]: NativeArray[String] */
-}
-};
-/* runtime type ToolContext */
-const struct type type_nit__ToolContext = {
--1, /*CAST DEAD*/
-"ToolContext", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-NULL, /*NO RESOLUTIONS*/
-2,
-{
-80, /* Object */
-2622, /* nullable Object */
-},
-};
-/* runtime type Array[Message] */
-const struct type type_standard__Array__nit__Message = {
-19,
-"Array[Message]", /* class_name_string */
-388,
-0,
-&resolution_table_standard__Array__nit__Message,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2307, /* Collection[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1302,11 +1440,11 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1390,9 +1528,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
-2426, /* AbstractArrayRead[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1421,11 +1557,44 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__core__String = {
+0, /* dummy */
+{
+&type_core__String, /* E: String */
+&type_core__NativeArray__core__String, /* NativeArray[E]: NativeArray[String] */
+}
+};
+/* runtime type ToolContext */
+const struct type type_nitc__ToolContext = {
+-1, /*CAST DEAD*/
+"ToolContext", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+2,
+{
+2371, /* Object */
+2397, /* nullable Object */
+},
+};
+/* runtime type Array[Message] */
+const struct type type_core__Array__nitc__Message = {
+27,
+"Array[Message]", /* class_name_string */
+404,
+0,
+&resolution_table_core__Array__nitc__Message,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
+2403, /* Collection[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1455,6 +1624,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1513,7 +1683,6 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2650, /* AbstractArray[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1533,6 +1702,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1544,12 +1714,14 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2527, /* AbstractArrayRead[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1579,6 +1751,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1633,14 +1806,11 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2172, /* Array[Comparable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1654,7 +1824,6 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-19, /* Array[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1662,6 +1831,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1677,6 +1847,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2851, /* AbstractArray[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1706,6 +1877,7 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1756,38 +1928,6 @@ const struct type type_standard__Array__nit__Message = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__nit__Message = {
-0, /* dummy */
-{
-&type_nit__Message, /* E: Message */
-&type_standard__Array__nit__Message, /* Array[E]: Array[Message] */
-&type_standard__Collection__nit__Message, /* Collection[E]: Collection[Message] */
-&type_standard__Array__nit__Message, /* Array[E]: Array[Message] */
-&type_standard__NativeArray__nit__Message, /* NativeArray[E]: NativeArray[Message] */
-&type_nit__Message, /* E: Message */
-&type_standard__Collection__nit__Message, /* Collection[E]: Collection[Message] */
-&type_nit__Message, /* E: Message */
-&type_standard__Collection__nit__Message, /* Collection[E]: Collection[Message] */
-&type_standard__Collection__nit__Message, /* Collection[E]: Collection[Message] */
-&type_standard__Array__nit__Message, /* Array[E]: Array[Message] */
-&type_standard__AbstractArray__nit__Message, /* AbstractArray[E]: AbstractArray[Message] */
-&type_standard__array__ArrayIterator__nit__Message, /* ArrayIterator[E]: ArrayIterator[Message] */
-}
-};
-/* runtime type MultiHashMap[SourceFile, String] */
-const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard__String = {
--1, /*CAST DEAD*/
-"MultiHashMap[SourceFile, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_more_collections__MultiHashMap__nit__SourceFile__standard__String,
-83,
-{
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1795,7 +1935,6 @@ const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2164, /* HashMap[SourceFile, Array[String]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1818,6 +1957,7 @@ const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1832,11 +1972,13 @@ const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2361, /* Array[Comparable] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1846,11 +1988,11 @@ const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1295, /* HashMap[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+27, /* Array[Message] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1868,56 +2010,11 @@ const struct type type_more_collections__MultiHashMap__nit__SourceFile__standard
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_more_collections__MultiHashMap__nit__SourceFile__standard__String = {
-0, /* dummy */
-{
-&type_nit__SourceFile, /* K: SourceFile */
-&type_standard__String, /* V: String */
-&type_standard__Array__standard__String, /* Array[V]: Array[String] */
-&type_standard__HashMapIterator__nit__SourceFile__standard__Array__standard__String, /* HashMapIterator[K, V]: HashMapIterator[SourceFile, Array[String]] */
-&type_nit__SourceFile, /* K: SourceFile */
-&type_standard__Array__standard__String, /* V: Array[String] */
-&type_standard__hash_collection__HashMapNode__nit__SourceFile__standard__Array__standard__String, /* HashMapNode[K, V]: HashMapNode[SourceFile, Array[String]] */
-&type_standard__hash_collection__HashMapKeys__nit__SourceFile__standard__Array__standard__String, /* HashMapKeys[K, V]: HashMapKeys[SourceFile, Array[String]] */
-&type_standard__hash_collection__HashMapValues__nit__SourceFile__standard__Array__standard__String, /* HashMapValues[K, V]: HashMapValues[SourceFile, Array[String]] */
-NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__SourceFile__standard__Array__standard__String, /* nullable N: nullable HashMapNode[SourceFile, Array[String]] */
-&type_standard__hash_collection__HashMapNode__nit__SourceFile__standard__Array__standard__String, /* N: HashMapNode[SourceFile, Array[String]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__SourceFile__standard__Array__standard__String, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[SourceFile, Array[String]]] */
-}
-};
-/* runtime type OptionContext */
-const struct type type_opts__OptionContext = {
--1, /*CAST DEAD*/
-"OptionContext", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-NULL, /*NO RESOLUTIONS*/
-2,
-{
-80, /* Object */
-2622, /* nullable Object */
-},
-};
-/* runtime type Array[Option] */
-const struct type type_standard__Array__opts__Option = {
-22,
-"Array[Option]", /* class_name_string */
-389,
-0,
-&resolution_table_standard__Array__opts__Option,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2308, /* Collection[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1946,7 +2043,6 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2002,6 +2098,40 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__nitc__Message = {
+0, /* dummy */
+{
+&type_nitc__Message, /* E: Message */
+&type_core__Array__nitc__Message, /* Array[E]: Array[Message] */
+&type_core__Collection__nitc__Message, /* Collection[E]: Collection[Message] */
+&type_core__Array__nitc__Message, /* Array[E]: Array[Message] */
+&type_core__AbstractArray__nitc__Message, /* AbstractArray[E]: AbstractArray[Message] */
+&type_core__NativeArray__nitc__Message, /* NativeArray[E]: NativeArray[Message] */
+&type_nitc__Message, /* E: Message */
+&type_core__Collection__nitc__Message, /* Collection[E]: Collection[Message] */
+&type_nitc__Message, /* E: Message */
+&type_core__Collection__nitc__Message, /* Collection[E]: Collection[Message] */
+&type_core__Collection__nitc__Message, /* Collection[E]: Collection[Message] */
+&type_core__Array__nitc__Message, /* Array[E]: Array[Message] */
+&type_core__AbstractArray__nitc__Message, /* AbstractArray[E]: AbstractArray[Message] */
+&type_core__array__ArrayIterator__nitc__Message, /* ArrayIterator[E]: ArrayIterator[Message] */
+&type_core__array__ArrayReverseIterator__nitc__Message, /* ArrayReverseIterator[E]: ArrayReverseIterator[Message] */
+}
+};
+/* runtime type MultiHashMap[SourceFile, String] */
+const struct type type_more_collections__MultiHashMap__nitc__SourceFile__core__String = {
+-1, /*CAST DEAD*/
+"MultiHashMap[SourceFile, String]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_more_collections__MultiHashMap__nitc__SourceFile__core__String,
+85,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2009,6 +2139,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2353, /* HashMap[SourceFile, Array[String]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2034,10 +2165,8 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
-2427, /* AbstractArrayRead[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2062,12 +2191,13 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2084,11 +2214,56 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_more_collections__MultiHashMap__nitc__SourceFile__core__String = {
+0, /* dummy */
+{
+&type_nitc__SourceFile, /* K: SourceFile */
+&type_core__String, /* V: String */
+&type_core__Array__core__String, /* Array[V]: Array[String] */
+&type_core__hash_collection__HashMapIterator__nitc__SourceFile__core__Array__core__String, /* HashMapIterator[K, V]: HashMapIterator[SourceFile, Array[String]] */
+&type_nitc__SourceFile, /* K: SourceFile */
+&type_core__Array__core__String, /* V: Array[String] */
+&type_core__hash_collection__HashMapNode__nitc__SourceFile__core__Array__core__String, /* HashMapNode[K, V]: HashMapNode[SourceFile, Array[String]] */
+&type_core__hash_collection__HashMapKeys__nitc__SourceFile__core__Array__core__String, /* HashMapKeys[K, V]: HashMapKeys[SourceFile, Array[String]] */
+&type_core__hash_collection__HashMapValues__nitc__SourceFile__core__Array__core__String, /* HashMapValues[K, V]: HashMapValues[SourceFile, Array[String]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__SourceFile__core__Array__core__String, /* nullable N: nullable HashMapNode[SourceFile, Array[String]] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__nitc__SourceFile__core__Array__core__String, /* N: HashMapNode[SourceFile, Array[String]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__SourceFile__core__Array__core__String, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[SourceFile, Array[String]]] */
+}
+};
+/* runtime type OptionContext */
+const struct type type_opts__OptionContext = {
+-1, /*CAST DEAD*/
+"OptionContext", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+2,
+{
+2371, /* Object */
+2397, /* nullable Object */
+},
+};
+/* runtime type Array[Option] */
+const struct type type_core__Array__opts__Option = {
+30,
+"Array[Option]", /* class_name_string */
+405,
+0,
+&resolution_table_core__Array__opts__Option,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2404, /* Collection[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2117,6 +2292,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2158,7 +2334,6 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2651, /* AbstractArray[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2188,7 +2363,6 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2196,6 +2370,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2210,9 +2385,12 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2528, /* AbstractArrayRead[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2241,6 +2419,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2277,8 +2456,6 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2299,7 +2476,6 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-22, /* Array[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2323,6 +2499,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2339,6 +2516,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2852, /* AbstractArray[Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2367,6 +2545,7 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2400,38 +2579,228 @@ const struct type type_standard__Array__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__opts__Option = {
-0, /* dummy */
-{
-&type_opts__Option, /* E: Option */
-&type_standard__Array__opts__Option, /* Array[E]: Array[Option] */
-&type_standard__Collection__opts__Option, /* Collection[E]: Collection[Option] */
-&type_standard__Array__opts__Option, /* Array[E]: Array[Option] */
-&type_standard__NativeArray__opts__Option, /* NativeArray[E]: NativeArray[Option] */
-&type_opts__Option, /* E: Option */
-&type_standard__Collection__opts__Option, /* Collection[E]: Collection[Option] */
-&type_opts__Option, /* E: Option */
-&type_standard__Collection__opts__Option, /* Collection[E]: Collection[Option] */
-&type_standard__Collection__opts__Option, /* Collection[E]: Collection[Option] */
-&type_standard__Array__opts__Option, /* Array[E]: Array[Option] */
-&type_standard__AbstractArray__opts__Option, /* AbstractArray[E]: AbstractArray[Option] */
-&type_standard__array__ArrayIterator__opts__Option, /* ArrayIterator[E]: ArrayIterator[Option] */
-}
-};
-/* runtime type HashMap[String, Option] */
-const struct type type_standard__HashMap__standard__String__opts__Option = {
-23,
-"HashMap[String, Option]", /* class_name_string */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2961, /* AbstractArray[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+228, /* Array[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+30, /* Array[Option] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__opts__Option = {
+0, /* dummy */
+{
+&type_opts__Option, /* E: Option */
+&type_core__Array__opts__Option, /* Array[E]: Array[Option] */
+&type_core__Collection__opts__Option, /* Collection[E]: Collection[Option] */
+&type_core__Array__opts__Option, /* Array[E]: Array[Option] */
+&type_core__AbstractArray__opts__Option, /* AbstractArray[E]: AbstractArray[Option] */
+&type_core__NativeArray__opts__Option, /* NativeArray[E]: NativeArray[Option] */
+&type_opts__Option, /* E: Option */
+&type_core__Collection__opts__Option, /* Collection[E]: Collection[Option] */
+&type_opts__Option, /* E: Option */
+&type_core__Collection__opts__Option, /* Collection[E]: Collection[Option] */
+&type_core__Collection__opts__Option, /* Collection[E]: Collection[Option] */
+&type_core__Array__opts__Option, /* Array[E]: Array[Option] */
+&type_core__AbstractArray__opts__Option, /* AbstractArray[E]: AbstractArray[Option] */
+&type_core__array__ArrayIterator__opts__Option, /* ArrayIterator[E]: ArrayIterator[Option] */
+&type_core__array__ArrayReverseIterator__opts__Option, /* ArrayReverseIterator[E]: ArrayReverseIterator[Option] */
+}
+};
+/* runtime type HashMap[String, Option] */
+const struct type type_core__HashMap__core__String__opts__Option = {
+31,
+"HashMap[String, Option]", /* class_name_string */
 11,
 0,
-&resolution_table_standard__HashMap__standard__String__opts__Option,
-83,
+&resolution_table_core__HashMap__core__String__opts__Option,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2439,8 +2808,8 @@ const struct type type_standard__HashMap__standard__String__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+31, /* HashMap[String, Option] */
 -1, /* empty */
-23, /* HashMap[String, Option] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2491,6 +2860,7 @@ const struct type type_standard__HashMap__standard__String__opts__Option = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2514,22 +2884,22 @@ const struct type type_standard__HashMap__standard__String__opts__Option = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__standard__String__opts__Option = {
+const struct types resolution_table_core__HashMap__core__String__opts__Option = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__standard__String__opts__Option, /* HashMapIterator[K, V]: HashMapIterator[String, Option] */
-&type_standard__String, /* K: String */
+&type_core__hash_collection__HashMapIterator__core__String__opts__Option, /* HashMapIterator[K, V]: HashMapIterator[String, Option] */
+&type_core__String, /* K: String */
 &type_opts__Option, /* V: Option */
-&type_standard__hash_collection__HashMapNode__standard__String__opts__Option, /* HashMapNode[K, V]: HashMapNode[String, Option] */
-&type_standard__hash_collection__HashMapKeys__standard__String__opts__Option, /* HashMapKeys[K, V]: HashMapKeys[String, Option] */
-&type_standard__hash_collection__HashMapValues__standard__String__opts__Option, /* HashMapValues[K, V]: HashMapValues[String, Option] */
+&type_core__hash_collection__HashMapNode__core__String__opts__Option, /* HashMapNode[K, V]: HashMapNode[String, Option] */
+&type_core__hash_collection__HashMapKeys__core__String__opts__Option, /* HashMapKeys[K, V]: HashMapKeys[String, Option] */
+&type_core__hash_collection__HashMapValues__core__String__opts__Option, /* HashMapValues[K, V]: HashMapValues[String, Option] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__opts__Option, /* nullable N: nullable HashMapNode[String, Option] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__opts__Option, /* nullable N: nullable HashMapNode[String, Option] */
-&type_standard__hash_collection__HashMapNode__standard__String__opts__Option, /* N: HashMapNode[String, Option] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__opts__Option, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Option]] */
+&type_core__hash_collection__HashMapNode__core__String__opts__Option, /* N: HashMapNode[String, Option] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__opts__Option, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Option]] */
 }
 };
 /* runtime type OptionCount */
@@ -2541,15 +2911,15 @@ const struct type type_opts__OptionCount = {
 &resolution_table_opts__OptionCount,
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2173, /* Option */
+2371, /* Object */
+2397, /* nullable Object */
+2362, /* Option */
 },
 };
 const struct types resolution_table_opts__OptionCount = {
 0, /* dummy */
 {
-&type_standard__Int, /* VALUE: Int */
+&type_core__Int, /* VALUE: Int */
 }
 };
 /* runtime type OptionArray */
@@ -2561,16 +2931,16 @@ const struct type type_opts__OptionArray = {
 &resolution_table_opts__OptionArray,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2173, /* Option */
-2153, /* OptionParameter */
+2371, /* Object */
+2397, /* nullable Object */
+2362, /* Option */
+2217, /* OptionParameter */
 },
 };
 const struct types resolution_table_opts__OptionArray = {
 0, /* dummy */
 {
-&type_standard__Array__standard__String, /* VALUE: Array[String] */
+&type_core__Array__core__String, /* VALUE: Array[String] */
 }
 };
 /* runtime type OptionBool */
@@ -2582,15 +2952,15 @@ const struct type type_opts__OptionBool = {
 &resolution_table_opts__OptionBool,
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2173, /* Option */
+2371, /* Object */
+2397, /* nullable Object */
+2362, /* Option */
 },
 };
 const struct types resolution_table_opts__OptionBool = {
 0, /* dummy */
 {
-&type_standard__Bool, /* VALUE: Bool */
+&type_core__Bool, /* VALUE: Bool */
 }
 };
 /* runtime type OptionString */
@@ -2602,36 +2972,39 @@ const struct type type_opts__OptionString = {
 &resolution_table_opts__OptionString,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2173, /* Option */
-2153, /* OptionParameter */
+2371, /* Object */
+2397, /* nullable Object */
+2362, /* Option */
+2217, /* OptionParameter */
 },
 };
 const struct types resolution_table_opts__OptionString = {
 0, /* dummy */
 {
-&type_nullable__standard__String, /* VALUE: nullable String */
+&type_nullable__core__String, /* VALUE: nullable String */
 }
 };
 /* runtime type POSet[Phase] */
-const struct type type_poset__POSet__nit__Phase = {
-28,
+const struct type type_poset__POSet__nitc__Phase = {
+36,
 "POSet[Phase]", /* class_name_string */
 2,
 0,
-&resolution_table_poset__POSet__nit__Phase,
-130,
+&resolution_table_poset__POSet__nitc__Phase,
+135,
 {
-80, /* Object */
-2622, /* nullable Object */
-28, /* POSet[Phase] */
+2371, /* Object */
+2397, /* nullable Object */
+36, /* POSet[Phase] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2405, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2309, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2656,10 +3029,10 @@ const struct type type_poset__POSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2734,6 +3107,8 @@ const struct type type_poset__POSet__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2755,31 +3130,33 @@ const struct type type_poset__POSet__nit__Phase = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_poset__POSet__nit__Phase = {
+const struct types resolution_table_poset__POSet__nitc__Phase = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__Phase__poset__POSetElement__nit__Phase, /* HashMap[E, POSetElement[E]]: HashMap[Phase, POSetElement[Phase]] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_nit__Phase, /* E: Phase */
-&type_poset__POSetElement__nit__Phase, /* POSetElement[E]: POSetElement[Phase] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_nit__POSetConflictGraph__nit__Phase, /* POSetConflictGraph[E]: POSetConflictGraph[Phase] */
-&type_standard__Array__nit__Phase, /* Array[COMPARED]: Array[Phase] */
+&type_core__HashMap__nitc__Phase__poset__POSetElement__nitc__Phase, /* HashMap[E, POSetElement[E]]: HashMap[Phase, POSetElement[Phase]] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_nitc__Phase, /* E: Phase */
+&type_poset__POSetElement__nitc__Phase, /* POSetElement[E]: POSetElement[Phase] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__Collection__nitc__Phase, /* Collection[E]: Collection[Phase] */
+&type_nitc__POSetConflictGraph__nitc__Phase, /* POSetConflictGraph[E]: POSetConflictGraph[Phase] */
+&type_core__Array__nitc__Phase, /* Array[COMPARED]: Array[Phase] */
 }
 };
 /* runtime type HashSet[AModule] */
-const struct type type_standard__HashSet__nit__AModule = {
-29,
+const struct type type_core__HashSet__nitc__AModule = {
+37,
 "HashSet[AModule]", /* class_name_string */
-138,
+143,
 0,
-&resolution_table_standard__HashSet__nit__AModule,
-159,
+&resolution_table_core__HashSet__nitc__AModule,
+164,
 {
-80, /* Object */
-2622, /* nullable Object */
-2006, /* Set[nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2204, /* Set[nullable Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2790,9 +3167,9 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2412, /* Collection[AModule] */
 -1, /* empty */
 -1, /* empty */
-2316, /* Collection[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2803,7 +3180,6 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2327, /* Collection[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2812,13 +3188,14 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2440, /* Collection[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2838,8 +3215,8 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2460, /* Collection[ANode] */
 -1, /* empty */
-2363, /* Collection[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2889,6 +3266,7 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2915,17 +3293,19 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-29, /* HashSet[AModule] */
 -1, /* empty */
 -1, /* empty */
+37, /* HashSet[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-133, /* HashSet[Object] */
-164, /* HashSet[ANode] */
+-1, /* empty */
+-1, /* empty */
+142, /* HashSet[Object] */
+167, /* HashSet[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2938,26 +3318,26 @@ const struct type type_standard__HashSet__nit__AModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashSet__nit__AModule = {
+const struct types resolution_table_core__HashSet__nitc__AModule = {
 0, /* dummy */
 {
-&type_nit__AModule, /* E: AModule */
-&type_standard__Array__nit__AModule, /* Array[E]: Array[AModule] */
-&type_standard__hash_collection__HashSetNode__nit__AModule, /* HashSetNode[E]: HashSetNode[AModule] */
-&type_standard__hash_collection__HashSetIterator__nit__AModule, /* HashSetIterator[E]: HashSetIterator[AModule] */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
+&type_nitc__AModule, /* E: AModule */
+&type_core__Array__nitc__AModule, /* Array[E]: Array[AModule] */
+&type_core__hash_collection__HashSetNode__nitc__AModule, /* HashSetNode[E]: HashSetNode[AModule] */
+&type_core__hash_collection__HashSetIterator__nitc__AModule, /* HashSetIterator[E]: HashSetIterator[AModule] */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
-&type_nullable__standard__hash_collection__HashSetNode__nit__AModule, /* nullable N: nullable HashSetNode[AModule] */
-&type_standard__hash_collection__HashSetNode__nit__AModule, /* N: HashSetNode[AModule] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__AModule, /* NativeArray[nullable N]: NativeArray[nullable HashSetNode[AModule]] */
+&type_nullable__core__hash_collection__HashSetNode__nitc__AModule, /* nullable N: nullable HashSetNode[AModule] */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
+&type_core__hash_collection__HashSetNode__nitc__AModule, /* N: HashSetNode[AModule] */
+&type_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__AModule, /* NativeArray[nullable N]: NativeArray[nullable HashSetNode[AModule]] */
 }
 };
 /* runtime type LiteralPhase */
-const struct type type_nit__literal__LiteralPhase = {
+const struct type type_nitc__literal__LiteralPhase = {
 -1, /*CAST DEAD*/
 "LiteralPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -2965,13 +3345,27 @@ const struct type type_nit__literal__LiteralPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
+},
+};
+/* runtime type ModelizeClassPhase */
+const struct type type_nitc__modelize_class__ModelizeClassPhase = {
+-1, /*CAST DEAD*/
+"ModelizeClassPhase", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
+3,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type ScopePhase */
-const struct type type_nit__scope__ScopePhase = {
+const struct type type_nitc__scope__ScopePhase = {
 -1, /*CAST DEAD*/
 "ScopePhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -2979,13 +3373,13 @@ const struct type type_nit__scope__ScopePhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type FlowPhase */
-const struct type type_nit__flow__FlowPhase = {
+const struct type type_nitc__flow__FlowPhase = {
 -1, /*CAST DEAD*/
 "FlowPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -2993,29 +3387,37 @@ const struct type type_nit__flow__FlowPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type Array[Phase] */
-const struct type type_standard__Array__nit__Phase = {
-33,
+const struct type type_core__Array__nitc__Phase = {
+42,
 "Array[Phase]", /* class_name_string */
-370,
+386,
 0,
-&resolution_table_standard__Array__nit__Phase,
-490,
+&resolution_table_core__Array__nitc__Phase,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2405, /* Collection[Phase] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2309, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3035,6 +3437,7 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3043,7 +3446,6 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3113,6 +3515,7 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3127,15 +3530,16 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
+2529, /* AbstractArrayRead[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2428, /* AbstractArrayRead[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3160,11 +3564,11 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3240,6 +3644,7 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3256,8 +3661,8 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2652, /* AbstractArray[Phase] */
 -1, /* empty */
+2853, /* AbstractArray[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3285,7 +3690,7 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3365,6 +3770,7 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3374,10 +3780,18 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
-33, /* Array[Phase] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+228, /* Array[Object] */
+-1, /* empty */
+42, /* Array[Phase] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3499,26 +3913,28 @@ const struct type type_standard__Array__nit__Phase = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__Phase = {
+const struct types resolution_table_core__Array__nitc__Phase = {
 0, /* dummy */
 {
-&type_nit__Phase, /* E: Phase */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__NativeArray__nit__Phase, /* NativeArray[E]: NativeArray[Phase] */
-&type_nit__Phase, /* E: Phase */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_nit__Phase, /* E: Phase */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_standard__Collection__nit__Phase, /* Collection[E]: Collection[Phase] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__AbstractArray__nit__Phase, /* AbstractArray[E]: AbstractArray[Phase] */
-&type_standard__array__ArrayIterator__nit__Phase, /* ArrayIterator[E]: ArrayIterator[Phase] */
+&type_nitc__Phase, /* E: Phase */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__Collection__nitc__Phase, /* Collection[E]: Collection[Phase] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__AbstractArray__nitc__Phase, /* AbstractArray[E]: AbstractArray[Phase] */
+&type_core__NativeArray__nitc__Phase, /* NativeArray[E]: NativeArray[Phase] */
+&type_nitc__Phase, /* E: Phase */
+&type_core__Collection__nitc__Phase, /* Collection[E]: Collection[Phase] */
+&type_nitc__Phase, /* E: Phase */
+&type_core__Collection__nitc__Phase, /* Collection[E]: Collection[Phase] */
+&type_core__Collection__nitc__Phase, /* Collection[E]: Collection[Phase] */
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__AbstractArray__nitc__Phase, /* AbstractArray[E]: AbstractArray[Phase] */
+&type_core__array__ArrayIterator__nitc__Phase, /* ArrayIterator[E]: ArrayIterator[Phase] */
+&type_core__array__ArrayReverseIterator__nitc__Phase, /* ArrayReverseIterator[E]: ArrayReverseIterator[Phase] */
 }
 };
 /* runtime type LocalVarInitPhase */
-const struct type type_nit__local_var_init__LocalVarInitPhase = {
+const struct type type_nitc__local_var_init__LocalVarInitPhase = {
 -1, /*CAST DEAD*/
 "LocalVarInitPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -3526,27 +3942,13 @@ const struct type type_nit__local_var_init__LocalVarInitPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
-},
-};
-/* runtime type ModelizeClassPhase */
-const struct type type_nit__modelize_class__ModelizeClassPhase = {
--1, /*CAST DEAD*/
-"ModelizeClassPhase", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-NULL, /*NO RESOLUTIONS*/
-3,
-{
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type FFILanguageAssignationPhase */
-const struct type type_nit__FFILanguageAssignationPhase = {
+const struct type type_nitc__FFILanguageAssignationPhase = {
 -1, /*CAST DEAD*/
 "FFILanguageAssignationPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -3554,22 +3956,22 @@ const struct type type_nit__FFILanguageAssignationPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type Array[FFILanguage] */
-const struct type type_standard__Array__nit__FFILanguage = {
-37,
+const struct type type_core__Array__nitc__FFILanguage = {
+45,
 "Array[FFILanguage]", /* class_name_string */
-390,
+406,
 0,
-&resolution_table_standard__Array__nit__FFILanguage,
-490,
+&resolution_table_core__Array__nitc__FFILanguage,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3577,7 +3979,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2310, /* Collection[FFILanguage] */
+2406, /* Collection[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3604,7 +4006,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3682,6 +4084,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3692,17 +4095,18 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2429, /* AbstractArrayRead[FFILanguage] */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2530, /* AbstractArrayRead[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3725,11 +4129,11 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3809,6 +4213,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3818,7 +4223,6 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2653, /* AbstractArray[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3828,6 +4232,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2854, /* AbstractArray[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3846,7 +4251,6 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3855,6 +4259,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3934,9 +4339,8 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3950,6 +4354,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3958,7 +4363,6 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-37, /* Array[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3972,6 +4376,7 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+45, /* Array[FFILanguage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4058,42 +4463,61 @@ const struct type type_standard__Array__nit__FFILanguage = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__nit__FFILanguage = {
-0, /* dummy */
-{
-&type_nit__FFILanguage, /* E: FFILanguage */
-&type_standard__Array__nit__FFILanguage, /* Array[E]: Array[FFILanguage] */
-&type_standard__Collection__nit__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
-&type_standard__Array__nit__FFILanguage, /* Array[E]: Array[FFILanguage] */
-&type_standard__NativeArray__nit__FFILanguage, /* NativeArray[E]: NativeArray[FFILanguage] */
-&type_nit__FFILanguage, /* E: FFILanguage */
-&type_standard__Collection__nit__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
-&type_nit__FFILanguage, /* E: FFILanguage */
-&type_standard__Collection__nit__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
-&type_standard__Collection__nit__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
-&type_standard__Array__nit__FFILanguage, /* Array[E]: Array[FFILanguage] */
-&type_standard__AbstractArray__nit__FFILanguage, /* AbstractArray[E]: AbstractArray[FFILanguage] */
-&type_standard__array__ArrayIterator__nit__FFILanguage, /* ArrayIterator[E]: ArrayIterator[FFILanguage] */
-}
-};
-/* runtime type CLanguage */
-const struct type type_nit__CLanguage = {
--1, /*CAST DEAD*/
-"CLanguage", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-NULL, /*NO RESOLUTIONS*/
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__nitc__FFILanguage = {
+0, /* dummy */
+{
+&type_nitc__FFILanguage, /* E: FFILanguage */
+&type_core__Array__nitc__FFILanguage, /* Array[E]: Array[FFILanguage] */
+&type_core__Collection__nitc__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
+&type_core__Array__nitc__FFILanguage, /* Array[E]: Array[FFILanguage] */
+&type_core__AbstractArray__nitc__FFILanguage, /* AbstractArray[E]: AbstractArray[FFILanguage] */
+&type_core__NativeArray__nitc__FFILanguage, /* NativeArray[E]: NativeArray[FFILanguage] */
+&type_nitc__FFILanguage, /* E: FFILanguage */
+&type_core__Collection__nitc__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
+&type_nitc__FFILanguage, /* E: FFILanguage */
+&type_core__Collection__nitc__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
+&type_core__Collection__nitc__FFILanguage, /* Collection[E]: Collection[FFILanguage] */
+&type_core__Array__nitc__FFILanguage, /* Array[E]: Array[FFILanguage] */
+&type_core__AbstractArray__nitc__FFILanguage, /* AbstractArray[E]: AbstractArray[FFILanguage] */
+&type_core__array__ArrayIterator__nitc__FFILanguage, /* ArrayIterator[E]: ArrayIterator[FFILanguage] */
+&type_core__array__ArrayReverseIterator__nitc__FFILanguage, /* ArrayReverseIterator[E]: ArrayReverseIterator[FFILanguage] */
+}
+};
+/* runtime type CLanguage */
+const struct type type_nitc__CLanguage = {
+-1, /*CAST DEAD*/
+"CLanguage", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2175, /* FFILanguage */
+2371, /* Object */
+2397, /* nullable Object */
+2364, /* FFILanguage */
 },
 };
 /* runtime type ModelizePropertyPhase */
-const struct type type_nit__modelize_property__ModelizePropertyPhase = {
+const struct type type_nitc__modelize_property__ModelizePropertyPhase = {
 -1, /*CAST DEAD*/
 "ModelizePropertyPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4101,13 +4525,13 @@ const struct type type_nit__modelize_property__ModelizePropertyPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type PlatformPhase */
-const struct type type_nit__platform__PlatformPhase = {
+const struct type type_nitc__platform__PlatformPhase = {
 -1, /*CAST DEAD*/
 "PlatformPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4115,13 +4539,13 @@ const struct type type_nit__platform__PlatformPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type TypingPhase */
-const struct type type_nit__typing__TypingPhase = {
+const struct type type_nitc__typing__TypingPhase = {
 -1, /*CAST DEAD*/
 "TypingPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4129,55 +4553,55 @@ const struct type type_nit__typing__TypingPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
-/* runtime type AutoSuperInitPhase */
-const struct type type_nit__auto_super_init__AutoSuperInitPhase = {
+/* runtime type ExternClassesTypingPhaseAst */
+const struct type type_nitc__extern_classes__ExternClassesTypingPhaseAst = {
 -1, /*CAST DEAD*/
-"AutoSuperInitPhase", /* class_name_string */
+"ExternClassesTypingPhaseAst", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
-/* runtime type ExternClassesTypingPhaseAst */
-const struct type type_nit__extern_classes__ExternClassesTypingPhaseAst = {
+/* runtime type ExternClassesTypingPhaseModel */
+const struct type type_nitc__extern_classes__ExternClassesTypingPhaseModel = {
 -1, /*CAST DEAD*/
-"ExternClassesTypingPhaseAst", /* class_name_string */
+"ExternClassesTypingPhaseModel", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
-/* runtime type ExternClassesTypingPhaseModel */
-const struct type type_nit__extern_classes__ExternClassesTypingPhaseModel = {
+/* runtime type AutoSuperInitPhase */
+const struct type type_nitc__auto_super_init__AutoSuperInitPhase = {
 -1, /*CAST DEAD*/
-"ExternClassesTypingPhaseModel", /* class_name_string */
+"AutoSuperInitPhase", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type TransformPhase */
-const struct type type_nit__transform__TransformPhase = {
+const struct type type_nitc__transform__TransformPhase = {
 -1, /*CAST DEAD*/
 "TransformPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4185,9 +4609,9 @@ const struct type type_nit__transform__TransformPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type OptionInt */
@@ -4199,20 +4623,20 @@ const struct type type_opts__OptionInt = {
 &resolution_table_opts__OptionInt,
 4,
 {
-80, /* Object */
-2622, /* nullable Object */
-2173, /* Option */
-2153, /* OptionParameter */
+2371, /* Object */
+2397, /* nullable Object */
+2362, /* Option */
+2217, /* OptionParameter */
 },
 };
 const struct types resolution_table_opts__OptionInt = {
 0, /* dummy */
 {
-&type_standard__Int, /* VALUE: Int */
+&type_core__Int, /* VALUE: Int */
 }
 };
 /* runtime type SeparateCompilerPhase */
-const struct type type_nit__SeparateCompilerPhase = {
+const struct type type_nitc__SeparateCompilerPhase = {
 -1, /*CAST DEAD*/
 "SeparateCompilerPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4220,13 +4644,13 @@ const struct type type_nit__SeparateCompilerPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type ErasureCompilerPhase */
-const struct type type_nit__ErasureCompilerPhase = {
+const struct type type_nitc__ErasureCompilerPhase = {
 -1, /*CAST DEAD*/
 "ErasureCompilerPhase", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -4234,44 +4658,49 @@ const struct type type_nit__ErasureCompilerPhase = {
 NULL, /*NO RESOLUTIONS*/
 3,
 {
-80, /* Object */
-2622, /* nullable Object */
-2174, /* Phase */
+2371, /* Object */
+2397, /* nullable Object */
+2363, /* Phase */
 },
 };
 /* runtime type Model */
-const struct type type_nit__Model = {
+const struct type type_nitc__Model = {
 -1, /*CAST DEAD*/
 "Model", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
 NULL, /*NO RESOLUTIONS*/
-2,
+3,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2214, /* MEntity */
 },
 };
-/* runtime type Array[MProject] */
-const struct type type_standard__Array__nit__MProject = {
-50,
-"Array[MProject]", /* class_name_string */
-379,
+/* runtime type Array[MPackage] */
+const struct type type_core__Array__nitc__MPackage = {
+58,
+"Array[MPackage]", /* class_name_string */
+395,
 0,
-&resolution_table_standard__Array__nit__MProject,
-490,
+&resolution_table_core__Array__nitc__MPackage,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2407, /* Collection[MPackage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2311, /* Collection[MProject] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4293,11 +4722,11 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4371,6 +4800,7 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4385,14 +4815,15 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2430, /* AbstractArrayRead[MProject] */
 -1, /* empty */
+2531, /* AbstractArrayRead[MPackage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4418,7 +4849,7 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4498,6 +4929,7 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4512,12 +4944,12 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2654, /* AbstractArray[MProject] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2855, /* AbstractArray[MPackage] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4539,11 +4971,11 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4623,13 +5055,12 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4639,8 +5070,22 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+58, /* Array[MPackage] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
-50, /* Array[MProject] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4753,36 +5198,39 @@ const struct type type_standard__Array__nit__MProject = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__MProject = {
+const struct types resolution_table_core__Array__nitc__MPackage = {
 0, /* dummy */
 {
-&type_nit__MProject, /* E: MProject */
-&type_standard__Array__nit__MProject, /* Array[E]: Array[MProject] */
-&type_standard__Collection__nit__MProject, /* Collection[E]: Collection[MProject] */
-&type_standard__Array__nit__MProject, /* Array[E]: Array[MProject] */
-&type_standard__NativeArray__nit__MProject, /* NativeArray[E]: NativeArray[MProject] */
-&type_nit__MProject, /* E: MProject */
-&type_standard__Collection__nit__MProject, /* Collection[E]: Collection[MProject] */
-&type_nit__MProject, /* E: MProject */
-&type_standard__Collection__nit__MProject, /* Collection[E]: Collection[MProject] */
-&type_standard__Collection__nit__MProject, /* Collection[E]: Collection[MProject] */
-&type_standard__Array__nit__MProject, /* Array[E]: Array[MProject] */
-&type_standard__AbstractArray__nit__MProject, /* AbstractArray[E]: AbstractArray[MProject] */
-&type_standard__array__ArrayIterator__nit__MProject, /* ArrayIterator[E]: ArrayIterator[MProject] */
+&type_nitc__MPackage, /* E: MPackage */
+&type_core__Array__nitc__MPackage, /* Array[E]: Array[MPackage] */
+&type_core__Collection__nitc__MPackage, /* Collection[E]: Collection[MPackage] */
+&type_core__Array__nitc__MPackage, /* Array[E]: Array[MPackage] */
+&type_core__AbstractArray__nitc__MPackage, /* AbstractArray[E]: AbstractArray[MPackage] */
+&type_core__NativeArray__nitc__MPackage, /* NativeArray[E]: NativeArray[MPackage] */
+&type_nitc__MPackage, /* E: MPackage */
+&type_core__Collection__nitc__MPackage, /* Collection[E]: Collection[MPackage] */
+&type_nitc__MPackage, /* E: MPackage */
+&type_core__Collection__nitc__MPackage, /* Collection[E]: Collection[MPackage] */
+&type_core__Collection__nitc__MPackage, /* Collection[E]: Collection[MPackage] */
+&type_core__Array__nitc__MPackage, /* Array[E]: Array[MPackage] */
+&type_core__AbstractArray__nitc__MPackage, /* AbstractArray[E]: AbstractArray[MPackage] */
+&type_core__array__ArrayIterator__nitc__MPackage, /* ArrayIterator[E]: ArrayIterator[MPackage] */
+&type_core__array__ArrayReverseIterator__nitc__MPackage, /* ArrayReverseIterator[E]: ArrayReverseIterator[MPackage] */
 }
 };
-/* runtime type MultiHashMap[String, MProject] */
-const struct type type_more_collections__MultiHashMap__standard__String__nit__MProject = {
+/* runtime type MultiHashMap[String, MPackage] */
+const struct type type_more_collections__MultiHashMap__core__String__nitc__MPackage = {
 -1, /*CAST DEAD*/
-"MultiHashMap[String, MProject]", /* class_name_string */
+"MultiHashMap[String, MPackage]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_more_collections__MultiHashMap__standard__String__nit__MProject,
-83,
+&resolution_table_more_collections__MultiHashMap__core__String__nitc__MPackage,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4791,8 +5239,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2354, /* HashMap[String, Array[MPackage]] */
 -1, /* empty */
-2165, /* HashMap[String, Array[MProject]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4841,7 +5289,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1295, /* HashMap[Object, Array[Object]] */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4865,35 +5314,37 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 },
 };
-const struct types resolution_table_more_collections__MultiHashMap__standard__String__nit__MProject = {
+const struct types resolution_table_more_collections__MultiHashMap__core__String__nitc__MPackage = {
 0, /* dummy */
 {
-&type_standard__String, /* K: String */
-&type_nit__MProject, /* V: MProject */
-&type_standard__Array__nit__MProject, /* Array[V]: Array[MProject] */
-&type_standard__HashMapIterator__standard__String__standard__Array__nit__MProject, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MProject]] */
-&type_standard__String, /* K: String */
-&type_standard__Array__nit__MProject, /* V: Array[MProject] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProject, /* HashMapNode[K, V]: HashMapNode[String, Array[MProject]] */
-&type_standard__hash_collection__HashMapKeys__standard__String__standard__Array__nit__MProject, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MProject]] */
-&type_standard__hash_collection__HashMapValues__standard__String__standard__Array__nit__MProject, /* HashMapValues[K, V]: HashMapValues[String, Array[MProject]] */
+&type_core__String, /* K: String */
+&type_nitc__MPackage, /* V: MPackage */
+&type_core__Array__nitc__MPackage, /* Array[V]: Array[MPackage] */
+&type_core__hash_collection__HashMapIterator__core__String__core__Array__nitc__MPackage, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MPackage]] */
+&type_core__String, /* K: String */
+&type_core__Array__nitc__MPackage, /* V: Array[MPackage] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MPackage, /* HashMapNode[K, V]: HashMapNode[String, Array[MPackage]] */
+&type_core__hash_collection__HashMapKeys__core__String__core__Array__nitc__MPackage, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MPackage]] */
+&type_core__hash_collection__HashMapValues__core__String__core__Array__nitc__MPackage, /* HashMapValues[K, V]: HashMapValues[String, Array[MPackage]] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MPackage, /* nullable N: nullable HashMapNode[String, Array[MPackage]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProject, /* nullable N: nullable HashMapNode[String, Array[MProject]] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProject, /* N: HashMapNode[String, Array[MProject]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProject, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MProject]]] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MPackage, /* N: HashMapNode[String, Array[MPackage]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MPackage, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MPackage]]] */
 }
 };
 /* runtime type Array[MModule] */
-const struct type type_standard__Array__nit__MModule = {
-52,
+const struct type type_core__Array__nitc__MModule = {
+60,
 "Array[MModule]", /* class_name_string */
-371,
+387,
 0,
-&resolution_table_standard__Array__nit__MModule,
-490,
+&resolution_table_core__Array__nitc__MModule,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4901,9 +5352,9 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4926,9 +5377,9 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4975,6 +5426,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5003,6 +5455,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5016,15 +5469,17 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
+2366, /* SequenceRead[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2431, /* AbstractArrayRead[MModule] */
 -1, /* empty */
+2532, /* AbstractArrayRead[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5049,7 +5504,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5100,6 +5555,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2608, /* AbstractArrayRead[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5128,6 +5584,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5144,11 +5601,11 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2655, /* AbstractArray[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2856, /* AbstractArray[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5170,10 +5627,10 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5224,6 +5681,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2932, /* AbstractArray[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5252,6 +5710,7 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5259,18 +5718,17 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
-52, /* Array[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
+60, /* Array[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5351,6 +5809,17 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1638, /* Array[nullable MModule] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5384,35 +5853,37 @@ const struct type type_standard__Array__nit__MModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__MModule = {
+const struct types resolution_table_core__Array__nitc__MModule = {
 0, /* dummy */
 {
-&type_nit__MModule, /* E: MModule */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__NativeArray__nit__MModule, /* NativeArray[E]: NativeArray[MModule] */
-&type_nit__MModule, /* E: MModule */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
-&type_nit__MModule, /* E: MModule */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__AbstractArray__nit__MModule, /* AbstractArray[E]: AbstractArray[MModule] */
-&type_standard__array__ArrayIterator__nit__MModule, /* ArrayIterator[E]: ArrayIterator[MModule] */
+&type_nitc__MModule, /* E: MModule */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__AbstractArray__nitc__MModule, /* AbstractArray[E]: AbstractArray[MModule] */
+&type_core__NativeArray__nitc__MModule, /* NativeArray[E]: NativeArray[MModule] */
+&type_nitc__MModule, /* E: MModule */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
+&type_nitc__MModule, /* E: MModule */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__AbstractArray__nitc__MModule, /* AbstractArray[E]: AbstractArray[MModule] */
+&type_core__array__ArrayIterator__nitc__MModule, /* ArrayIterator[E]: ArrayIterator[MModule] */
+&type_core__array__ArrayReverseIterator__nitc__MModule, /* ArrayReverseIterator[E]: ArrayReverseIterator[MModule] */
 }
 };
 /* runtime type POSet[MModule] */
-const struct type type_poset__POSet__nit__MModule = {
-53,
+const struct type type_poset__POSet__nitc__MModule = {
+61,
 "POSet[MModule]", /* class_name_string */
-124,
+129,
 0,
-&resolution_table_poset__POSet__nit__MModule,
-130,
+&resolution_table_poset__POSet__nitc__MModule,
+135,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5422,7 +5893,7 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5447,7 +5918,7 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5496,6 +5967,7 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5524,6 +5996,7 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5535,7 +6008,10 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-53, /* POSet[MModule] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+61, /* POSet[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5543,31 +6019,32 @@ const struct type type_poset__POSet__nit__MModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_poset__POSet__nit__MModule = {
+const struct types resolution_table_poset__POSet__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__poset__POSetElement__nit__MModule, /* HashMap[E, POSetElement[E]]: HashMap[MModule, POSetElement[MModule]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_nit__MModule, /* E: MModule */
-&type_poset__POSetElement__nit__MModule, /* POSetElement[E]: POSetElement[MModule] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
-&type_nit__POSetConflictGraph__nit__MModule, /* POSetConflictGraph[E]: POSetConflictGraph[MModule] */
-&type_standard__Array__nit__MModule, /* Array[COMPARED]: Array[MModule] */
+&type_core__HashMap__nitc__MModule__poset__POSetElement__nitc__MModule, /* HashMap[E, POSetElement[E]]: HashMap[MModule, POSetElement[MModule]] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_nitc__MModule, /* E: MModule */
+&type_poset__POSetElement__nitc__MModule, /* POSetElement[E]: POSetElement[MModule] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
+&type_nitc__POSetConflictGraph__nitc__MModule, /* POSetConflictGraph[E]: POSetConflictGraph[MModule] */
+&type_core__Array__nitc__MModule, /* Array[COMPARED]: Array[MModule] */
 }
 };
 /* runtime type MultiHashMap[String, MModule] */
-const struct type type_more_collections__MultiHashMap__standard__String__nit__MModule = {
+const struct type type_more_collections__MultiHashMap__core__String__nitc__MModule = {
 -1, /*CAST DEAD*/
 "MultiHashMap[String, MModule]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_more_collections__MultiHashMap__standard__String__nit__MModule,
-83,
+&resolution_table_more_collections__MultiHashMap__core__String__nitc__MModule,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5577,8 +6054,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MM
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2355, /* HashMap[String, Array[MModule]] */
 -1, /* empty */
-2166, /* HashMap[String, Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5626,7 +6103,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MM
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1295, /* HashMap[Object, Array[Object]] */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5650,35 +6128,52 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MM
 -1, /* empty */
 },
 };
-const struct types resolution_table_more_collections__MultiHashMap__standard__String__nit__MModule = {
+const struct types resolution_table_more_collections__MultiHashMap__core__String__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__String, /* K: String */
-&type_nit__MModule, /* V: MModule */
-&type_standard__Array__nit__MModule, /* Array[V]: Array[MModule] */
-&type_standard__HashMapIterator__standard__String__standard__Array__nit__MModule, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MModule]] */
-&type_standard__String, /* K: String */
-&type_standard__Array__nit__MModule, /* V: Array[MModule] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MModule, /* HashMapNode[K, V]: HashMapNode[String, Array[MModule]] */
-&type_standard__hash_collection__HashMapKeys__standard__String__standard__Array__nit__MModule, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MModule]] */
-&type_standard__hash_collection__HashMapValues__standard__String__standard__Array__nit__MModule, /* HashMapValues[K, V]: HashMapValues[String, Array[MModule]] */
+&type_core__String, /* K: String */
+&type_nitc__MModule, /* V: MModule */
+&type_core__Array__nitc__MModule, /* Array[V]: Array[MModule] */
+&type_core__hash_collection__HashMapIterator__core__String__core__Array__nitc__MModule, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MModule]] */
+&type_core__String, /* K: String */
+&type_core__Array__nitc__MModule, /* V: Array[MModule] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MModule, /* HashMapNode[K, V]: HashMapNode[String, Array[MModule]] */
+&type_core__hash_collection__HashMapKeys__core__String__core__Array__nitc__MModule, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MModule]] */
+&type_core__hash_collection__HashMapValues__core__String__core__Array__nitc__MModule, /* HashMapValues[K, V]: HashMapValues[String, Array[MModule]] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MModule, /* nullable N: nullable HashMapNode[String, Array[MModule]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MModule, /* nullable N: nullable HashMapNode[String, Array[MModule]] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MModule, /* N: HashMapNode[String, Array[MModule]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MModule]]] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MModule, /* N: HashMapNode[String, Array[MModule]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MModule]]] */
 }
 };
 /* runtime type Array[MClass] */
-const struct type type_standard__Array__nit__MClass = {
-55,
+const struct type type_core__Array__nitc__MClass = {
+63,
 "Array[MClass]", /* class_name_string */
-377,
+393,
 0,
-&resolution_table_standard__Array__nit__MClass,
-490,
+&resolution_table_core__Array__nitc__MClass,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2409, /* Collection[MClass] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5689,7 +6184,6 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2313, /* Collection[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5697,9 +6191,11 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2437, /* Collection[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5713,11 +6209,9 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2341, /* Collection[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5775,6 +6269,7 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5789,6 +6284,8 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5797,11 +6294,11 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2533, /* AbstractArrayRead[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5809,7 +6306,6 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2432, /* AbstractArrayRead[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5822,9 +6318,11 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2561, /* AbstractArrayRead[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5834,11 +6332,9 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2461, /* AbstractArrayRead[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5902,6 +6398,7 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5923,6 +6420,7 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2857, /* AbstractArray[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5930,7 +6428,6 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2656, /* AbstractArray[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5947,19 +6444,19 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2885, /* AbstractArray[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2685, /* AbstractArray[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6027,6 +6524,7 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6041,27 +6539,27 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+63, /* Array[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-55, /* Array[MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+243, /* Array[nullable MClass] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-665, /* Array[nullable MClass] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6169,35 +6667,53 @@ const struct type type_standard__Array__nit__MClass = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__MClass = {
+const struct types resolution_table_core__Array__nitc__MClass = {
 0, /* dummy */
 {
-&type_nit__MClass, /* E: MClass */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__Collection__nit__MClass, /* Collection[E]: Collection[MClass] */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__NativeArray__nit__MClass, /* NativeArray[E]: NativeArray[MClass] */
-&type_nit__MClass, /* E: MClass */
-&type_standard__Collection__nit__MClass, /* Collection[E]: Collection[MClass] */
-&type_nit__MClass, /* E: MClass */
-&type_standard__Collection__nit__MClass, /* Collection[E]: Collection[MClass] */
-&type_standard__Collection__nit__MClass, /* Collection[E]: Collection[MClass] */
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__AbstractArray__nit__MClass, /* AbstractArray[E]: AbstractArray[MClass] */
-&type_standard__array__ArrayIterator__nit__MClass, /* ArrayIterator[E]: ArrayIterator[MClass] */
+&type_nitc__MClass, /* E: MClass */
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__Collection__nitc__MClass, /* Collection[E]: Collection[MClass] */
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__AbstractArray__nitc__MClass, /* AbstractArray[E]: AbstractArray[MClass] */
+&type_core__NativeArray__nitc__MClass, /* NativeArray[E]: NativeArray[MClass] */
+&type_nitc__MClass, /* E: MClass */
+&type_core__Collection__nitc__MClass, /* Collection[E]: Collection[MClass] */
+&type_nitc__MClass, /* E: MClass */
+&type_core__Collection__nitc__MClass, /* Collection[E]: Collection[MClass] */
+&type_core__Collection__nitc__MClass, /* Collection[E]: Collection[MClass] */
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__AbstractArray__nitc__MClass, /* AbstractArray[E]: AbstractArray[MClass] */
+&type_core__array__ArrayIterator__nitc__MClass, /* ArrayIterator[E]: ArrayIterator[MClass] */
+&type_core__array__ArrayReverseIterator__nitc__MClass, /* ArrayReverseIterator[E]: ArrayReverseIterator[MClass] */
 }
 };
 /* runtime type Array[MProperty] */
-const struct type type_standard__Array__nit__MProperty = {
-56,
+const struct type type_core__Array__nitc__MProperty = {
+64,
 "Array[MProperty]", /* class_name_string */
-380,
+396,
 0,
-&resolution_table_standard__Array__nit__MProperty,
-490,
+&resolution_table_core__Array__nitc__MProperty,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2410, /* Collection[MProperty] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6209,7 +6725,6 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2314, /* Collection[MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6217,7 +6732,9 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
+2435, /* Collection[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6232,9 +6749,7 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
-2339, /* Collection[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6250,6 +6765,7 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2466, /* Collection[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6264,7 +6780,6 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2369, /* Collection[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6295,12 +6810,14 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2518, /* Collection[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6308,19 +6825,20 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2417, /* Collection[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2534, /* AbstractArrayRead[MProperty] */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6329,7 +6847,6 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2433, /* AbstractArrayRead[MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6342,7 +6859,9 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
+2559, /* AbstractArrayRead[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6353,9 +6872,7 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
-2459, /* AbstractArrayRead[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6377,6 +6894,7 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2592, /* AbstractArrayRead[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6386,7 +6904,6 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2490, /* AbstractArrayRead[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6422,19 +6939,20 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2644, /* AbstractArrayRead[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2538, /* AbstractArrayRead[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6444,13 +6962,13 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2858, /* AbstractArray[MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2657, /* AbstractArray[MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6467,16 +6985,16 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
+2883, /* AbstractArray[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
-2683, /* AbstractArray[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6502,12 +7020,12 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2916, /* AbstractArray[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2714, /* AbstractArray[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6547,24 +7065,24 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2968, /* AbstractArray[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
-2762, /* AbstractArray[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6574,12 +7092,12 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+64, /* Array[MProperty] */
 -1, /* empty */
 -1, /* empty */
-56, /* Array[MProperty] */
+2119, /* Array[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
-1942, /* Array[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6604,10 +7122,10 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+236, /* Array[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-658, /* Array[PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6632,8 +7150,10 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1457, /* Array[nullable PropertyLayoutElement] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
-1380, /* Array[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6688,35 +7208,40 @@ const struct type type_standard__Array__nit__MProperty = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__MProperty = {
+const struct types resolution_table_core__Array__nitc__MProperty = {
 0, /* dummy */
 {
-&type_nit__MProperty, /* E: MProperty */
-&type_standard__Array__nit__MProperty, /* Array[E]: Array[MProperty] */
-&type_standard__Collection__nit__MProperty, /* Collection[E]: Collection[MProperty] */
-&type_standard__Array__nit__MProperty, /* Array[E]: Array[MProperty] */
-&type_standard__NativeArray__nit__MProperty, /* NativeArray[E]: NativeArray[MProperty] */
-&type_nit__MProperty, /* E: MProperty */
-&type_standard__Collection__nit__MProperty, /* Collection[E]: Collection[MProperty] */
-&type_nit__MProperty, /* E: MProperty */
-&type_standard__Collection__nit__MProperty, /* Collection[E]: Collection[MProperty] */
-&type_standard__Collection__nit__MProperty, /* Collection[E]: Collection[MProperty] */
-&type_standard__Array__nit__MProperty, /* Array[E]: Array[MProperty] */
-&type_standard__AbstractArray__nit__MProperty, /* AbstractArray[E]: AbstractArray[MProperty] */
-&type_standard__array__ArrayIterator__nit__MProperty, /* ArrayIterator[E]: ArrayIterator[MProperty] */
+&type_nitc__MProperty, /* E: MProperty */
+&type_core__Array__nitc__MProperty, /* Array[E]: Array[MProperty] */
+&type_core__Collection__nitc__MProperty, /* Collection[E]: Collection[MProperty] */
+&type_core__Array__nitc__MProperty, /* Array[E]: Array[MProperty] */
+&type_core__AbstractArray__nitc__MProperty, /* AbstractArray[E]: AbstractArray[MProperty] */
+&type_core__NativeArray__nitc__MProperty, /* NativeArray[E]: NativeArray[MProperty] */
+&type_nitc__MProperty, /* E: MProperty */
+&type_core__Collection__nitc__MProperty, /* Collection[E]: Collection[MProperty] */
+&type_nitc__MProperty, /* E: MProperty */
+&type_core__Collection__nitc__MProperty, /* Collection[E]: Collection[MProperty] */
+&type_core__Collection__nitc__MProperty, /* Collection[E]: Collection[MProperty] */
+&type_core__Array__nitc__MProperty, /* Array[E]: Array[MProperty] */
+&type_core__AbstractArray__nitc__MProperty, /* AbstractArray[E]: AbstractArray[MProperty] */
+&type_core__array__ArrayIterator__nitc__MProperty, /* ArrayIterator[E]: ArrayIterator[MProperty] */
+&type_core__array__ArrayReverseIterator__nitc__MProperty, /* ArrayReverseIterator[E]: ArrayReverseIterator[MProperty] */
 }
 };
 /* runtime type POSet[MClassDef] */
-const struct type type_poset__POSet__nit__MClassDef = {
-57,
+const struct type type_poset__POSet__nitc__MClassDef = {
+65,
 "POSet[MClassDef]", /* class_name_string */
-125,
-0,
-&resolution_table_poset__POSet__nit__MClassDef,
 130,
+0,
+&resolution_table_poset__POSet__nitc__MClassDef,
+135,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6729,10 +7254,10 @@ const struct type type_poset__POSet__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2414, /* Collection[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2318, /* Collection[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6748,10 +7273,10 @@ const struct type type_poset__POSet__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6826,6 +7351,7 @@ const struct type type_poset__POSet__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6840,37 +7366,42 @@ const struct type type_poset__POSet__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-57, /* POSet[MClassDef] */
+-1, /* empty */
+65, /* POSet[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_poset__POSet__nit__MClassDef = {
+const struct types resolution_table_poset__POSet__nitc__MClassDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* HashMap[E, POSetElement[E]]: HashMap[MClassDef, POSetElement[MClassDef]] */
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_nit__MClassDef, /* E: MClassDef */
-&type_poset__POSetElement__nit__MClassDef, /* POSetElement[E]: POSetElement[MClassDef] */
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_standard__Collection__nit__MClassDef, /* Collection[E]: Collection[MClassDef] */
-&type_nit__POSetConflictGraph__nit__MClassDef, /* POSetConflictGraph[E]: POSetConflictGraph[MClassDef] */
-&type_standard__Array__nit__MClassDef, /* Array[COMPARED]: Array[MClassDef] */
+&type_core__HashMap__nitc__MClassDef__poset__POSetElement__nitc__MClassDef, /* HashMap[E, POSetElement[E]]: HashMap[MClassDef, POSetElement[MClassDef]] */
+&type_core__Array__nitc__MClassDef, /* Array[E]: Array[MClassDef] */
+&type_nitc__MClassDef, /* E: MClassDef */
+&type_poset__POSetElement__nitc__MClassDef, /* POSetElement[E]: POSetElement[MClassDef] */
+&type_core__Array__nitc__MClassDef, /* Array[E]: Array[MClassDef] */
+&type_core__Collection__nitc__MClassDef, /* Collection[E]: Collection[MClassDef] */
+&type_nitc__POSetConflictGraph__nitc__MClassDef, /* POSetConflictGraph[E]: POSetConflictGraph[MClassDef] */
+&type_core__Array__nitc__MClassDef, /* Array[COMPARED]: Array[MClassDef] */
 }
 };
 /* runtime type POSet[MClassType] */
-const struct type type_poset__POSet__nit__MClassType = {
-58,
+const struct type type_poset__POSet__nitc__MClassType = {
+66,
 "POSet[MClassType]", /* class_name_string */
-126,
+131,
 0,
-&resolution_table_poset__POSet__nit__MClassType,
-130,
+&resolution_table_poset__POSet__nitc__MClassType,
+135,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6884,40 +7415,40 @@ const struct type type_poset__POSet__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2416, /* Collection[MClassType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2320, /* Collection[MClassType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2329, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2349, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6979,6 +7510,7 @@ const struct type type_poset__POSet__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6995,37 +7527,37 @@ const struct type type_poset__POSet__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-58, /* POSet[MClassType] */
+66, /* POSet[MClassType] */
 -1, /* empty */
-629, /* POSet[MType] */
+206, /* POSet[MType] */
 -1, /* empty */
 },
 };
-const struct types resolution_table_poset__POSet__nit__MClassType = {
+const struct types resolution_table_poset__POSet__nitc__MClassType = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClassType__poset__POSetElement__nit__MClassType, /* HashMap[E, POSetElement[E]]: HashMap[MClassType, POSetElement[MClassType]] */
-&type_standard__Array__nit__MClassType, /* Array[E]: Array[MClassType] */
-&type_nit__MClassType, /* E: MClassType */
-&type_poset__POSetElement__nit__MClassType, /* POSetElement[E]: POSetElement[MClassType] */
-&type_standard__Array__nit__MClassType, /* Array[E]: Array[MClassType] */
-&type_standard__Collection__nit__MClassType, /* Collection[E]: Collection[MClassType] */
-&type_nit__POSetConflictGraph__nit__MClassType, /* POSetConflictGraph[E]: POSetConflictGraph[MClassType] */
-&type_standard__Array__nit__MClassType, /* Array[COMPARED]: Array[MClassType] */
+&type_core__HashMap__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* HashMap[E, POSetElement[E]]: HashMap[MClassType, POSetElement[MClassType]] */
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_nitc__MClassType, /* E: MClassType */
+&type_poset__POSetElement__nitc__MClassType, /* POSetElement[E]: POSetElement[MClassType] */
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_core__Collection__nitc__MClassType, /* Collection[E]: Collection[MClassType] */
+&type_nitc__POSetConflictGraph__nitc__MClassType, /* POSetConflictGraph[E]: POSetConflictGraph[MClassType] */
+&type_core__Array__nitc__MClassType, /* Array[COMPARED]: Array[MClassType] */
 }
 };
 /* runtime type MultiHashMap[String, MClass] */
-const struct type type_more_collections__MultiHashMap__standard__String__nit__MClass = {
+const struct type type_more_collections__MultiHashMap__core__String__nitc__MClass = {
 -1, /*CAST DEAD*/
 "MultiHashMap[String, MClass]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_more_collections__MultiHashMap__standard__String__nit__MClass,
-83,
+&resolution_table_more_collections__MultiHashMap__core__String__nitc__MClass,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7037,7 +7569,7 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2167, /* HashMap[String, Array[MClass]] */
+2356, /* HashMap[String, Array[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7084,7 +7616,9 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1295, /* HashMap[Object, Array[Object]] */
+-1, /* empty */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7108,36 +7642,37 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MC
 -1, /* empty */
 },
 };
-const struct types resolution_table_more_collections__MultiHashMap__standard__String__nit__MClass = {
+const struct types resolution_table_more_collections__MultiHashMap__core__String__nitc__MClass = {
 0, /* dummy */
 {
-&type_standard__String, /* K: String */
-&type_nit__MClass, /* V: MClass */
-&type_standard__Array__nit__MClass, /* Array[V]: Array[MClass] */
-&type_standard__HashMapIterator__standard__String__standard__Array__nit__MClass, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MClass]] */
-&type_standard__String, /* K: String */
-&type_standard__Array__nit__MClass, /* V: Array[MClass] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MClass, /* HashMapNode[K, V]: HashMapNode[String, Array[MClass]] */
-&type_standard__hash_collection__HashMapKeys__standard__String__standard__Array__nit__MClass, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MClass]] */
-&type_standard__hash_collection__HashMapValues__standard__String__standard__Array__nit__MClass, /* HashMapValues[K, V]: HashMapValues[String, Array[MClass]] */
+&type_core__String, /* K: String */
+&type_nitc__MClass, /* V: MClass */
+&type_core__Array__nitc__MClass, /* Array[V]: Array[MClass] */
+&type_core__hash_collection__HashMapIterator__core__String__core__Array__nitc__MClass, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MClass]] */
+&type_core__String, /* K: String */
+&type_core__Array__nitc__MClass, /* V: Array[MClass] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MClass, /* HashMapNode[K, V]: HashMapNode[String, Array[MClass]] */
+&type_core__hash_collection__HashMapKeys__core__String__core__Array__nitc__MClass, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MClass]] */
+&type_core__hash_collection__HashMapValues__core__String__core__Array__nitc__MClass, /* HashMapValues[K, V]: HashMapValues[String, Array[MClass]] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MClass, /* nullable N: nullable HashMapNode[String, Array[MClass]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MClass, /* nullable N: nullable HashMapNode[String, Array[MClass]] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MClass, /* N: HashMapNode[String, Array[MClass]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MClass, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MClass]]] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MClass, /* N: HashMapNode[String, Array[MClass]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MClass, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MClass]]] */
 }
 };
 /* runtime type MultiHashMap[String, MProperty] */
-const struct type type_more_collections__MultiHashMap__standard__String__nit__MProperty = {
+const struct type type_more_collections__MultiHashMap__core__String__nitc__MProperty = {
 -1, /*CAST DEAD*/
 "MultiHashMap[String, MProperty]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_more_collections__MultiHashMap__standard__String__nit__MProperty,
-83,
+&resolution_table_more_collections__MultiHashMap__core__String__nitc__MProperty,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7149,8 +7684,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2357, /* HashMap[String, Array[MProperty]] */
 -1, /* empty */
-2168, /* HashMap[String, Array[MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7196,7 +7731,8 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1295, /* HashMap[Object, Array[Object]] */
+1357, /* HashMap[Object, Array[Object]] */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7220,59 +7756,60 @@ const struct type type_more_collections__MultiHashMap__standard__String__nit__MP
 -1, /* empty */
 },
 };
-const struct types resolution_table_more_collections__MultiHashMap__standard__String__nit__MProperty = {
+const struct types resolution_table_more_collections__MultiHashMap__core__String__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__String, /* K: String */
-&type_nit__MProperty, /* V: MProperty */
-&type_standard__Array__nit__MProperty, /* Array[V]: Array[MProperty] */
-&type_standard__HashMapIterator__standard__String__standard__Array__nit__MProperty, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MProperty]] */
-&type_standard__String, /* K: String */
-&type_standard__Array__nit__MProperty, /* V: Array[MProperty] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProperty, /* HashMapNode[K, V]: HashMapNode[String, Array[MProperty]] */
-&type_standard__hash_collection__HashMapKeys__standard__String__standard__Array__nit__MProperty, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MProperty]] */
-&type_standard__hash_collection__HashMapValues__standard__String__standard__Array__nit__MProperty, /* HashMapValues[K, V]: HashMapValues[String, Array[MProperty]] */
+&type_core__String, /* K: String */
+&type_nitc__MProperty, /* V: MProperty */
+&type_core__Array__nitc__MProperty, /* Array[V]: Array[MProperty] */
+&type_core__hash_collection__HashMapIterator__core__String__core__Array__nitc__MProperty, /* HashMapIterator[K, V]: HashMapIterator[String, Array[MProperty]] */
+&type_core__String, /* K: String */
+&type_core__Array__nitc__MProperty, /* V: Array[MProperty] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MProperty, /* HashMapNode[K, V]: HashMapNode[String, Array[MProperty]] */
+&type_core__hash_collection__HashMapKeys__core__String__core__Array__nitc__MProperty, /* HashMapKeys[K, V]: HashMapKeys[String, Array[MProperty]] */
+&type_core__hash_collection__HashMapValues__core__String__core__Array__nitc__MProperty, /* HashMapValues[K, V]: HashMapValues[String, Array[MProperty]] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MProperty, /* nullable N: nullable HashMapNode[String, Array[MProperty]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProperty, /* nullable N: nullable HashMapNode[String, Array[MProperty]] */
-&type_standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProperty, /* N: HashMapNode[String, Array[MProperty]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__standard__Array__nit__MProperty, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MProperty]]] */
+&type_core__hash_collection__HashMapNode__core__String__core__Array__nitc__MProperty, /* N: HashMapNode[String, Array[MProperty]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__core__Array__nitc__MProperty, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, Array[MProperty]]] */
 }
 };
 /* runtime type MNullType */
-const struct type type_nit__MNullType = {
-61,
+const struct type type_nitc__MNullType = {
+69,
 "MNullType", /* class_name_string */
 5,
 0,
 NULL, /*NO RESOLUTIONS*/
 6,
 {
-80, /* Object */
-2622, /* nullable Object */
-2146, /* MEntity */
-2179, /* MType */
-2185, /* nullable MType */
-61, /* MNullType */
+2371, /* Object */
+2397, /* nullable Object */
+2214, /* MEntity */
+2370, /* MType */
+2377, /* nullable MType */
+69, /* MNullType */
 },
 };
 /* runtime type MBottomType */
-const struct type type_nit__MBottomType = {
--1, /*CAST DEAD*/
+const struct type type_nitc__MBottomType = {
+70,
 "MBottomType", /* class_name_string */
--1, /*CAST DEAD*/
+5,
 0,
 NULL, /*NO RESOLUTIONS*/
-5,
+6,
 {
-80, /* Object */
-2622, /* nullable Object */
-2146, /* MEntity */
-2179, /* MType */
-2185, /* nullable MType */
+2371, /* Object */
+2397, /* nullable Object */
+2214, /* MEntity */
+2370, /* MType */
+2377, /* nullable MType */
+70, /* MBottomType */
 },
 };
 /* runtime type ModelBuilder */
-const struct type type_nit__ModelBuilder = {
+const struct type type_nitc__ModelBuilder = {
 -1, /*CAST DEAD*/
 "ModelBuilder", /* class_name_string */
 -1, /*CAST DEAD*/
@@ -7280,46 +7817,46 @@ const struct type type_nit__ModelBuilder = {
 NULL, /*NO RESOLUTIONS*/
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
 /* runtime type HashMap3[MModule, MType, String, nullable MProperty] */
-const struct type type_more_collections__HashMap3__nit__MModule__nit__MType__standard__String__nullable__nit__MProperty = {
+const struct type type_more_collections__HashMap3__nitc__MModule__nitc__MType__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
 "HashMap3[MModule, MType, String, nullable MProperty]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_more_collections__HashMap3__nit__MModule__nit__MType__standard__String__nullable__nit__MProperty,
+&resolution_table_more_collections__HashMap3__nitc__MModule__nitc__MType__core__String__nullable__nitc__MProperty,
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
-const struct types resolution_table_more_collections__HashMap3__nit__MModule__nit__MType__standard__String__nullable__nit__MProperty = {
+const struct types resolution_table_more_collections__HashMap3__nitc__MModule__nitc__MType__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* HashMap[K1, HashMap2[K2, K3, V]]: HashMap[MModule, HashMap2[MType, String, nullable MProperty]] */
-&type_nit__MModule, /* K1: MModule */
-&type_nit__MType, /* K2: MType */
-&type_standard__String, /* K3: String */
-&type_nullable__nit__MProperty, /* V: nullable MProperty */
-&type_more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* HashMap2[K2, K3, V]: HashMap2[MType, String, nullable MProperty] */
+&type_core__HashMap__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* HashMap[K1, HashMap2[K2, K3, V]]: HashMap[MModule, HashMap2[MType, String, nullable MProperty]] */
+&type_nitc__MModule, /* K1: MModule */
+&type_nitc__MType, /* K2: MType */
+&type_core__String, /* K3: String */
+&type_nullable__nitc__MProperty, /* V: nullable MProperty */
+&type_more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* HashMap2[K2, K3, V]: HashMap2[MType, String, nullable MProperty] */
 }
 };
-/* runtime type HashMap[String, nullable ModulePath] */
-const struct type type_standard__HashMap__standard__String__nullable__nit__ModulePath = {
-65,
-"HashMap[String, nullable ModulePath]", /* class_name_string */
+/* runtime type HashMap[String, nullable MModule] */
+const struct type type_core__HashMap__core__String__nullable__nitc__MModule = {
+73,
+"HashMap[String, nullable MModule]", /* class_name_string */
 16,
 0,
-&resolution_table_standard__HashMap__standard__String__nullable__nit__ModulePath,
-83,
+&resolution_table_core__HashMap__core__String__nullable__nitc__MModule,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7333,7 +7870,7 @@ const struct type type_standard__HashMap__standard__String__nullable__nit__Modul
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-65, /* HashMap[String, nullable ModulePath] */
+73, /* HashMap[String, nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7380,6 +7917,8 @@ const struct type type_standard__HashMap__standard__String__nullable__nit__Modul
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7402,35 +7941,36 @@ const struct type type_standard__HashMap__standard__String__nullable__nit__Modul
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__standard__String__nullable__nit__ModulePath = {
+const struct types resolution_table_core__HashMap__core__String__nullable__nitc__MModule = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__standard__String__nullable__nit__ModulePath, /* HashMapIterator[K, V]: HashMapIterator[String, nullable ModulePath] */
-&type_standard__String, /* K: String */
-&type_nullable__nit__ModulePath, /* V: nullable ModulePath */
-&type_standard__hash_collection__HashMapNode__standard__String__nullable__nit__ModulePath, /* HashMapNode[K, V]: HashMapNode[String, nullable ModulePath] */
-&type_standard__hash_collection__HashMapKeys__standard__String__nullable__nit__ModulePath, /* HashMapKeys[K, V]: HashMapKeys[String, nullable ModulePath] */
-&type_standard__hash_collection__HashMapValues__standard__String__nullable__nit__ModulePath, /* HashMapValues[K, V]: HashMapValues[String, nullable ModulePath] */
+&type_core__hash_collection__HashMapIterator__core__String__nullable__nitc__MModule, /* HashMapIterator[K, V]: HashMapIterator[String, nullable MModule] */
+&type_core__String, /* K: String */
+&type_nullable__nitc__MModule, /* V: nullable MModule */
+&type_core__hash_collection__HashMapNode__core__String__nullable__nitc__MModule, /* HashMapNode[K, V]: HashMapNode[String, nullable MModule] */
+&type_core__hash_collection__HashMapKeys__core__String__nullable__nitc__MModule, /* HashMapKeys[K, V]: HashMapKeys[String, nullable MModule] */
+&type_core__hash_collection__HashMapValues__core__String__nullable__nitc__MModule, /* HashMapValues[K, V]: HashMapValues[String, nullable MModule] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MModule, /* nullable N: nullable HashMapNode[String, nullable MModule] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__nullable__nit__ModulePath, /* nullable N: nullable HashMapNode[String, nullable ModulePath] */
-&type_standard__hash_collection__HashMapNode__standard__String__nullable__nit__ModulePath, /* N: HashMapNode[String, nullable ModulePath] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__nullable__nit__ModulePath, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, nullable ModulePath]] */
+&type_core__hash_collection__HashMapNode__core__String__nullable__nitc__MModule, /* N: HashMapNode[String, nullable MModule] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, nullable MModule]] */
 }
 };
-/* runtime type Array[ModulePath] */
-const struct type type_standard__Array__nit__ModulePath = {
-66,
-"Array[ModulePath]", /* class_name_string */
-391,
+/* runtime type HashMap[String, nullable MGroup] */
+const struct type type_core__HashMap__core__String__nullable__nitc__MGroup = {
+74,
+"HashMap[String, nullable MGroup]", /* class_name_string */
+17,
 0,
-&resolution_table_standard__Array__nit__ModulePath,
-490,
+&resolution_table_core__HashMap__core__String__nullable__nitc__MGroup,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7443,9 +7983,9 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2315, /* Collection[ModulePath] */
 -1, /* empty */
 -1, /* empty */
+74, /* HashMap[String, nullable MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7465,7 +8005,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7492,6 +8031,7 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7510,10 +8050,40 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2382, /* Collection[nullable ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__HashMap__core__String__nullable__nitc__MGroup = {
+0, /* dummy */
+{
+NULL, /* empty */
+NULL, /* empty */
+NULL, /* empty */
+&type_core__hash_collection__HashMapIterator__core__String__nullable__nitc__MGroup, /* HashMapIterator[K, V]: HashMapIterator[String, nullable MGroup] */
+&type_core__String, /* K: String */
+&type_nullable__nitc__MGroup, /* V: nullable MGroup */
+&type_core__hash_collection__HashMapNode__core__String__nullable__nitc__MGroup, /* HashMapNode[K, V]: HashMapNode[String, nullable MGroup] */
+&type_core__hash_collection__HashMapKeys__core__String__nullable__nitc__MGroup, /* HashMapKeys[K, V]: HashMapKeys[String, nullable MGroup] */
+&type_core__hash_collection__HashMapValues__core__String__nullable__nitc__MGroup, /* HashMapValues[K, V]: HashMapValues[String, nullable MGroup] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MGroup, /* nullable N: nullable HashMapNode[String, nullable MGroup] */
+NULL, /* empty */
+&type_core__hash_collection__HashMapNode__core__String__nullable__nitc__MGroup, /* N: HashMapNode[String, nullable MGroup] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MGroup, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, nullable MGroup]] */
+}
+};
+/* runtime type Array[SequenceRead[MModule]] */
+const struct type type_core__Array__core__SequenceRead__nitc__MModule = {
+75,
+"Array[SequenceRead[MModule]]", /* class_name_string */
+407,
+0,
+&resolution_table_core__Array__core__SequenceRead__nitc__MModule,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7526,6 +8096,7 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2411, /* Collection[SequenceRead[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7547,13 +8118,13 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7563,7 +8134,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2434, /* AbstractArrayRead[ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7586,7 +8156,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7627,12 +8196,12 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2503, /* AbstractArrayRead[nullable ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7642,6 +8211,8 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7652,6 +8223,7 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2535, /* AbstractArrayRead[SequenceRead[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7673,6 +8245,7 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7684,7 +8257,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2658, /* AbstractArray[ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7707,7 +8279,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7753,8 +8324,8 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2727, /* AbstractArray[nullable ModulePath] */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7778,6 +8349,7 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2859, /* AbstractArray[SequenceRead[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7796,11 +8368,10 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7820,7 +8391,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-66, /* Array[ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7877,11 +8447,11 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1528, /* Array[nullable ModulePath] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7896,6 +8466,30 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+75, /* Array[SequenceRead[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7919,38 +8513,6 @@ const struct type type_standard__Array__nit__ModulePath = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__nit__ModulePath = {
-0, /* dummy */
-{
-&type_nit__ModulePath, /* E: ModulePath */
-&type_standard__Array__nit__ModulePath, /* Array[E]: Array[ModulePath] */
-&type_standard__Collection__nit__ModulePath, /* Collection[E]: Collection[ModulePath] */
-&type_standard__Array__nit__ModulePath, /* Array[E]: Array[ModulePath] */
-&type_standard__NativeArray__nit__ModulePath, /* NativeArray[E]: NativeArray[ModulePath] */
-&type_nit__ModulePath, /* E: ModulePath */
-&type_standard__Collection__nit__ModulePath, /* Collection[E]: Collection[ModulePath] */
-&type_nit__ModulePath, /* E: ModulePath */
-&type_standard__Collection__nit__ModulePath, /* Collection[E]: Collection[ModulePath] */
-&type_standard__Collection__nit__ModulePath, /* Collection[E]: Collection[ModulePath] */
-&type_standard__Array__nit__ModulePath, /* Array[E]: Array[ModulePath] */
-&type_standard__AbstractArray__nit__ModulePath, /* AbstractArray[E]: AbstractArray[ModulePath] */
-&type_standard__array__ArrayIterator__nit__ModulePath, /* ArrayIterator[E]: ArrayIterator[ModulePath] */
-}
-};
-/* runtime type HashMap[String, nullable MGroup] */
-const struct type type_standard__HashMap__standard__String__nullable__nit__MGroup = {
-67,
-"HashMap[String, nullable MGroup]", /* class_name_string */
-17,
-0,
-&resolution_table_standard__HashMap__standard__String__nullable__nit__MGroup,
-83,
-{
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7965,7 +8527,6 @@ const struct type type_standard__HashMap__standard__String__nullable__nit__MGrou
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-67, /* HashMap[String, nullable MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8033,35 +8594,51 @@ const struct type type_standard__HashMap__standard__String__nullable__nit__MGrou
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__standard__String__nullable__nit__MGroup = {
+const struct types resolution_table_core__Array__core__SequenceRead__nitc__MModule = {
 0, /* dummy */
 {
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__HashMapIterator__standard__String__nullable__nit__MGroup, /* HashMapIterator[K, V]: HashMapIterator[String, nullable MGroup] */
-&type_standard__String, /* K: String */
-&type_nullable__nit__MGroup, /* V: nullable MGroup */
-&type_standard__hash_collection__HashMapNode__standard__String__nullable__nit__MGroup, /* HashMapNode[K, V]: HashMapNode[String, nullable MGroup] */
-&type_standard__hash_collection__HashMapKeys__standard__String__nullable__nit__MGroup, /* HashMapKeys[K, V]: HashMapKeys[String, nullable MGroup] */
-&type_standard__hash_collection__HashMapValues__standard__String__nullable__nit__MGroup, /* HashMapValues[K, V]: HashMapValues[String, nullable MGroup] */
-NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__nullable__nit__MGroup, /* nullable N: nullable HashMapNode[String, nullable MGroup] */
-&type_standard__hash_collection__HashMapNode__standard__String__nullable__nit__MGroup, /* N: HashMapNode[String, nullable MGroup] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__nullable__nit__MGroup, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, nullable MGroup]] */
+&type_core__SequenceRead__nitc__MModule, /* E: SequenceRead[MModule] */
+&type_core__Array__core__SequenceRead__nitc__MModule, /* Array[E]: Array[SequenceRead[MModule]] */
+&type_core__Collection__core__SequenceRead__nitc__MModule, /* Collection[E]: Collection[SequenceRead[MModule]] */
+&type_core__Array__core__SequenceRead__nitc__MModule, /* Array[E]: Array[SequenceRead[MModule]] */
+&type_core__AbstractArray__core__SequenceRead__nitc__MModule, /* AbstractArray[E]: AbstractArray[SequenceRead[MModule]] */
+&type_core__NativeArray__core__SequenceRead__nitc__MModule, /* NativeArray[E]: NativeArray[SequenceRead[MModule]] */
+&type_core__SequenceRead__nitc__MModule, /* E: SequenceRead[MModule] */
+&type_core__Collection__core__SequenceRead__nitc__MModule, /* Collection[E]: Collection[SequenceRead[MModule]] */
+&type_core__SequenceRead__nitc__MModule, /* E: SequenceRead[MModule] */
+&type_core__Collection__core__SequenceRead__nitc__MModule, /* Collection[E]: Collection[SequenceRead[MModule]] */
+&type_core__Collection__core__SequenceRead__nitc__MModule, /* Collection[E]: Collection[SequenceRead[MModule]] */
+&type_core__Array__core__SequenceRead__nitc__MModule, /* Array[E]: Array[SequenceRead[MModule]] */
+&type_core__AbstractArray__core__SequenceRead__nitc__MModule, /* AbstractArray[E]: AbstractArray[SequenceRead[MModule]] */
+&type_core__array__ArrayIterator__core__SequenceRead__nitc__MModule, /* ArrayIterator[E]: ArrayIterator[SequenceRead[MModule]] */
+&type_core__array__ArrayReverseIterator__core__SequenceRead__nitc__MModule, /* ArrayReverseIterator[E]: ArrayReverseIterator[SequenceRead[MModule]] */
 }
 };
 /* runtime type Array[AModule] */
-const struct type type_standard__Array__nit__AModule = {
-68,
+const struct type type_core__Array__nitc__AModule = {
+76,
 "Array[AModule]", /* class_name_string */
-392,
+408,
 0,
-&resolution_table_standard__Array__nit__AModule,
-490,
+&resolution_table_core__Array__nitc__AModule,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2412, /* Collection[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8075,7 +8652,6 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2316, /* Collection[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8083,20 +8659,20 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2327, /* Collection[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2440, /* Collection[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8110,6 +8686,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2460, /* Collection[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8122,7 +8699,6 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2363, /* Collection[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8161,6 +8737,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8175,6 +8752,8 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8184,9 +8763,9 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2536, /* AbstractArrayRead[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8195,7 +8774,6 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2435, /* AbstractArrayRead[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8207,8 +8785,8 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2447, /* AbstractArrayRead[Prod] */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8216,8 +8794,8 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2565, /* AbstractArrayRead[Prod] */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8237,6 +8815,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2586, /* AbstractArrayRead[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8244,7 +8823,6 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2484, /* AbstractArrayRead[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8288,6 +8866,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8312,11 +8891,11 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2860, /* AbstractArray[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2659, /* AbstractArray[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8328,19 +8907,19 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2671, /* AbstractArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
+2888, /* AbstractArray[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8362,10 +8941,10 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2910, /* AbstractArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2708, /* AbstractArray[ANode] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8413,6 +8992,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8427,8 +9007,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8452,7 +9031,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-68, /* Array[AModule] */
+76, /* Array[AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8461,7 +9040,6 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-150, /* Array[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8474,6 +9052,7 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+258, /* Array[Prod] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8491,7 +9070,11 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1267, /* Array[ANode] */
+-1, /* empty */
+1327, /* Array[ANode] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8552,36 +9135,39 @@ const struct type type_standard__Array__nit__AModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__nit__AModule = {
+const struct types resolution_table_core__Array__nitc__AModule = {
 0, /* dummy */
 {
-&type_nit__AModule, /* E: AModule */
-&type_standard__Array__nit__AModule, /* Array[E]: Array[AModule] */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
-&type_standard__Array__nit__AModule, /* Array[E]: Array[AModule] */
-&type_standard__NativeArray__nit__AModule, /* NativeArray[E]: NativeArray[AModule] */
-&type_nit__AModule, /* E: AModule */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
-&type_nit__AModule, /* E: AModule */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
-&type_standard__Collection__nit__AModule, /* Collection[E]: Collection[AModule] */
-&type_standard__Array__nit__AModule, /* Array[E]: Array[AModule] */
-&type_standard__AbstractArray__nit__AModule, /* AbstractArray[E]: AbstractArray[AModule] */
-&type_standard__array__ArrayIterator__nit__AModule, /* ArrayIterator[E]: ArrayIterator[AModule] */
+&type_nitc__AModule, /* E: AModule */
+&type_core__Array__nitc__AModule, /* Array[E]: Array[AModule] */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
+&type_core__Array__nitc__AModule, /* Array[E]: Array[AModule] */
+&type_core__AbstractArray__nitc__AModule, /* AbstractArray[E]: AbstractArray[AModule] */
+&type_core__NativeArray__nitc__AModule, /* NativeArray[E]: NativeArray[AModule] */
+&type_nitc__AModule, /* E: AModule */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
+&type_nitc__AModule, /* E: AModule */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
+&type_core__Collection__nitc__AModule, /* Collection[E]: Collection[AModule] */
+&type_core__Array__nitc__AModule, /* Array[E]: Array[AModule] */
+&type_core__AbstractArray__nitc__AModule, /* AbstractArray[E]: AbstractArray[AModule] */
+&type_core__array__ArrayIterator__nitc__AModule, /* ArrayIterator[E]: ArrayIterator[AModule] */
+&type_core__array__ArrayReverseIterator__nitc__AModule, /* ArrayReverseIterator[E]: ArrayReverseIterator[AModule] */
 }
 };
 /* runtime type HashMap[MModule, AModule] */
-const struct type type_standard__HashMap__nit__MModule__nit__AModule = {
-69,
+const struct type type_core__HashMap__nitc__MModule__nitc__AModule = {
+77,
 "HashMap[MModule, AModule]", /* class_name_string */
 18,
 0,
-&resolution_table_standard__HashMap__nit__MModule__nit__AModule,
-83,
+&resolution_table_core__HashMap__nitc__MModule__nitc__AModule,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8596,8 +9182,8 @@ const struct type type_standard__HashMap__nit__MModule__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+77, /* HashMap[MModule, AModule] */
 -1, /* empty */
-69, /* HashMap[MModule, AModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8641,6 +9227,7 @@ const struct type type_standard__HashMap__nit__MModule__nit__AModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8664,36 +9251,37 @@ const struct type type_standard__HashMap__nit__MModule__nit__AModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__nit__MModule__nit__AModule = {
+const struct types resolution_table_core__HashMap__nitc__MModule__nitc__AModule = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__nit__MModule__nit__AModule, /* HashMapIterator[K, V]: HashMapIterator[MModule, AModule] */
-&type_nit__MModule, /* K: MModule */
-&type_nit__AModule, /* V: AModule */
-&type_standard__hash_collection__HashMapNode__nit__MModule__nit__AModule, /* HashMapNode[K, V]: HashMapNode[MModule, AModule] */
-&type_standard__hash_collection__HashMapKeys__nit__MModule__nit__AModule, /* HashMapKeys[K, V]: HashMapKeys[MModule, AModule] */
-&type_standard__hash_collection__HashMapValues__nit__MModule__nit__AModule, /* HashMapValues[K, V]: HashMapValues[MModule, AModule] */
+&type_core__hash_collection__HashMapIterator__nitc__MModule__nitc__AModule, /* HashMapIterator[K, V]: HashMapIterator[MModule, AModule] */
+&type_nitc__MModule, /* K: MModule */
+&type_nitc__AModule, /* V: AModule */
+&type_core__hash_collection__HashMapNode__nitc__MModule__nitc__AModule, /* HashMapNode[K, V]: HashMapNode[MModule, AModule] */
+&type_core__hash_collection__HashMapKeys__nitc__MModule__nitc__AModule, /* HashMapKeys[K, V]: HashMapKeys[MModule, AModule] */
+&type_core__hash_collection__HashMapValues__nitc__MModule__nitc__AModule, /* HashMapValues[K, V]: HashMapValues[MModule, AModule] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__nitc__AModule, /* nullable N: nullable HashMapNode[MModule, AModule] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__nit__AModule, /* nullable N: nullable HashMapNode[MModule, AModule] */
-&type_standard__hash_collection__HashMapNode__nit__MModule__nit__AModule, /* N: HashMapNode[MModule, AModule] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__nit__AModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MModule, AModule]] */
+&type_core__hash_collection__HashMapNode__nitc__MModule__nitc__AModule, /* N: HashMapNode[MModule, AModule] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__nitc__AModule, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MModule, AModule]] */
 }
 };
 /* runtime type HashMap[MClassDef, AClassdef] */
-const struct type type_standard__HashMap__nit__MClassDef__nit__AClassdef = {
-70,
+const struct type type_core__HashMap__nitc__MClassDef__nitc__AClassdef = {
+78,
 "HashMap[MClassDef, AClassdef]", /* class_name_string */
 19,
 0,
-&resolution_table_standard__HashMap__nit__MClassDef__nit__AClassdef,
-83,
+&resolution_table_core__HashMap__nitc__MClassDef__nitc__AClassdef,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8709,8 +9297,8 @@ const struct type type_standard__HashMap__nit__MClassDef__nit__AClassdef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+78, /* HashMap[MClassDef, AClassdef] */
 -1, /* empty */
-70, /* HashMap[MClassDef, AClassdef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8753,6 +9341,7 @@ const struct type type_standard__HashMap__nit__MClassDef__nit__AClassdef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8776,36 +9365,37 @@ const struct type type_standard__HashMap__nit__MClassDef__nit__AClassdef = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__nit__MClassDef__nit__AClassdef = {
+const struct types resolution_table_core__HashMap__nitc__MClassDef__nitc__AClassdef = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__nit__MClassDef__nit__AClassdef, /* HashMapIterator[K, V]: HashMapIterator[MClassDef, AClassdef] */
-&type_nit__MClassDef, /* K: MClassDef */
-&type_nit__AClassdef, /* V: AClassdef */
-&type_standard__hash_collection__HashMapNode__nit__MClassDef__nit__AClassdef, /* HashMapNode[K, V]: HashMapNode[MClassDef, AClassdef] */
-&type_standard__hash_collection__HashMapKeys__nit__MClassDef__nit__AClassdef, /* HashMapKeys[K, V]: HashMapKeys[MClassDef, AClassdef] */
-&type_standard__hash_collection__HashMapValues__nit__MClassDef__nit__AClassdef, /* HashMapValues[K, V]: HashMapValues[MClassDef, AClassdef] */
+&type_core__hash_collection__HashMapIterator__nitc__MClassDef__nitc__AClassdef, /* HashMapIterator[K, V]: HashMapIterator[MClassDef, AClassdef] */
+&type_nitc__MClassDef, /* K: MClassDef */
+&type_nitc__AClassdef, /* V: AClassdef */
+&type_core__hash_collection__HashMapNode__nitc__MClassDef__nitc__AClassdef, /* HashMapNode[K, V]: HashMapNode[MClassDef, AClassdef] */
+&type_core__hash_collection__HashMapKeys__nitc__MClassDef__nitc__AClassdef, /* HashMapKeys[K, V]: HashMapKeys[MClassDef, AClassdef] */
+&type_core__hash_collection__HashMapValues__nitc__MClassDef__nitc__AClassdef, /* HashMapValues[K, V]: HashMapValues[MClassDef, AClassdef] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MClassDef__nitc__AClassdef, /* nullable N: nullable HashMapNode[MClassDef, AClassdef] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClassDef__nit__AClassdef, /* nullable N: nullable HashMapNode[MClassDef, AClassdef] */
-&type_standard__hash_collection__HashMapNode__nit__MClassDef__nit__AClassdef, /* N: HashMapNode[MClassDef, AClassdef] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__nit__AClassdef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MClassDef, AClassdef]] */
+&type_core__hash_collection__HashMapNode__nitc__MClassDef__nitc__AClassdef, /* N: HashMapNode[MClassDef, AClassdef] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassDef__nitc__AClassdef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MClassDef, AClassdef]] */
 }
 };
 /* runtime type HashMap[String, MModuleData[AAnnotation]] */
-const struct type type_standard__HashMap__standard__String__nit__MModuleData__nit__AAnnotation = {
-71,
+const struct type type_core__HashMap__core__String__nitc__MModuleData__nitc__AAnnotation = {
+79,
 "HashMap[String, MModuleData[AAnnotation]]", /* class_name_string */
 20,
 0,
-&resolution_table_standard__HashMap__standard__String__nit__MModuleData__nit__AAnnotation,
-83,
+&resolution_table_core__HashMap__core__String__nitc__MModuleData__nitc__AAnnotation,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8822,8 +9412,8 @@ const struct type type_standard__HashMap__standard__String__nit__MModuleData__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+79, /* HashMap[String, MModuleData[AAnnotation]] */
 -1, /* empty */
-71, /* HashMap[String, MModuleData[AAnnotation]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8865,6 +9455,7 @@ const struct type type_standard__HashMap__standard__String__nit__MModuleData__ni
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8888,36 +9479,37 @@ const struct type type_standard__HashMap__standard__String__nit__MModuleData__ni
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__standard__String__nit__MModuleData__nit__AAnnotation = {
+const struct types resolution_table_core__HashMap__core__String__nitc__MModuleData__nitc__AAnnotation = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__standard__String__nit__MModuleData__nit__AAnnotation, /* HashMapIterator[K, V]: HashMapIterator[String, MModuleData[AAnnotation]] */
-&type_standard__String, /* K: String */
-&type_nit__MModuleData__nit__AAnnotation, /* V: MModuleData[AAnnotation] */
-&type_standard__hash_collection__HashMapNode__standard__String__nit__MModuleData__nit__AAnnotation, /* HashMapNode[K, V]: HashMapNode[String, MModuleData[AAnnotation]] */
-&type_standard__hash_collection__HashMapKeys__standard__String__nit__MModuleData__nit__AAnnotation, /* HashMapKeys[K, V]: HashMapKeys[String, MModuleData[AAnnotation]] */
-&type_standard__hash_collection__HashMapValues__standard__String__nit__MModuleData__nit__AAnnotation, /* HashMapValues[K, V]: HashMapValues[String, MModuleData[AAnnotation]] */
+&type_core__hash_collection__HashMapIterator__core__String__nitc__MModuleData__nitc__AAnnotation, /* HashMapIterator[K, V]: HashMapIterator[String, MModuleData[AAnnotation]] */
+&type_core__String, /* K: String */
+&type_nitc__MModuleData__nitc__AAnnotation, /* V: MModuleData[AAnnotation] */
+&type_core__hash_collection__HashMapNode__core__String__nitc__MModuleData__nitc__AAnnotation, /* HashMapNode[K, V]: HashMapNode[String, MModuleData[AAnnotation]] */
+&type_core__hash_collection__HashMapKeys__core__String__nitc__MModuleData__nitc__AAnnotation, /* HashMapKeys[K, V]: HashMapKeys[String, MModuleData[AAnnotation]] */
+&type_core__hash_collection__HashMapValues__core__String__nitc__MModuleData__nitc__AAnnotation, /* HashMapValues[K, V]: HashMapValues[String, MModuleData[AAnnotation]] */
+&type_nullable__core__hash_collection__HashMapNode__core__String__nitc__MModuleData__nitc__AAnnotation, /* nullable N: nullable HashMapNode[String, MModuleData[AAnnotation]] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__standard__String__nit__MModuleData__nit__AAnnotation, /* nullable N: nullable HashMapNode[String, MModuleData[AAnnotation]] */
-&type_standard__hash_collection__HashMapNode__standard__String__nit__MModuleData__nit__AAnnotation, /* N: HashMapNode[String, MModuleData[AAnnotation]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__standard__String__nit__MModuleData__nit__AAnnotation, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, MModuleData[AAnnotation]]] */
+&type_core__hash_collection__HashMapNode__core__String__nitc__MModuleData__nitc__AAnnotation, /* N: HashMapNode[String, MModuleData[AAnnotation]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nitc__MModuleData__nitc__AAnnotation, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[String, MModuleData[AAnnotation]]] */
 }
 };
 /* runtime type HashMap[MPropDef, APropdef] */
-const struct type type_standard__HashMap__nit__MPropDef__nit__APropdef = {
-72,
+const struct type type_core__HashMap__nitc__MPropDef__nitc__APropdef = {
+80,
 "HashMap[MPropDef, APropdef]", /* class_name_string */
 21,
 0,
-&resolution_table_standard__HashMap__nit__MPropDef__nit__APropdef,
-83,
+&resolution_table_core__HashMap__nitc__MPropDef__nitc__APropdef,
+85,
 {
-80, /* Object */
-2622, /* nullable Object */
-2005, /* MapRead[nullable Object, nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2203, /* MapRead[nullable Object, nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8935,8 +9527,8 @@ const struct type type_standard__HashMap__nit__MPropDef__nit__APropdef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+80, /* HashMap[MPropDef, APropdef] */
 -1, /* empty */
-72, /* HashMap[MPropDef, APropdef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8977,6 +9569,7 @@ const struct type type_standard__HashMap__nit__MPropDef__nit__APropdef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1358, /* HashMap[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9000,39 +9593,39 @@ const struct type type_standard__HashMap__nit__MPropDef__nit__APropdef = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMap__nit__MPropDef__nit__APropdef = {
+const struct types resolution_table_core__HashMap__nitc__MPropDef__nitc__APropdef = {
 0, /* dummy */
 {
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__HashMapIterator__nit__MPropDef__nit__APropdef, /* HashMapIterator[K, V]: HashMapIterator[MPropDef, APropdef] */
-&type_nit__MPropDef, /* K: MPropDef */
-&type_nit__APropdef, /* V: APropdef */
-&type_standard__hash_collection__HashMapNode__nit__MPropDef__nit__APropdef, /* HashMapNode[K, V]: HashMapNode[MPropDef, APropdef] */
-&type_standard__hash_collection__HashMapKeys__nit__MPropDef__nit__APropdef, /* HashMapKeys[K, V]: HashMapKeys[MPropDef, APropdef] */
-&type_standard__hash_collection__HashMapValues__nit__MPropDef__nit__APropdef, /* HashMapValues[K, V]: HashMapValues[MPropDef, APropdef] */
+&type_core__hash_collection__HashMapIterator__nitc__MPropDef__nitc__APropdef, /* HashMapIterator[K, V]: HashMapIterator[MPropDef, APropdef] */
+&type_nitc__MPropDef, /* K: MPropDef */
+&type_nitc__APropdef, /* V: APropdef */
+&type_core__hash_collection__HashMapNode__nitc__MPropDef__nitc__APropdef, /* HashMapNode[K, V]: HashMapNode[MPropDef, APropdef] */
+&type_core__hash_collection__HashMapKeys__nitc__MPropDef__nitc__APropdef, /* HashMapKeys[K, V]: HashMapKeys[MPropDef, APropdef] */
+&type_core__hash_collection__HashMapValues__nitc__MPropDef__nitc__APropdef, /* HashMapValues[K, V]: HashMapValues[MPropDef, APropdef] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MPropDef__nitc__APropdef, /* nullable N: nullable HashMapNode[MPropDef, APropdef] */
 NULL, /* empty */
-&type_nullable__standard__hash_collection__HashMapNode__nit__MPropDef__nit__APropdef, /* nullable N: nullable HashMapNode[MPropDef, APropdef] */
-&type_standard__hash_collection__HashMapNode__nit__MPropDef__nit__APropdef, /* N: HashMapNode[MPropDef, APropdef] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MPropDef__nit__APropdef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MPropDef, APropdef]] */
+&type_core__hash_collection__HashMapNode__nitc__MPropDef__nitc__APropdef, /* N: HashMapNode[MPropDef, APropdef] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MPropDef__nitc__APropdef, /* NativeArray[nullable N]: NativeArray[nullable HashMapNode[MPropDef, APropdef]] */
 }
 };
 /* runtime type Buffer */
-const struct type type_standard__Buffer = {
-73,
+const struct type type_core__Buffer = {
+81,
 "Buffer", /* class_name_string */
-5,
+4,
 0,
-&resolution_table_standard__Buffer,
-125,
+&resolution_table_core__Buffer,
+130,
 {
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
-2007, /* Text */
+2371, /* Object */
+2397, /* nullable Object */
+2833, /* Comparable */
+2205, /* Text */
+81, /* Buffer */
 -1, /* empty */
-73, /* Buffer */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9151,64 +9744,72 @@ const struct type type_standard__Buffer = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2184, /* Writable */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2375, /* Writable */
 },
 };
-const struct types resolution_table_standard__Buffer = {
+const struct types resolution_table_core__Buffer = {
 0, /* dummy */
 {
-&type_standard__Text, /* OTHER: Text */
-&type_standard__Buffer, /* SELFTYPE: Buffer */
-&type_standard__Array__standard__Buffer, /* Array[SELFTYPE]: Array[Buffer] */
+&type_core__Text, /* OTHER: Text */
+&type_core__Buffer, /* SELFTYPE: Buffer */
+&type_core__Array__core__Buffer, /* Array[SELFTYPE]: Array[Buffer] */
 }
 };
 /* runtime type DefaultComparator */
-const struct type type_standard__DefaultComparator = {
+const struct type type_core__DefaultComparator = {
 -1, /*CAST DEAD*/
 "DefaultComparator", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__DefaultComparator,
+&resolution_table_core__DefaultComparator,
 2,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 },
 };
-const struct types resolution_table_standard__DefaultComparator = {
+const struct types resolution_table_core__DefaultComparator = {
 0, /* dummy */
 {
-&type_standard__Comparable, /* COMPARED: Comparable */
+&type_core__Comparable, /* COMPARED: Comparable */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__Array__standard__Comparable, /* Array[COMPARED]: Array[Comparable] */
+&type_core__Array__core__Comparable, /* Array[COMPARED]: Array[Comparable] */
 }
 };
 /* runtime type ArraySet[MModule] */
-const struct type type_standard__ArraySet__nit__MModule = {
+const struct type type_core__ArraySet__nitc__MModule = {
 -1, /*CAST DEAD*/
 "ArraySet[MModule]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__ArraySet__nit__MModule,
-136,
+&resolution_table_core__ArraySet__nitc__MModule,
+141,
 {
-80, /* Object */
-2622, /* nullable Object */
-2006, /* Set[nullable Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2204, /* Set[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9230,10 +9831,10 @@ const struct type type_standard__ArraySet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9279,6 +9880,7 @@ const struct type type_standard__ArraySet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9307,6 +9909,7 @@ const struct type type_standard__ArraySet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9331,602 +9934,23 @@ const struct type type_standard__ArraySet__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2207, /* Set[MModule] */
+2399, /* Set[MModule] */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__ArraySet__nit__MModule = {
+const struct types resolution_table_core__ArraySet__nitc__MModule = {
 0, /* dummy */
 {
-&type_nit__MModule, /* E: MModule */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__array__ArraySetIterator__nit__MModule, /* ArraySetIterator[E]: ArraySetIterator[MModule] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
+&type_nitc__MModule, /* E: MModule */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__array__ArraySetIterator__nitc__MModule, /* ArraySetIterator[E]: ArraySetIterator[MModule] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
 NULL, /* empty */
-&type_standard__Collection__nit__MModule, /* Collection[E]: Collection[MModule] */
+NULL, /* empty */
+&type_core__Collection__nitc__MModule, /* Collection[E]: Collection[MModule] */
 }
 };
-/* runtime type FlatBuffer */
-const struct type type_standard__FlatBuffer = {
-76,
-"FlatBuffer", /* class_name_string */
-6,
-0,
-&resolution_table_standard__FlatBuffer,
-125,
-{
-80, /* Object */
-2622, /* nullable Object */
-2621, /* Comparable */
-2007, /* Text */
-2187, /* FlatText */
-73, /* Buffer */
-76, /* FlatBuffer */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2184, /* Writable */
-},
-};
-const struct types resolution_table_standard__FlatBuffer = {
-0, /* dummy */
-{
-&type_standard__Text, /* OTHER: Text */
-&type_standard__Buffer, /* SELFTYPE: Buffer */
-&type_standard__Array__standard__Buffer, /* Array[SELFTYPE]: Array[Buffer] */
-}
-};
-/* runtime type FlatBufferCharView */
-const struct type type_standard__string__FlatBufferCharView = {
--1, /*CAST DEAD*/
-"FlatBufferCharView", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__string__FlatBufferCharView,
-125,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
-2008, /* Collection[Char] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2337, /* Collection[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2003, /* SequenceRead[nullable Object] */
-},
-};
-const struct types resolution_table_standard__string__FlatBufferCharView = {
-0, /* dummy */
-{
-&type_standard__FlatBuffer, /* SELFTYPE: FlatBuffer */
-&type_standard__Array__standard__Char, /* Array[E]: Array[Char] */
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-NULL, /* empty */
-&type_standard__Char, /* E: Char */
-&type_standard__Collection__standard__Char, /* Collection[E]: Collection[Char] */
-&type_standard__Collection__standard__Char, /* Collection[E]: Collection[Char] */
-}
-};
-/* runtime type FlatSubstringsIter */
-const struct type type_standard__string__FlatSubstringsIter = {
--1, /*CAST DEAD*/
-"FlatSubstringsIter", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__string__FlatSubstringsIter,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__string__FlatSubstringsIter = {
-0, /* dummy */
-{
-&type_standard__Array__standard__FlatText, /* Array[E]: Array[FlatText] */
-}
-};
-/* runtime type NativeArray[Option] */
-const struct type type_standard__NativeArray__opts__Option = {
-79,
-"NativeArray[Option]", /* class_name_string */
-4,
-0,
-&resolution_table_standard__NativeArray__opts__Option,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
-79, /* NativeArray[Option] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-651, /* NativeArray[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__opts__Option = {
-0, /* dummy */
-{
-&type_opts__Option, /* E: Option */
-&type_standard__NativeArray__opts__Option, /* NativeArray[E]: NativeArray[Option] */
-}
-};
-/* runtime type Object */
-const struct type type_standard__Object = {
-80,
-"Object", /* class_name_string */
-0,
-0,
-NULL, /*NO RESOLUTIONS*/
-2,
-{
-80, /* Object */
-2622, /* nullable Object */
-},
-};
-/* runtime type AnnotationPhaseVisitor */
-const struct type type_nit__phase__AnnotationPhaseVisitor = {
--1, /*CAST DEAD*/
-"AnnotationPhaseVisitor", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-NULL, /*NO RESOLUTIONS*/
-2,
-{
-80, /* Object */
-2622, /* nullable Object */
-},
-};