c_src: regenerate

[nit.git] / c_src / nitc__nith.types.19.c

diff --git a/c_src/nit__nith.types.17.c b/c_src/nitc__nith.types.19.c
similarity index 69%
rename from c_src/nit__nith.types.17.c
rename to c_src/nitc__nith.types.19.c
index 6b378e3..638005d 100644 (file)
--- a/c_src/nit__nith.types.17.c
+++ b/c_src/nitc__nith.types.19.c
@@ -1,15 +1,15 @@
-#include "nit__nith.types.0.h"
-/* runtime type Array[EscapeMark] */
-const struct type type_standard__Array__nit__EscapeMark = {
-1729,
-"Array[EscapeMark]", /* class_name_string */
-466,
+#include "nitc__nith.types.0.h"
+/* runtime type NativeArray[Array[MPackage]] */
+const struct type type_core__NativeArray__core__Array__nitc__MPackage = {
+1906,
+"NativeArray[Array[MPackage]]", /* class_name_string */
+80,
 0,
-&resolution_table_standard__Array__nit__EscapeMark,
-490,
+&resolution_table_core__NativeArray__core__Array__nitc__MPackage,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -41,10 +41,10 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -88,6 +88,7 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1906, /* NativeArray[Array[MPackage]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -107,7 +108,6 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2400, /* Collection[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -120,6 +120,8 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2133, /* NativeArray[Array[Object]] */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -132,7 +134,6 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -165,7 +166,6 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -229,12 +229,32 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2521, /* AbstractArrayRead[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__core__Array__nitc__MPackage = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MPackage, /* E: Array[MPackage] */
+&type_core__NativeArray__core__Array__nitc__MPackage, /* NativeArray[E]: NativeArray[Array[MPackage]] */
+}
+};
+/* runtime type ArrayIterator[Array[MPackage]] */
+const struct type type_core__array__ArrayIterator__core__Array__nitc__MPackage = {
+-1, /*CAST DEAD*/
+"ArrayIterator[Array[MPackage]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__core__Array__nitc__MPackage,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -243,6 +263,27 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Array__nitc__MPackage = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MPackage, /* Array[E]: Array[Array[MPackage]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MPackage, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MPackage]] */
+}
+};
+/* runtime type ArrayReverseIterator[Array[MPackage]] */
+const struct type type_core__array__ArrayReverseIterator__core__Array__nitc__MPackage = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Array[MPackage]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MPackage,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -251,6 +292,28 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MPackage = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MPackage, /* Array[E]: Array[Array[MPackage]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MPackage, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MPackage]] */
+}
+};
+/* runtime type MapKeysIterator[MModule, POSetElement[MModule]] */
+const struct type type_core__MapKeysIterator__nitc__MModule__poset__POSetElement__nitc__MModule = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MModule, POSetElement[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MModule__poset__POSetElement__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+2827, /* Iterator[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -258,6 +321,26 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MModule__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapIterator__nitc__MModule__poset__POSetElement__nitc__MModule, /* MapIterator[K, V]: MapIterator[MModule, POSetElement[MModule]] */
+}
+};
+/* runtime type Array[POSetElement[MModule]] */
+const struct type type_core__Array__poset__POSetElement__nitc__MModule = {
+1910,
+"Array[POSetElement[MModule]]", /* class_name_string */
+489,
+0,
+&resolution_table_core__Array__poset__POSetElement__nitc__MModule,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -286,13 +369,13 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -350,7 +433,6 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2745, /* AbstractArray[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -363,6 +445,7 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2503, /* Collection[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -370,13 +453,12 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[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 */
@@ -386,6 +468,8 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -418,6 +502,7 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -474,7 +559,6 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1729, /* Array[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -490,6 +574,7 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2629, /* AbstractArrayRead[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -497,153 +582,20 @@ const struct type type_standard__Array__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__nit__EscapeMark = {
-0, /* dummy */
-{
-&type_nit__EscapeMark, /* E: EscapeMark */
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__Collection__nit__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__NativeArray__nit__EscapeMark, /* NativeArray[E]: NativeArray[EscapeMark] */
-&type_nit__EscapeMark, /* E: EscapeMark */
-&type_standard__Collection__nit__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
-&type_nit__EscapeMark, /* E: EscapeMark */
-&type_standard__Collection__nit__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
-&type_standard__Collection__nit__EscapeMark, /* Collection[E]: Collection[EscapeMark] */
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__AbstractArray__nit__EscapeMark, /* AbstractArray[E]: AbstractArray[EscapeMark] */
-&type_standard__array__ArrayIterator__nit__EscapeMark, /* ArrayIterator[E]: ArrayIterator[EscapeMark] */
-}
-};
-/* runtime type MapKeysIterator[EscapeMark, String] */
-const struct type type_standard__MapKeysIterator__nit__EscapeMark__standard__String = {
--1, /*CAST DEAD*/
-"MapKeysIterator[EscapeMark, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__EscapeMark__standard__String,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__MapIterator__nit__EscapeMark__standard__String, /* MapIterator[K, V]: MapIterator[EscapeMark, String] */
-}
-};
-/* runtime type MapValuesIterator[EscapeMark, String] */
-const struct type type_standard__MapValuesIterator__nit__EscapeMark__standard__String = {
--1, /*CAST DEAD*/
-"MapValuesIterator[EscapeMark, String]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__EscapeMark__standard__String,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__EscapeMark__standard__String = {
-0, /* dummy */
-{
-&type_standard__Array__standard__String, /* Array[E]: Array[String] */
-&type_standard__MapIterator__nit__EscapeMark__standard__String, /* MapIterator[K, V]: MapIterator[EscapeMark, String] */
-}
-};
-/* runtime type MapKeysIterator[MClass, Array[MType]] */
-const struct type type_standard__MapKeysIterator__nit__MClass__standard__Array__nit__MType = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClass, Array[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClass__standard__Array__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapIterator__nit__MClass__standard__Array__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[MType]] */
-}
-};
-/* runtime type MapValuesIterator[MClass, Array[MType]] */
-const struct type type_standard__MapValuesIterator__nit__MClass__standard__Array__nit__MType = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClass, Array[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClass__standard__Array__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MClass__standard__Array__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nit__MType, /* Array[E]: Array[Array[MType]] */
-&type_standard__MapIterator__nit__MClass__standard__Array__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[MType]] */
-}
-};
-/* runtime type MapKeysIterator[MClass, Set[MType]] */
-const struct type type_standard__MapKeysIterator__nit__MClass__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClass, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClass__standard__Set__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapIterator__nit__MClass__standard__Set__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Set[MType]] */
-}
-};
-/* runtime type Array[Set[MType]] */
-const struct type type_standard__Array__standard__Set__nit__MType = {
-1735,
-"Array[Set[MType]]", /* class_name_string */
-467,
-0,
-&resolution_table_standard__Array__standard__Set__nit__MType,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -676,9 +628,9 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -742,13 +694,13 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2401, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2953, /* AbstractArray[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -756,6 +708,7 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -766,11 +719,11 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -799,7 +752,6 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -864,7 +816,6 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2522, /* AbstractArrayRead[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -877,6 +828,7 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1910, /* Array[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -897,6 +849,41 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MModule, /* E: POSetElement[MModule] */
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__Collection__poset__POSetElement__nitc__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MModule, /* AbstractArray[E]: AbstractArray[POSetElement[MModule]] */
+&type_core__NativeArray__poset__POSetElement__nitc__MModule, /* NativeArray[E]: NativeArray[POSetElement[MModule]] */
+&type_poset__POSetElement__nitc__MModule, /* E: POSetElement[MModule] */
+&type_core__Collection__poset__POSetElement__nitc__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
+&type_poset__POSetElement__nitc__MModule, /* E: POSetElement[MModule] */
+&type_core__Collection__poset__POSetElement__nitc__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
+&type_core__Collection__poset__POSetElement__nitc__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MModule, /* AbstractArray[E]: AbstractArray[POSetElement[MModule]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__MModule, /* ArrayIterator[E]: ArrayIterator[POSetElement[MModule]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MModule, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[MModule]] */
+}
+};
+/* runtime type MapValuesIterator[MModule, POSetElement[MModule]] */
+const struct type type_core__MapValuesIterator__nitc__MModule__poset__POSetElement__nitc__MModule = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MModule, POSetElement[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MModule__poset__POSetElement__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -904,6 +891,26 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MModule__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__MapIterator__nitc__MModule__poset__POSetElement__nitc__MModule, /* MapIterator[K, V]: MapIterator[MModule, POSetElement[MModule]] */
+}
+};
+/* runtime type HashMapKeys[MModule, Set[MModule]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MModule__core__Set__nitc__MModule = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MModule, Set[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__Set__nitc__MModule,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -913,6 +920,7 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -920,7 +928,6 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -938,6 +945,7 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -985,8 +993,8 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2746, /* AbstractArray[Set[MType]] */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1009,14 +1017,13 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1031,6 +1038,27 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__Set__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__Set__nitc__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapKeysIterator__nitc__MModule__core__Set__nitc__MModule, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, Set[MModule]] */
+}
+};
+/* runtime type HashMapValues[MModule, Set[MModule]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MModule__core__Set__nitc__MModule = {
+-1, /*CAST DEAD*/
+"HashMapValues[MModule, Set[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__Set__nitc__MModule,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1065,6 +1093,7 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1109,7 +1138,6 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1735, /* Array[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1132,115 +1160,23 @@ const struct type type_standard__Array__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Set__nit__MType, /* E: Set[MType] */
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__Collection__standard__Set__nit__MType, /* Collection[E]: Collection[Set[MType]] */
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__NativeArray__standard__Set__nit__MType, /* NativeArray[E]: NativeArray[Set[MType]] */
-&type_standard__Set__nit__MType, /* E: Set[MType] */
-&type_standard__Collection__standard__Set__nit__MType, /* Collection[E]: Collection[Set[MType]] */
-&type_standard__Set__nit__MType, /* E: Set[MType] */
-&type_standard__Collection__standard__Set__nit__MType, /* Collection[E]: Collection[Set[MType]] */
-&type_standard__Collection__standard__Set__nit__MType, /* Collection[E]: Collection[Set[MType]] */
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__AbstractArray__standard__Set__nit__MType, /* AbstractArray[E]: AbstractArray[Set[MType]] */
-&type_standard__array__ArrayIterator__standard__Set__nit__MType, /* ArrayIterator[E]: ArrayIterator[Set[MType]] */
-}
-};
-/* runtime type MapValuesIterator[MClass, Set[MType]] */
-const struct type type_standard__MapValuesIterator__nit__MClass__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClass, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClass__standard__Set__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MClass__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__MapIterator__nit__MClass__standard__Set__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Set[MType]] */
-}
-};
-/* runtime type MapKeysIterator[MClass, Array[nullable MType]] */
-const struct type type_standard__MapKeysIterator__nit__MClass__standard__Array__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClass, Array[nullable MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClass__standard__Array__nullable__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapIterator__nit__MClass__standard__Array__nullable__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MType]] */
-}
-};
-/* runtime type MapValuesIterator[MClass, Array[nullable MType]] */
-const struct type type_standard__MapValuesIterator__nit__MClass__standard__Array__nullable__nit__MType = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClass, Array[nullable MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClass__standard__Array__nullable__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MClass__standard__Array__nullable__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nullable__nit__MType, /* Array[E]: Array[Array[nullable MType]] */
-&type_standard__MapIterator__nit__MClass__standard__Array__nullable__nit__MType, /* MapIterator[K, V]: MapIterator[MClass, Array[nullable MType]] */
-}
-};
-/* runtime type HashMapKeys[MType, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MType__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapKeys[MType, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Set__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2516, /* Collection[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1250,6 +1186,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__Set__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__Set__nitc__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
+&type_core__Array__core__Set__nitc__MModule, /* Array[E]: Array[Set[MModule]] */
+&type_core__MapValuesIterator__nitc__MModule__core__Set__nitc__MModule, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, Set[MModule]] */
+}
+};
+/* runtime type HashMapIterator[MModule, Set[MModule]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MModule__core__Set__nitc__MModule = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MModule, Set[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__Set__nitc__MModule,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1258,7 +1215,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2329, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1266,7 +1222,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1278,7 +1233,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2349, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1308,6 +1262,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1316,6 +1271,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2716, /* MapIterator[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1328,6 +1284,25 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__Set__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__Set__nitc__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
+}
+};
+/* runtime type HashMapNode[MModule, Set[MModule]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule = {
+1915,
+"HashMapNode[MModule, Set[MModule]]", /* class_name_string */
+139,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1354,27 +1329,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__MapKeysIterator__nit__MType__standard__Set__nit__MType, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Set[MType]] */
-}
-};
-/* runtime type HashMapValues[MType, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MType__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapValues[MType, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Set__nit__MType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1402,6 +1356,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1409,8 +1364,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
+2813, /* nullable HashMapNode[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1473,10 +1428,10 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2401, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1485,6 +1440,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1915, /* HashMapNode[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1499,25 +1455,24 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Set__nit__MType = {
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__MapValuesIterator__nit__MType__standard__Set__nit__MType, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Set[MType]] */
+&type_core__Set__nitc__MModule, /* V: Set[MModule] */
+&type_nitc__MModule, /* K: MModule */
 }
 };
-/* runtime type NativeArray[nullable HashMapNode[MType, Set[MType]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType = {
-1741,
-"NativeArray[nullable HashMapNode[MType, Set[MType]]]", /* class_name_string */
-202,
+/* runtime type NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule = {
+1916,
+"NativeArray[nullable HashMapNode[MModule, Set[MModule]]]", /* class_name_string */
+212,
 0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType,
-219,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1629,6 +1584,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1717,8 +1673,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
-1741, /* NativeArray[nullable HashMapNode[MType, Set[MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1727,6 +1683,12 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1916, /* NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1737,24 +1699,24 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType = {
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule = {
 0, /* dummy */
 {
-&type_nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* E: nullable HashMapNode[MType, Set[MType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Set[MType]]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule, /* E: nullable HashMapNode[MModule, Set[MModule]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__Set__nitc__MModule, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
 }
 };
-/* runtime type HashMapIterator[MType, Set[MType]] */
-const struct type type_standard__HashMapIterator__nit__MType__standard__Set__nit__MType = {
--1, /*CAST DEAD*/
-"HashMapIterator[MType, Set[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[Array[MModule]] */
+const struct type type_core__NativeArray__core__Array__nitc__MModule = {
+1917,
+"NativeArray[Array[MModule]]", /* class_name_string */
+81,
 0,
-&resolution_table_standard__HashMapIterator__nit__MType__standard__Set__nit__MType,
-77,
+&resolution_table_core__NativeArray__core__Array__nitc__MModule,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1764,6 +1726,7 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1143, /* NativeArray[SequenceRead[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1785,6 +1748,8 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1815,7 +1780,6 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2606, /* MapIterator[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1830,27 +1794,9 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MType__standard__Set__nit__MType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Set__nit__MType, /* HashMap[K, V]: HashMap[MType, Set[MType]] */
-}
-};
-/* runtime type HashMapNode[MType, Set[MType]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType = {
-1743,
-"HashMapNode[MType, Set[MType]]", /* class_name_string */
-133,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
+1917, /* NativeArray[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1881,6 +1827,8 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2133, /* NativeArray[Array[Object]] */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1907,7 +1855,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2289, /* nullable HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1980,7 +1927,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1743, /* HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1997,75 +1943,83 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Set__nit__MType = {
+const struct types resolution_table_core__NativeArray__core__Array__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__Set__nit__MType, /* V: Set[MType] */
-&type_nit__MType, /* K: MType */
+&type_core__Array__nitc__MModule, /* E: Array[MModule] */
+&type_core__NativeArray__core__Array__nitc__MModule, /* NativeArray[E]: NativeArray[Array[MModule]] */
 }
 };
-/* runtime type MapKeysIterator[Int, Int] */
-const struct type type_standard__MapKeysIterator__standard__Int__standard__Int = {
+/* runtime type ArrayIterator[Array[MModule]] */
+const struct type type_core__array__ArrayIterator__core__Array__nitc__MModule = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[Int, Int]", /* class_name_string */
+"ArrayIterator[Array[MModule]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__standard__Int__standard__Int,
-5,
+&resolution_table_core__array__ArrayIterator__core__Array__nitc__MModule,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapKeysIterator__standard__Int__standard__Int = {
+const struct types resolution_table_core__array__ArrayIterator__core__Array__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__MapIterator__standard__Int__standard__Int, /* MapIterator[K, V]: MapIterator[Int, Int] */
+&type_core__Array__core__Array__nitc__MModule, /* Array[E]: Array[Array[MModule]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MModule]] */
 }
 };
-/* runtime type MapValuesIterator[Int, Int] */
-const struct type type_standard__MapValuesIterator__standard__Int__standard__Int = {
+/* runtime type ArrayReverseIterator[Array[MModule]] */
+const struct type type_core__array__ArrayReverseIterator__core__Array__nitc__MModule = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[Int, Int]", /* class_name_string */
+"ArrayReverseIterator[Array[MModule]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__standard__Int__standard__Int,
-5,
+&resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MModule,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapValuesIterator__standard__Int__standard__Int = {
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__MapIterator__standard__Int__standard__Int, /* MapIterator[K, V]: MapIterator[Int, Int] */
+&type_core__Array__core__Array__nitc__MModule, /* Array[E]: Array[Array[MModule]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MModule]] */
 }
 };
-/* runtime type NativeArray[Couple[Int, Int]] */
-const struct type type_standard__NativeArray__standard__Couple__standard__Int__standard__Int = {
-1746,
-"NativeArray[Couple[Int, Int]]", /* class_name_string */
-74,
+/* runtime type MapKeysIterator[MClassDef, POSetElement[MClassDef]] */
+const struct type type_core__MapKeysIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__standard__Couple__standard__Int__standard__Int,
-219,
+&resolution_table_core__MapKeysIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2074,6 +2028,26 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClassDef, /* Array[E]: Array[MClassDef] */
+&type_core__MapIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, POSetElement[MClassDef]] */
+}
+};
+/* runtime type Array[POSetElement[MClassDef]] */
+const struct type type_core__Array__poset__POSetElement__nitc__MClassDef = {
+1921,
+"Array[POSetElement[MClassDef]]", /* class_name_string */
+490,
+0,
+&resolution_table_core__Array__poset__POSetElement__nitc__MClassDef,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2093,7 +2067,6 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2109,6 +2082,7 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2133,7 +2107,6 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1746, /* NativeArray[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2180,12 +2153,14 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2504, /* Collection[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2200,6 +2175,8 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2232,6 +2209,7 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2278,53 +2256,11 @@ const struct type type_standard__NativeArray__standard__Couple__standard__Int__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Couple__standard__Int__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Couple__standard__Int__standard__Int, /* E: Couple[Int, Int] */
-&type_standard__NativeArray__standard__Couple__standard__Int__standard__Int, /* NativeArray[E]: NativeArray[Couple[Int, Int]] */
-}
-};
-/* runtime type ArrayIterator[Couple[Int, Int]] */
-const struct type type_standard__array__ArrayIterator__standard__Couple__standard__Int__standard__Int = {
--1, /*CAST DEAD*/
-"ArrayIterator[Couple[Int, Int]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Couple__standard__Int__standard__Int,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
-2633, /* Iterator[Couple[Int, Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__standard__Couple__standard__Int__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Couple__standard__Int__standard__Int, /* Array[E]: Array[Couple[Int, Int]] */
-&type_standard__AbstractArrayRead__standard__Couple__standard__Int__standard__Int, /* AbstractArrayRead[E]: AbstractArrayRead[Couple[Int, Int]] */
-}
-};
-/* runtime type NativeArray[SourceFile] */
-const struct type type_standard__NativeArray__nit__SourceFile = {
-1748,
-"NativeArray[SourceFile]", /* class_name_string */
-75,
-0,
-&resolution_table_standard__NativeArray__nit__SourceFile,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2346,18 +2282,19 @@ const struct type type_standard__NativeArray__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2630, /* AbstractArrayRead[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2398,7 +2335,7 @@ const struct type type_standard__NativeArray__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1748, /* NativeArray[SourceFile] */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2471,12 +2408,14 @@ const struct type type_standard__NativeArray__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2954, /* AbstractArray[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2491,6 +2430,7 @@ const struct type type_standard__NativeArray__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2542,76 +2482,14 @@ const struct type type_standard__NativeArray__nit__SourceFile = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nit__SourceFile = {
-0, /* dummy */
-{
-&type_nit__SourceFile, /* E: SourceFile */
-&type_standard__NativeArray__nit__SourceFile, /* NativeArray[E]: NativeArray[SourceFile] */
-}
-};
-/* runtime type ArrayIterator[SourceFile] */
-const struct type type_standard__array__ArrayIterator__nit__SourceFile = {
--1, /*CAST DEAD*/
-"ArrayIterator[SourceFile]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__nit__SourceFile,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__nit__SourceFile = {
-0, /* dummy */
-{
-&type_standard__Array__nit__SourceFile, /* Array[E]: Array[SourceFile] */
-&type_standard__AbstractArrayRead__nit__SourceFile, /* AbstractArrayRead[E]: AbstractArrayRead[SourceFile] */
-}
-};
-/* runtime type MapKeysIterator[Phase, POSetElement[Phase]] */
-const struct type type_standard__MapKeysIterator__nit__Phase__poset__POSetElement__nit__Phase = {
--1, /*CAST DEAD*/
-"MapKeysIterator[Phase, POSetElement[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__Phase__poset__POSetElement__nit__Phase,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__MapIterator__nit__Phase__poset__POSetElement__nit__Phase, /* MapIterator[K, V]: MapIterator[Phase, POSetElement[Phase]] */
-}
-};
-/* runtime type Array[POSetElement[Phase]] */
-const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
-1751,
-"Array[POSetElement[Phase]]", /* class_name_string */
-468,
-0,
-&resolution_table_standard__Array__poset__POSetElement__nit__Phase,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2646,7 +2524,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2659,6 +2536,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1921, /* Array[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2678,6 +2556,40 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MClassDef, /* E: POSetElement[MClassDef] */
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__Collection__poset__POSetElement__nitc__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClassDef, /* AbstractArray[E]: AbstractArray[POSetElement[MClassDef]] */
+&type_core__NativeArray__poset__POSetElement__nitc__MClassDef, /* NativeArray[E]: NativeArray[POSetElement[MClassDef]] */
+&type_poset__POSetElement__nitc__MClassDef, /* E: POSetElement[MClassDef] */
+&type_core__Collection__poset__POSetElement__nitc__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
+&type_poset__POSetElement__nitc__MClassDef, /* E: POSetElement[MClassDef] */
+&type_core__Collection__poset__POSetElement__nitc__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
+&type_core__Collection__poset__POSetElement__nitc__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClassDef, /* AbstractArray[E]: AbstractArray[POSetElement[MClassDef]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__MClassDef, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClassDef]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassDef, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[MClassDef]] */
+}
+};
+/* runtime type MapValuesIterator[MClassDef, POSetElement[MClassDef]] */
+const struct type type_core__MapValuesIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2686,6 +2598,26 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__MapIterator__nitc__MClassDef__poset__POSetElement__nitc__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, POSetElement[MClassDef]] */
+}
+};
+/* runtime type HashMapKeys[MClassDef, Set[MClassDef]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MClassDef__core__Set__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MClassDef, Set[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MClassDef__core__Set__nitc__MClassDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2701,6 +2633,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2414, /* Collection[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2711,7 +2644,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2402, /* Collection[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2720,6 +2652,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2734,7 +2667,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2767,7 +2699,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2799,6 +2730,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2813,6 +2745,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MClassDef__core__Set__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClassDef__core__Set__nitc__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
+&type_core__Array__nitc__MClassDef, /* Array[E]: Array[MClassDef] */
+&type_core__MapKeysIterator__nitc__MClassDef__core__Set__nitc__MClassDef, /* MapKeysIterator[K, V]: MapKeysIterator[MClassDef, Set[MClassDef]] */
+}
+};
+/* runtime type HashMapValues[MClassDef, Set[MClassDef]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MClassDef__core__Set__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"HashMapValues[MClassDef, Set[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MClassDef__core__Set__nitc__MClassDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2833,7 +2786,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2523, /* AbstractArrayRead[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2848,6 +2800,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2888,7 +2841,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2907,6 +2859,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2492, /* Collection[Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2925,6 +2878,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2939,6 +2893,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MClassDef__core__Set__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClassDef__core__Set__nitc__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
+&type_core__Array__core__Set__nitc__MClassDef, /* Array[E]: Array[Set[MClassDef]] */
+&type_core__MapValuesIterator__nitc__MClassDef__core__Set__nitc__MClassDef, /* MapValuesIterator[K, V]: MapValuesIterator[MClassDef, Set[MClassDef]] */
+}
+};
+/* runtime type HashMapIterator[MClassDef, Set[MClassDef]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MClassDef__core__Set__nitc__MClassDef,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2954,7 +2929,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2747, /* AbstractArray[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2977,8 +2951,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2997,6 +2969,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3006,6 +2979,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2717, /* MapIterator[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3017,6 +2991,25 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClassDef__core__Set__nitc__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
+}
+};
+/* runtime type HashMapNode[MClassDef, Set[MClassDef]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef = {
+1926,
+"HashMapNode[MClassDef, Set[MClassDef]]", /* class_name_string */
+140,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3070,6 +3063,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3078,8 +3072,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1751, /* Array[POSetElement[Phase]] */
 -1, /* empty */
+2814, /* nullable HashMapNode[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3100,83 +3094,10 @@ const struct type type_standard__Array__poset__POSetElement__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__Phase, /* E: POSetElement[Phase] */
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__Collection__poset__POSetElement__nit__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__NativeArray__poset__POSetElement__nit__Phase, /* NativeArray[E]: NativeArray[POSetElement[Phase]] */
-&type_poset__POSetElement__nit__Phase, /* E: POSetElement[Phase] */
-&type_standard__Collection__poset__POSetElement__nit__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
-&type_poset__POSetElement__nit__Phase, /* E: POSetElement[Phase] */
-&type_standard__Collection__poset__POSetElement__nit__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
-&type_standard__Collection__poset__POSetElement__nit__Phase, /* Collection[E]: Collection[POSetElement[Phase]] */
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__Phase, /* AbstractArray[E]: AbstractArray[POSetElement[Phase]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__Phase, /* ArrayIterator[E]: ArrayIterator[POSetElement[Phase]] */
-}
-};
-/* runtime type MapValuesIterator[Phase, POSetElement[Phase]] */
-const struct type type_standard__MapValuesIterator__nit__Phase__poset__POSetElement__nit__Phase = {
--1, /*CAST DEAD*/
-"MapValuesIterator[Phase, POSetElement[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__Phase__poset__POSetElement__nit__Phase,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__Phase__poset__POSetElement__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__MapIterator__nit__Phase__poset__POSetElement__nit__Phase, /* MapIterator[K, V]: MapIterator[Phase, POSetElement[Phase]] */
-}
-};
-/* runtime type HashSetIterator[Phase] */
-const struct type type_standard__hash_collection__HashSetIterator__nit__Phase = {
--1, /*CAST DEAD*/
-"HashSetIterator[Phase]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashSetIterator__nit__Phase,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashSetIterator__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__HashSet__nit__Phase, /* HashSet[E]: HashSet[Phase] */
-}
-};
-/* runtime type NativeArray[nullable HashSetNode[Phase]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__Phase = {
-1754,
-"NativeArray[nullable HashSetNode[Phase]]", /* class_name_string */
-203,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__Phase,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3217,6 +3138,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3226,6 +3148,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1926, /* HashMapNode[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3237,6 +3160,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_core__Set__nitc__MClassDef, /* V: Set[MClassDef] */
+&type_nitc__MClassDef, /* K: MClassDef */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef = {
+1927,
+"NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]]", /* class_name_string */
+213,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3326,7 +3269,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1211, /* NativeArray[nullable HashSetNode[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3349,6 +3291,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3378,7 +3321,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1754, /* NativeArray[nullable HashSetNode[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3394,26 +3336,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__Phase = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashSetNode__nit__Phase, /* E: nullable HashSetNode[Phase] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashSetNode__nit__Phase, /* NativeArray[E]: NativeArray[nullable HashSetNode[Phase]] */
-}
-};
-/* runtime type HashSetNode[Phase] */
-const struct type type_standard__hash_collection__HashSetNode__nit__Phase = {
-1755,
-"HashSetNode[Phase]", /* class_name_string */
-46,
-0,
-&resolution_table_standard__hash_collection__HashSetNode__nit__Phase,
-48,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3424,7 +3346,6 @@ const struct type type_standard__hash_collection__HashSetNode__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2238, /* nullable HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3435,7 +3356,6 @@ const struct type type_standard__hash_collection__HashSetNode__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2290, /* nullable HashSetNode[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3447,7 +3367,6 @@ const struct type type_standard__hash_collection__HashSetNode__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1212, /* HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3458,41 +3377,21 @@ const struct type type_standard__hash_collection__HashSetNode__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1755, /* HashSetNode[Phase] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashSetNode__nit__Phase = {
-0, /* dummy */
-{
-NULL, /* empty */
-&type_nit__Phase, /* K: Phase */
-}
-};
-/* runtime type HashMapKeys[Phase, Set[Phase]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__standard__Set__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapKeys[Phase, Set[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__Phase__standard__Set__nit__Phase,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2309, /* Collection[Phase] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1927, /* NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3505,16 +3404,57 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef, /* E: nullable HashMapNode[MClassDef, Set[MClassDef]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassDef__core__Set__nitc__MClassDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
+}
+};
+/* runtime type MapKeysIterator[MClassType, POSetElement[MClassType]] */
+const struct type type_core__MapKeysIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClassType, POSetElement[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2831, /* Iterator[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_core__MapIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, POSetElement[MClassType]] */
+}
+};
+/* runtime type Array[POSetElement[MClassType]] */
+const struct type type_core__Array__poset__POSetElement__nitc__MClassType = {
+1929,
+"Array[POSetElement[MClassType]]", /* class_name_string */
+491,
+0,
+&resolution_table_core__Array__poset__POSetElement__nitc__MClassType,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3547,6 +3487,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3602,27 +3543,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__Phase__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__Phase__standard__Set__nit__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__MapKeysIterator__nit__Phase__standard__Set__nit__Phase, /* MapKeysIterator[K, V]: MapKeysIterator[Phase, Set[Phase]] */
-}
-};
-/* runtime type HashMapValues[Phase, Set[Phase]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__Phase__standard__Set__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapValues[Phase, Set[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__Phase__standard__Set__nit__Phase,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3639,11 +3559,14 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2505, /* Collection[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
+2512, /* Collection[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3657,7 +3580,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3690,6 +3614,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3734,7 +3659,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2414, /* Collection[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3745,27 +3669,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__Phase__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__Phase__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__Phase__standard__Set__nit__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
-&type_standard__Array__standard__Set__nit__Phase, /* Array[E]: Array[Set[Phase]] */
-&type_standard__MapValuesIterator__nit__Phase__standard__Set__nit__Phase, /* MapValuesIterator[K, V]: MapValuesIterator[Phase, Set[Phase]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase = {
-1758,
-"NativeArray[nullable HashMapNode[Phase, Set[Phase]]]", /* class_name_string */
-204,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3785,11 +3688,14 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2631, /* AbstractArrayRead[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
+2638, /* AbstractArrayRead[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3834,6 +3740,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3907,11 +3814,14 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2955, /* AbstractArray[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
+2962, /* AbstractArray[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3925,6 +3835,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3968,7 +3879,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1758, /* NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3983,26 +3893,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* E: nullable HashMapNode[Phase, Set[Phase]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase, /* NativeArray[E]: NativeArray[nullable HashMapNode[Phase, Set[Phase]]] */
-}
-};
-/* runtime type HashMapIterator[Phase, Set[Phase]] */
-const struct type type_standard__HashMapIterator__nit__Phase__standard__Set__nit__Phase = {
--1, /*CAST DEAD*/
-"HashMapIterator[Phase, Set[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__Phase__standard__Set__nit__Phase,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4052,11 +3942,13 @@ const struct type type_standard__HashMapIterator__nit__Phase__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1929, /* Array[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2031, /* Array[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4064,12 +3956,45 @@ const struct type type_standard__HashMapIterator__nit__Phase__standard__Set__nit
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2607, /* MapIterator[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__MClassType = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MClassType, /* E: POSetElement[MClassType] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__Collection__poset__POSetElement__nitc__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClassType, /* AbstractArray[E]: AbstractArray[POSetElement[MClassType]] */
+&type_core__NativeArray__poset__POSetElement__nitc__MClassType, /* NativeArray[E]: NativeArray[POSetElement[MClassType]] */
+&type_poset__POSetElement__nitc__MClassType, /* E: POSetElement[MClassType] */
+&type_core__Collection__poset__POSetElement__nitc__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
+&type_poset__POSetElement__nitc__MClassType, /* E: POSetElement[MClassType] */
+&type_core__Collection__poset__POSetElement__nitc__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
+&type_core__Collection__poset__POSetElement__nitc__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClassType, /* AbstractArray[E]: AbstractArray[POSetElement[MClassType]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__MClassType, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClassType]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassType, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[MClassType]] */
+}
+};
+/* runtime type MapValuesIterator[MClassType, POSetElement[MClassType]] */
+const struct type type_core__MapValuesIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClassType, POSetElement[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4080,23 +4005,24 @@ const struct type type_standard__HashMapIterator__nit__Phase__standard__Set__nit
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMapIterator__nit__Phase__standard__Set__nit__Phase = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__Phase__standard__Set__nit__Phase, /* HashMap[K, V]: HashMap[Phase, Set[Phase]] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__MapIterator__nitc__MClassType__poset__POSetElement__nitc__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, POSetElement[MClassType]] */
 }
 };
-/* runtime type HashMapNode[Phase, Set[Phase]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase = {
-1760,
-"HashMapNode[Phase, Set[Phase]]", /* class_name_string */
-134,
+/* runtime type HashMapKeys[MClassType, Set[MClassType]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MClassType__core__Set__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MClassType, Set[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase,
-148,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MClassType__core__Set__nitc__MClassType,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4114,6 +4040,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2416, /* Collection[MClassType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4122,6 +4049,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4129,6 +4057,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4139,6 +4068,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4156,7 +4086,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2291, /* nullable HashMapNode[Phase, Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4206,6 +4135,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4220,51 +4150,27 @@ const struct type type_standard__hash_collection__HashMapNode__nit__Phase__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1760, /* HashMapNode[Phase, Set[Phase]] */
--1, /* empty */
--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__hash_collection__HashMapNode__nit__Phase__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Set__nit__Phase, /* V: Set[Phase] */
-&type_nit__Phase, /* K: Phase */
-}
-};
-/* runtime type NativeArray[Array[MProject]] */
-const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
-1761,
-"NativeArray[Array[MProject]]", /* class_name_string */
-76,
-0,
-&resolution_table_standard__NativeArray__standard__Array__nit__MProject,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MClassType__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_core__MapKeysIterator__nitc__MClassType__core__Set__nitc__MClassType, /* MapKeysIterator[K, V]: MapKeysIterator[MClassType, Set[MClassType]] */
+}
+};
+/* runtime type HashMapValues[MClassType, Set[MClassType]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MClassType__core__Set__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"HashMapValues[MClassType, Set[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MClassType__core__Set__nitc__MClassType,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4295,11 +4201,11 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4337,7 +4243,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1761, /* NativeArray[Array[MProject]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4361,36 +4266,14 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2494, /* Collection[Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
--1, /* empty */
--1, /* empty */
-1953, /* NativeArray[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 */
+2501, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4400,6 +4283,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4414,6 +4298,27 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MClassType__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
+&type_core__Array__core__Set__nitc__MClassType, /* Array[E]: Array[Set[MClassType]] */
+&type_core__MapValuesIterator__nitc__MClassType__core__Set__nitc__MClassType, /* MapValuesIterator[K, V]: MapValuesIterator[MClassType, Set[MClassType]] */
+}
+};
+/* runtime type HashMapIterator[MClassType, Set[MClassType]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MClassType__core__Set__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MClassType, Set[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MClassType__core__Set__nitc__MClassType,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4469,97 +4374,47 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProject = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2714, /* MapIterator[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2718, /* MapIterator[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Array__nit__MProject = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MProject, /* E: Array[MProject] */
-&type_standard__NativeArray__standard__Array__nit__MProject, /* NativeArray[E]: NativeArray[Array[MProject]] */
-}
-};
-/* runtime type ArrayIterator[Array[MProject]] */
-const struct type type_standard__array__ArrayIterator__standard__Array__nit__MProject = {
--1, /*CAST DEAD*/
-"ArrayIterator[Array[MProject]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Array__nit__MProject,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__standard__Array__nit__MProject = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nit__MProject, /* Array[E]: Array[Array[MProject]] */
-&type_standard__AbstractArrayRead__standard__Array__nit__MProject, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MProject]] */
-}
-};
-/* runtime type MapKeysIterator[MModule, POSetElement[MModule]] */
-const struct type type_standard__MapKeysIterator__nit__MModule__poset__POSetElement__nit__MModule = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MModule, POSetElement[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MModule__poset__POSetElement__nit__MModule,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapKeysIterator__nit__MModule__poset__POSetElement__nit__MModule = {
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MClassType__core__Set__nitc__MClassType = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapIterator__nit__MModule__poset__POSetElement__nit__MModule, /* MapIterator[K, V]: MapIterator[MModule, POSetElement[MModule]] */
+&type_core__HashMap__nitc__MClassType__core__Set__nitc__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
 }
 };
-/* runtime type Array[POSetElement[MModule]] */
-const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
-1764,
-"Array[POSetElement[MModule]]", /* class_name_string */
-469,
+/* runtime type HashMapNode[MClassType, Set[MClassType]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType = {
+1934,
+"HashMapNode[MClassType, Set[MClassType]]", /* class_name_string */
+141,
 0,
-&resolution_table_standard__Array__poset__POSetElement__nit__MModule,
-490,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType,
+152,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4584,7 +4439,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4614,15 +4468,18 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2810, /* nullable HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2815, /* nullable HashMapNode[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4650,7 +4507,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2403, /* Collection[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4672,7 +4528,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4688,15 +4543,18 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1866, /* HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1934, /* HashMapNode[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4705,16 +4563,28 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__Set__nitc__MClassType, /* V: Set[MClassType] */
+&type_nitc__MClassType, /* K: MClassType */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType = {
+1935,
+"NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]]", /* class_name_string */
+214,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4772,7 +4642,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2524, /* AbstractArrayRead[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4826,8 +4695,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4893,7 +4762,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2748, /* AbstractArray[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4915,20 +4783,21 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1867, /* NativeArray[nullable HashMapNode[MType, Set[MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1935, /* NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4940,6 +4809,26 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType, /* E: nullable HashMapNode[MClassType, Set[MClassType]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MClassType__core__Set__nitc__MClassType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
+}
+};
+/* runtime type NativeArray[Array[MClass]] */
+const struct type type_core__NativeArray__core__Array__nitc__MClass = {
+1936,
+"NativeArray[Array[MClass]]", /* class_name_string */
+82,
+0,
+&resolution_table_core__NativeArray__core__Array__nitc__MClass,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4971,6 +4860,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5017,9 +4907,9 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1764, /* Array[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
+1936, /* NativeArray[Array[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5038,60 +4928,9 @@ const struct type type_standard__Array__poset__POSetElement__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MModule, /* E: POSetElement[MModule] */
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__Collection__poset__POSetElement__nit__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__NativeArray__poset__POSetElement__nit__MModule, /* NativeArray[E]: NativeArray[POSetElement[MModule]] */
-&type_poset__POSetElement__nit__MModule, /* E: POSetElement[MModule] */
-&type_standard__Collection__poset__POSetElement__nit__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
-&type_poset__POSetElement__nit__MModule, /* E: POSetElement[MModule] */
-&type_standard__Collection__poset__POSetElement__nit__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
-&type_standard__Collection__poset__POSetElement__nit__MModule, /* Collection[E]: Collection[POSetElement[MModule]] */
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__MModule, /* AbstractArray[E]: AbstractArray[POSetElement[MModule]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__MModule, /* ArrayIterator[E]: ArrayIterator[POSetElement[MModule]] */
-}
-};
-/* runtime type MapValuesIterator[MModule, POSetElement[MModule]] */
-const struct type type_standard__MapValuesIterator__nit__MModule__poset__POSetElement__nit__MModule = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MModule, POSetElement[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MModule__poset__POSetElement__nit__MModule,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2059, /* NativeArray[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MModule__poset__POSetElement__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__MapIterator__nit__MModule__poset__POSetElement__nit__MModule, /* MapIterator[K, V]: MapIterator[MModule, POSetElement[MModule]] */
-}
-};
-/* runtime type HashMapKeys[MModule, Set[MModule]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__standard__Set__nit__MModule = {
--1, /*CAST DEAD*/
-"HashMapKeys[MModule, Set[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__Set__nit__MModule,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5100,8 +4939,9 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2133, /* NativeArray[Array[Object]] */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
-2312, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5126,7 +4966,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5216,40 +5055,25 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__Set__nit__MModule = {
+const struct types resolution_table_core__NativeArray__core__Array__nitc__MClass = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__standard__Set__nit__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapKeysIterator__nit__MModule__standard__Set__nit__MModule, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, Set[MModule]] */
+&type_core__Array__nitc__MClass, /* E: Array[MClass] */
+&type_core__NativeArray__core__Array__nitc__MClass, /* NativeArray[E]: NativeArray[Array[MClass]] */
 }
 };
-/* runtime type HashMapValues[MModule, Set[MModule]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MModule__standard__Set__nit__MModule = {
+/* runtime type ArrayIterator[Array[MClass]] */
+const struct type type_core__array__ArrayIterator__core__Array__nitc__MClass = {
 -1, /*CAST DEAD*/
-"HashMapValues[MModule, Set[MModule]]", /* class_name_string */
+"ArrayIterator[Array[MClass]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__Set__nit__MModule,
-124,
+&resolution_table_core__array__ArrayIterator__core__Array__nitc__MClass,
+11,
 {
-80, /* Object */
-2622, /* 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 */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5258,6 +5082,27 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Array__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MClass, /* Array[E]: Array[Array[MClass]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MClass]] */
+}
+};
+/* runtime type ArrayReverseIterator[Array[MClass]] */
+const struct type type_core__array__ArrayReverseIterator__core__Array__nitc__MClass = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Array[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5266,10 +5111,29 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MClass, /* Array[E]: Array[Array[MClass]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MClass]] */
+}
+};
+/* runtime type NativeArray[Array[MProperty]] */
+const struct type type_core__NativeArray__core__Array__nitc__MProperty = {
+1939,
+"NativeArray[Array[MProperty]]", /* class_name_string */
+83,
+0,
+&resolution_table_core__NativeArray__core__Array__nitc__MProperty,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5298,6 +5162,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5347,7 +5212,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2415, /* Collection[Set[MModule]] */
+1939, /* NativeArray[Array[MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5357,27 +5222,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__Set__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__Set__nit__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
-&type_standard__Array__standard__Set__nit__MModule, /* Array[E]: Array[Set[MModule]] */
-&type_standard__MapValuesIterator__nit__MModule__standard__Set__nit__MModule, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, Set[MModule]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule = {
-1768,
-"NativeArray[nullable HashMapNode[MModule, Set[MModule]]]", /* class_name_string */
-205,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
+1999, /* NativeArray[Array[nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5396,6 +5241,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2133, /* NativeArray[Array[Object]] */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5508,6 +5355,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__core__Array__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MProperty, /* E: Array[MProperty] */
+&type_core__NativeArray__core__Array__nitc__MProperty, /* NativeArray[E]: NativeArray[Array[MProperty]] */
+}
+};
+/* runtime type ArrayIterator[Array[MProperty]] */
+const struct type type_core__array__ArrayIterator__core__Array__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayIterator[Array[MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__core__Array__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5516,6 +5384,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Array__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MProperty, /* Array[E]: Array[Array[MProperty]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MProperty]] */
+}
+};
+/* runtime type ArrayReverseIterator[Array[MProperty]] */
+const struct type type_core__array__ArrayReverseIterator__core__Array__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Array[MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5524,6 +5413,28 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Array__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nitc__MProperty, /* Array[E]: Array[Array[MProperty]] */
+&type_core__AbstractArrayRead__core__Array__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MProperty]] */
+}
+};
+/* runtime type MapKeysIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__MapKeysIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MModule, HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+2827, /* Iterator[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5531,6 +5442,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
+}
+};
+/* runtime type Array[HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+1943,
+"Array[HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
+492,
+0,
+&resolution_table_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5565,6 +5496,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5581,7 +5513,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1768, /* NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5595,26 +5526,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* E: nullable HashMapNode[MModule, Set[MModule]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, Set[MModule]]] */
-}
-};
-/* runtime type HashMapIterator[MModule, Set[MModule]] */
-const struct type type_standard__HashMapIterator__nit__MModule__standard__Set__nit__MModule = {
--1, /*CAST DEAD*/
-"HashMapIterator[MModule, Set[MModule]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MModule__standard__Set__nit__MModule,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5658,10 +5569,12 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__Set__n
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2506, /* Collection[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5676,8 +5589,9 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__Set__n
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
-2608, /* MapIterator[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5690,25 +5604,6 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__Set__n
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MModule__standard__Set__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__Set__nit__MModule, /* HashMap[K, V]: HashMap[MModule, Set[MModule]] */
-}
-};
-/* runtime type HashMapNode[MModule, Set[MModule]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule = {
-1770,
-"HashMapNode[MModule, Set[MModule]]", /* class_name_string */
-135,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5728,6 +5623,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5769,7 +5665,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2292, /* nullable HashMapNode[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5803,10 +5698,12 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2632, /* AbstractArrayRead[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5842,7 +5739,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1770, /* HashMapNode[MModule, Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5853,28 +5749,9 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__Set__nit__MModule = {
-0, /* dummy */
-{
-&type_standard__Set__nit__MModule, /* V: Set[MModule] */
-&type_nit__MModule, /* K: MModule */
-}
-};
-/* runtime type NativeArray[Array[MModule]] */
-const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
-1771,
-"NativeArray[Array[MModule]]", /* class_name_string */
-77,
-0,
-&resolution_table_standard__NativeArray__standard__Array__nit__MModule,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5907,7 +5784,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5948,11 +5824,12 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2956, /* AbstractArray[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
-1771, /* NativeArray[Array[MModule]] */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5967,6 +5844,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5981,7 +5859,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1953, /* NativeArray[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6075,6 +5952,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1943, /* Array[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6094,25 +5972,40 @@ const struct type type_standard__NativeArray__standard__Array__nit__MModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__standard__Array__nit__MModule = {
+const struct types resolution_table_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MModule, /* E: Array[MModule] */
-&type_standard__NativeArray__standard__Array__nit__MModule, /* NativeArray[E]: NativeArray[Array[MModule]] */
+&type_more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__Collection__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__AbstractArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[HashMap2[MType, String, nullable MProperty]] */
+&type_core__NativeArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* NativeArray[E]: NativeArray[HashMap2[MType, String, nullable MProperty]] */
+&type_more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
+&type_core__Collection__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
+&type_more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
+&type_core__Collection__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
+&type_core__Collection__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__AbstractArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[HashMap2[MType, String, nullable MProperty]] */
+&type_core__array__ArrayIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* ArrayIterator[E]: ArrayIterator[HashMap2[MType, String, nullable MProperty]] */
+&type_core__array__ArrayReverseIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* ArrayReverseIterator[E]: ArrayReverseIterator[HashMap2[MType, String, nullable MProperty]] */
 }
 };
-/* runtime type ArrayIterator[Array[MModule]] */
-const struct type type_standard__array__ArrayIterator__standard__Array__nit__MModule = {
+/* runtime type MapValuesIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__MapValuesIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"ArrayIterator[Array[MModule]]", /* class_name_string */
+"MapValuesIterator[MModule, HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__standard__Array__nit__MModule,
-9,
+&resolution_table_core__MapValuesIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6121,47 +6014,26 @@ const struct type type_standard__array__ArrayIterator__standard__Array__nit__MMo
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__standard__Array__nit__MModule = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Array__nit__MModule, /* Array[E]: Array[Array[MModule]] */
-&type_standard__AbstractArrayRead__standard__Array__nit__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MModule]] */
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__MapIterator__nitc__MModule__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
 }
 };
-/* runtime type MapKeysIterator[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__MapKeysIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
+/* runtime type HashMapKeys[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
+"HashMapKeys[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-5,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_standard__MapIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, POSetElement[MClassDef]] */
-}
-};
-/* runtime type Array[POSetElement[MClassDef]] */
-const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
-1774,
-"Array[POSetElement[MClassDef]]", /* class_name_string */
-470,
-0,
-&resolution_table_standard__Array__poset__POSetElement__nit__MClassDef,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6186,6 +6058,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6193,10 +6066,10 @@ const struct type type_standard__Array__poset__POSetElement__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 */
@@ -6204,6 +6077,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6263,7 +6137,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2404, /* Collection[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6271,6 +6144,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6284,8 +6158,28 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[MType, HashMap[String, nullable MProperty]] */
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapKeysIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* MapKeysIterator[K, V]: MapKeysIterator[MType, HashMap[String, nullable MProperty]] */
+}
+};
+/* runtime type HashMapValues[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"HashMapValues[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6317,10 +6211,10 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6385,7 +6279,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2525, /* AbstractArrayRead[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6399,11 +6292,13 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2517, /* Collection[HashMap[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6412,6 +6307,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[MType, HashMap[String, nullable MProperty]] */
+&type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap[String, nullable MProperty]] */
+&type_core__MapValuesIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* MapValuesIterator[K, V]: MapValuesIterator[MType, HashMap[String, nullable MProperty]] */
+}
+};
+/* runtime type HashMapIterator[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6438,7 +6354,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6468,6 +6383,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6479,6 +6395,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2719, /* MapIterator[MType, HashMap[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6488,6 +6405,25 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[MType, HashMap[String, nullable MProperty]] */
+}
+};
+/* runtime type HashMapNode[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+1948,
+"HashMapNode[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
+142,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6506,7 +6442,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2749, /* AbstractArray[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6527,8 +6462,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6544,6 +6477,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6555,6 +6489,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2816, /* nullable HashMapNode[MType, HashMap[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6617,6 +6552,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6628,9 +6564,9 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1948, /* HashMapNode[MType, HashMap[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
-1774, /* Array[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6638,6 +6574,26 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* V: HashMap[String, nullable MProperty] */
+&type_nitc__MType, /* K: MType */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MType, HashMap[String, nullable MProperty]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+1949,
+"NativeArray[nullable HashMapNode[MType, HashMap[String, nullable MProperty]]]", /* class_name_string */
+215,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6650,60 +6606,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassDef = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MClassDef, /* E: POSetElement[MClassDef] */
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__Collection__poset__POSetElement__nit__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__NativeArray__poset__POSetElement__nit__MClassDef, /* NativeArray[E]: NativeArray[POSetElement[MClassDef]] */
-&type_poset__POSetElement__nit__MClassDef, /* E: POSetElement[MClassDef] */
-&type_standard__Collection__poset__POSetElement__nit__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
-&type_poset__POSetElement__nit__MClassDef, /* E: POSetElement[MClassDef] */
-&type_standard__Collection__poset__POSetElement__nit__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
-&type_standard__Collection__poset__POSetElement__nit__MClassDef, /* Collection[E]: Collection[POSetElement[MClassDef]] */
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__MClassDef, /* AbstractArray[E]: AbstractArray[POSetElement[MClassDef]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__MClassDef, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClassDef]] */
-}
-};
-/* runtime type MapValuesIterator[MClassDef, POSetElement[MClassDef]] */
-const struct type type_standard__MapValuesIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClassDef, POSetElement[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__MapIterator__nit__MClassDef__poset__POSetElement__nit__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, POSetElement[MClassDef]] */
-}
-};
-/* runtime type HashMapKeys[MClassDef, Set[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__standard__Set__nit__MClassDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClassDef, Set[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClassDef__standard__Set__nit__MClassDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6719,7 +6623,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2318, /* Collection[MClassDef] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6738,7 +6641,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6803,6 +6705,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6826,28 +6729,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClassDef__standard__Set__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_standard__MapKeysIterator__nit__MClassDef__standard__Set__nit__MClassDef, /* MapKeysIterator[K, V]: MapKeysIterator[MClassDef, Set[MClassDef]] */
-}
-};
-/* runtime type HashMapValues[MClassDef, Set[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef__standard__Set__nit__MClassDef = {
--1, /*CAST DEAD*/
-"HashMapValues[MClassDef, Set[MClassDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClassDef__standard__Set__nit__MClassDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6881,7 +6762,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6914,6 +6794,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6926,6 +6807,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1949, /* NativeArray[nullable HashMapNode[MType, HashMap[String, nullable MProperty]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6936,11 +6818,30 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2392, /* Collection[Set[MClassDef]] */
--1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* E: nullable HashMapNode[MType, HashMap[String, nullable MProperty]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, HashMap[String, nullable MProperty]]] */
+}
+};
+/* runtime type HashMapKeys[String, nullable MProperty] */
+const struct type type_core__hash_collection__HashMapKeys__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"HashMapKeys[String, nullable MProperty]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__core__String__nullable__nitc__MProperty,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2402, /* Collection[String] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6969,34 +6870,15 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassDef_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClassDef__standard__Set__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
-&type_standard__Array__standard__Set__nit__MClassDef, /* Array[E]: Array[Set[MClassDef]] */
-&type_standard__MapValuesIterator__nit__MClassDef__standard__Set__nit__MClassDef, /* MapValuesIterator[K, V]: MapValuesIterator[MClassDef, Set[MClassDef]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef = {
-1778,
-"NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]]", /* class_name_string */
-206,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -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 */
@@ -7068,6 +6950,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7082,6 +6965,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[String, nullable MProperty] */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__MapKeysIterator__core__String__nullable__nitc__MProperty, /* MapKeysIterator[K, V]: MapKeysIterator[String, nullable MProperty] */
+}
+};
+/* runtime type HashMapValues[String, nullable MProperty] */
+const struct type type_core__hash_collection__HashMapValues__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"HashMapValues[String, nullable MProperty]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__core__String__nullable__nitc__MProperty,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7149,6 +7053,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2466, /* Collection[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7193,13 +7098,14 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
-1778, /* NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2518, /* Collection[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7209,24 +7115,26 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef = {
+const struct types resolution_table_core__hash_collection__HashMapValues__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* E: nullable HashMapNode[MClassDef, Set[MClassDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClassDef, Set[MClassDef]]] */
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[String, nullable MProperty] */
+&type_core__Array__nullable__nitc__MProperty, /* Array[E]: Array[nullable MProperty] */
+&type_core__MapValuesIterator__core__String__nullable__nitc__MProperty, /* MapValuesIterator[K, V]: MapValuesIterator[String, nullable MProperty] */
 }
 };
-/* runtime type HashMapIterator[MClassDef, Set[MClassDef]] */
-const struct type type_standard__HashMapIterator__nit__MClassDef__standard__Set__nit__MClassDef = {
+/* runtime type HashMapIterator[String, nullable MProperty] */
+const struct type type_core__hash_collection__HashMapIterator__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"HashMapIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
+"HashMapIterator[String, nullable MProperty]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__HashMapIterator__nit__MClassDef__standard__Set__nit__MClassDef,
-77,
+&resolution_table_core__hash_collection__HashMapIterator__core__String__nullable__nitc__MProperty,
+79,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7281,6 +7189,7 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__standard__Set_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7290,10 +7199,10 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__standard__Set_
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2609, /* MapIterator[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2720, /* MapIterator[String, nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7304,23 +7213,23 @@ const struct type type_standard__HashMapIterator__nit__MClassDef__standard__Set_
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMapIterator__nit__MClassDef__standard__Set__nit__MClassDef = {
+const struct types resolution_table_core__hash_collection__HashMapIterator__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClassDef__standard__Set__nit__MClassDef, /* HashMap[K, V]: HashMap[MClassDef, Set[MClassDef]] */
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* HashMap[K, V]: HashMap[String, nullable MProperty] */
 }
 };
-/* runtime type HashMapNode[MClassDef, Set[MClassDef]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef = {
-1780,
-"HashMapNode[MClassDef, Set[MClassDef]]", /* class_name_string */
-136,
+/* runtime type HashMapNode[String, nullable MProperty] */
+const struct type type_core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty = {
+1953,
+"HashMapNode[String, nullable MProperty]", /* class_name_string */
+143,
 0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef,
-148,
+&resolution_table_core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty,
+152,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7374,6 +7283,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7382,11 +7292,11 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2293, /* nullable HashMapNode[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2817, /* nullable HashMapNode[String, nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7448,6 +7358,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7455,74 +7366,40 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassDef__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1780, /* HashMapNode[MClassDef, Set[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1953, /* HashMapNode[String, nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClassDef__standard__Set__nit__MClassDef = {
-0, /* dummy */
-{
-&type_standard__Set__nit__MClassDef, /* V: Set[MClassDef] */
-&type_nit__MClassDef, /* K: MClassDef */
-}
-};
-/* runtime type MapKeysIterator[MClassType, POSetElement[MClassType]] */
-const struct type type_standard__MapKeysIterator__nit__MClassType__poset__POSetElement__nit__MClassType = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClassType, POSetElement[MClassType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClassType__poset__POSetElement__nit__MClassType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapKeysIterator__nit__MClassType__poset__POSetElement__nit__MClassType = {
+const struct types resolution_table_core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MClassType, /* Array[E]: Array[MClassType] */
-&type_standard__MapIterator__nit__MClassType__poset__POSetElement__nit__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, POSetElement[MClassType]] */
+&type_nullable__nitc__MProperty, /* V: nullable MProperty */
+&type_core__String, /* K: String */
 }
 };
-/* runtime type Array[POSetElement[MClassType]] */
-const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
-1782,
-"Array[POSetElement[MClassType]]", /* class_name_string */
-471,
+/* runtime type NativeArray[nullable HashMapNode[String, nullable MProperty]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty = {
+1954,
+"NativeArray[nullable HashMapNode[String, nullable MProperty]]", /* class_name_string */
+216,
 0,
-&resolution_table_standard__Array__poset__POSetElement__nit__MClassType,
-490,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty,
+226,
 {
-80, /* Object */
-2622, /* 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 */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7544,7 +7421,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7612,13 +7488,11 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2405, /* Collection[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2411, /* Collection[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7632,12 +7506,12 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7665,7 +7539,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7727,6 +7600,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7734,23 +7608,13 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2526, /* AbstractArrayRead[POSetElement[MClassType]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2532, /* AbstractArrayRead[POSetElement[MType]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1954, /* NativeArray[nullable HashMapNode[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7760,6 +7624,26 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty, /* E: nullable HashMapNode[String, nullable MProperty] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__core__String__nullable__nitc__MProperty, /* NativeArray[E]: NativeArray[nullable HashMapNode[String, nullable MProperty]] */
+}
+};
+/* runtime type NativeArray[nullable MModule] */
+const struct type type_core__NativeArray__nullable__nitc__MModule = {
+1955,
+"NativeArray[nullable MModule]", /* class_name_string */
+84,
+0,
+&resolution_table_core__NativeArray__nullable__nitc__MModule,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7786,7 +7670,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7843,6 +7726,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1955, /* NativeArray[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7855,13 +7739,11 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2750, /* AbstractArray[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2756, /* AbstractArray[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7873,10 +7755,9 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7979,16 +7860,34 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1782, /* Array[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1864, /* Array[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__nitc__MModule = {
+0, /* dummy */
+{
+&type_nullable__nitc__MModule, /* E: nullable MModule */
+&type_core__NativeArray__nullable__nitc__MModule, /* NativeArray[E]: NativeArray[nullable MModule] */
+}
+};
+/* runtime type ArrayIterator[nullable MModule] */
+const struct type type_core__array__ArrayIterator__nullable__nitc__MModule = {
+-1, /*CAST DEAD*/
+"ArrayIterator[nullable MModule]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nullable__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8000,58 +7899,53 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClassType = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__MClassType = {
+const struct types resolution_table_core__array__ArrayIterator__nullable__nitc__MModule = {
 0, /* dummy */
 {
-&type_poset__POSetElement__nit__MClassType, /* E: POSetElement[MClassType] */
-&type_standard__Array__poset__POSetElement__nit__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
-&type_standard__Collection__poset__POSetElement__nit__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
-&type_standard__Array__poset__POSetElement__nit__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
-&type_standard__NativeArray__poset__POSetElement__nit__MClassType, /* NativeArray[E]: NativeArray[POSetElement[MClassType]] */
-&type_poset__POSetElement__nit__MClassType, /* E: POSetElement[MClassType] */
-&type_standard__Collection__poset__POSetElement__nit__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
-&type_poset__POSetElement__nit__MClassType, /* E: POSetElement[MClassType] */
-&type_standard__Collection__poset__POSetElement__nit__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
-&type_standard__Collection__poset__POSetElement__nit__MClassType, /* Collection[E]: Collection[POSetElement[MClassType]] */
-&type_standard__Array__poset__POSetElement__nit__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__MClassType, /* AbstractArray[E]: AbstractArray[POSetElement[MClassType]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__MClassType, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClassType]] */
+&type_core__Array__nullable__nitc__MModule, /* Array[E]: Array[nullable MModule] */
+&type_core__AbstractArrayRead__nullable__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MModule] */
 }
 };
-/* runtime type MapValuesIterator[MClassType, POSetElement[MClassType]] */
-const struct type type_standard__MapValuesIterator__nit__MClassType__poset__POSetElement__nit__MClassType = {
+/* runtime type ArrayReverseIterator[nullable MModule] */
+const struct type type_core__array__ArrayReverseIterator__nullable__nitc__MModule = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[MClassType, POSetElement[MClassType]]", /* class_name_string */
+"ArrayReverseIterator[nullable MModule]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__nit__MClassType__poset__POSetElement__nit__MClassType,
-5,
+&resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MModule,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapValuesIterator__nit__MClassType__poset__POSetElement__nit__MClassType = {
+const struct types resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__Array__poset__POSetElement__nit__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
-&type_standard__MapIterator__nit__MClassType__poset__POSetElement__nit__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, POSetElement[MClassType]] */
+&type_core__Array__nullable__nitc__MModule, /* Array[E]: Array[nullable MModule] */
+&type_core__AbstractArrayRead__nullable__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MModule] */
 }
 };
-/* runtime type HashMapKeys[MClassType, Set[MClassType]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__standard__Set__nit__MClassType = {
--1, /*CAST DEAD*/
-"HashMapKeys[MClassType, Set[MClassType]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[nullable MGroup] */
+const struct type type_core__NativeArray__nullable__nitc__MGroup = {
+1958,
+"NativeArray[nullable MGroup]", /* class_name_string */
+85,
 0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MClassType__standard__Set__nit__MClassType,
-124,
+&resolution_table_core__NativeArray__nullable__nitc__MGroup,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8069,7 +7963,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2320, /* Collection[MClassType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8078,7 +7971,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2329, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8086,7 +7978,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8098,7 +7989,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2349, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8139,6 +8029,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1958, /* NativeArray[nullable MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8166,6 +8057,8 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8174,27 +8067,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MClassType__standard__Set__nit__MClassType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassType__standard__Set__nit__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
-&type_standard__Array__nit__MClassType, /* Array[E]: Array[MClassType] */
-&type_standard__MapKeysIterator__nit__MClassType__standard__Set__nit__MClassType, /* MapKeysIterator[K, V]: MapKeysIterator[MClassType, Set[MClassType]] */
-}
-};
-/* runtime type HashMapValues[MClassType, Set[MClassType]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MClassType__standard__Set__nit__MClassType = {
--1, /*CAST DEAD*/
-"HashMapValues[MClassType, Set[MClassType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MClassType__standard__Set__nit__MClassType,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8229,7 +8101,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8286,14 +8157,12 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2394, /* Collection[Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2401, /* Collection[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8301,6 +8170,28 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__nitc__MGroup = {
+0, /* dummy */
+{
+&type_nullable__nitc__MGroup, /* E: nullable MGroup */
+&type_core__NativeArray__nullable__nitc__MGroup, /* NativeArray[E]: NativeArray[nullable MGroup] */
+}
+};
+/* runtime type ArrayIterator[nullable MGroup] */
+const struct type type_core__array__ArrayIterator__nullable__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"ArrayIterator[nullable MGroup]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nullable__nitc__MGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8308,6 +8199,26 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassType
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nullable__nitc__MGroup = {
+0, /* dummy */
+{
+&type_core__Array__nullable__nitc__MGroup, /* Array[E]: Array[nullable MGroup] */
+&type_core__AbstractArrayRead__nullable__nitc__MGroup, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MGroup] */
+}
+};
+/* runtime type ArrayReverseIterator[nullable MGroup] */
+const struct type type_core__array__ArrayReverseIterator__nullable__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[nullable MGroup]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8319,25 +8230,24 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MClassType
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MClassType__standard__Set__nit__MClassType = {
+const struct types resolution_table_core__array__ArrayReverseIterator__nullable__nitc__MGroup = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MClassType__standard__Set__nit__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
-&type_standard__Array__standard__Set__nit__MClassType, /* Array[E]: Array[Set[MClassType]] */
-&type_standard__MapValuesIterator__nit__MClassType__standard__Set__nit__MClassType, /* MapValuesIterator[K, V]: MapValuesIterator[MClassType, Set[MClassType]] */
+&type_core__Array__nullable__nitc__MGroup, /* Array[E]: Array[nullable MGroup] */
+&type_core__AbstractArrayRead__nullable__nitc__MGroup, /* AbstractArrayRead[E]: AbstractArrayRead[nullable MGroup] */
 }
 };
-/* runtime type NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType = {
-1786,
-"NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]]", /* class_name_string */
-207,
+/* runtime type NativeArray[MModuleData[AAnnotation]] */
+const struct type type_core__NativeArray__nitc__MModuleData__nitc__AAnnotation = {
+1961,
+"NativeArray[MModuleData[AAnnotation]]", /* class_name_string */
+86,
 0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType,
-219,
+&resolution_table_core__NativeArray__nitc__MModuleData__nitc__AAnnotation,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8369,6 +8279,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8421,6 +8332,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1961, /* NativeArray[MModuleData[AAnnotation]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8447,6 +8359,13 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8538,12 +8457,10 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1741, /* NativeArray[nullable HashMapNode[MType, Set[MType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1786, /* NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8557,30 +8474,84 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType = {
+const struct types resolution_table_core__NativeArray__nitc__MModuleData__nitc__AAnnotation = {
 0, /* dummy */
 {
-&type_nullable__standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType, /* E: nullable HashMapNode[MClassType, Set[MClassType]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType, /* NativeArray[E]: NativeArray[nullable HashMapNode[MClassType, Set[MClassType]]] */
+&type_nitc__MModuleData__nitc__AAnnotation, /* E: MModuleData[AAnnotation] */
+&type_core__NativeArray__nitc__MModuleData__nitc__AAnnotation, /* NativeArray[E]: NativeArray[MModuleData[AAnnotation]] */
 }
 };
-/* runtime type HashMapIterator[MClassType, Set[MClassType]] */
-const struct type type_standard__HashMapIterator__nit__MClassType__standard__Set__nit__MClassType = {
+/* runtime type ArrayIterator[MModuleData[AAnnotation]] */
+const struct type type_core__array__ArrayIterator__nitc__MModuleData__nitc__AAnnotation = {
 -1, /*CAST DEAD*/
-"HashMapIterator[MClassType, Set[MClassType]]", /* class_name_string */
+"ArrayIterator[MModuleData[AAnnotation]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__MModuleData__nitc__AAnnotation,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__MModuleData__nitc__AAnnotation = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MModuleData__nitc__AAnnotation, /* Array[E]: Array[MModuleData[AAnnotation]] */
+&type_core__AbstractArrayRead__nitc__MModuleData__nitc__AAnnotation, /* AbstractArrayRead[E]: AbstractArrayRead[MModuleData[AAnnotation]] */
+}
+};
+/* runtime type ArrayReverseIterator[MModuleData[AAnnotation]] */
+const struct type type_core__array__ArrayReverseIterator__nitc__MModuleData__nitc__AAnnotation = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[MModuleData[AAnnotation]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__HashMapIterator__nit__MClassType__standard__Set__nit__MClassType,
-77,
+&resolution_table_core__array__ArrayReverseIterator__nitc__MModuleData__nitc__AAnnotation,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__MModuleData__nitc__AAnnotation = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MModuleData__nitc__AAnnotation, /* Array[E]: Array[MModuleData[AAnnotation]] */
+&type_core__AbstractArrayRead__nitc__MModuleData__nitc__AAnnotation, /* AbstractArrayRead[E]: AbstractArrayRead[MModuleData[AAnnotation]] */
+}
+};
+/* runtime type NativeArray[Set[MProperty]] */
+const struct type type_core__NativeArray__core__Set__nitc__MProperty = {
+1964,
+"NativeArray[Set[MProperty]]", /* class_name_string */
+87,
+0,
+&resolution_table_core__NativeArray__core__Set__nitc__MProperty,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8610,6 +8581,7 @@ const struct type type_standard__HashMapIterator__nit__MClassType__standard__Set
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8635,11 +8607,9 @@ const struct type type_standard__HashMapIterator__nit__MClassType__standard__Set
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2606, /* MapIterator[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2610, /* MapIterator[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8650,25 +8620,6 @@ const struct type type_standard__HashMapIterator__nit__MClassType__standard__Set
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MClassType__standard__Set__nit__MClassType = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MClassType__standard__Set__nit__MClassType, /* HashMap[K, V]: HashMap[MClassType, Set[MClassType]] */
-}
-};
-/* runtime type HashMapNode[MClassType, Set[MClassType]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType = {
-1788,
-"HashMapNode[MClassType, Set[MClassType]]", /* class_name_string */
-137,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8684,6 +8635,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1964, /* NativeArray[Set[MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8695,6 +8647,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2043, /* NativeArray[Set[PropertyLayoutElement]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8708,6 +8661,16 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[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 */
@@ -8727,11 +8690,9 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2289, /* nullable HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2294, /* nullable HashMapNode[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8800,11 +8761,9 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1743, /* HashMapNode[MType, Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1788, /* HashMapNode[MClassType, Set[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8817,25 +8776,25 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MClassType__
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MClassType__standard__Set__nit__MClassType = {
+const struct types resolution_table_core__NativeArray__core__Set__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Set__nit__MClassType, /* V: Set[MClassType] */
-&type_nit__MClassType, /* K: MClassType */
+&type_core__Set__nitc__MProperty, /* E: Set[MProperty] */
+&type_core__NativeArray__core__Set__nitc__MProperty, /* NativeArray[E]: NativeArray[Set[MProperty]] */
 }
 };
-/* runtime type NativeArray[Array[MClass]] */
-const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
-1789,
-"NativeArray[Array[MClass]]", /* class_name_string */
-78,
+/* runtime type ArrayIterator[Set[MProperty]] */
+const struct type type_core__array__ArrayIterator__core__Set__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayIterator[Set[MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__standard__Array__nit__MClass,
-219,
+&resolution_table_core__array__ArrayIterator__core__Set__nitc__MProperty,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8844,6 +8803,27 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Set__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MProperty, /* Array[E]: Array[Set[MProperty]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MProperty]] */
+}
+};
+/* runtime type ArrayReverseIterator[Set[MProperty]] */
+const struct type type_core__array__ArrayReverseIterator__core__Set__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Set[MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8852,13 +8832,55 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MProperty, /* Array[E]: Array[Set[MProperty]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MProperty]] */
+}
+};
+/* runtime type MapKeysIterator[MGroup, POSetElement[MGroup]] */
+const struct type type_core__MapKeysIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MGroup, POSetElement[MGroup]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2830, /* Iterator[MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MGroup, /* Array[E]: Array[MGroup] */
+&type_core__MapIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup, /* MapIterator[K, V]: MapIterator[MGroup, POSetElement[MGroup]] */
+}
+};
+/* runtime type Array[POSetElement[MGroup]] */
+const struct type type_core__Array__poset__POSetElement__nitc__MGroup = {
+1968,
+"Array[POSetElement[MGroup]]", /* class_name_string */
+493,
+0,
+&resolution_table_core__Array__poset__POSetElement__nitc__MGroup,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8867,7 +8889,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8894,6 +8915,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8911,7 +8933,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1789, /* NativeArray[Array[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8930,7 +8951,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1890, /* NativeArray[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8941,7 +8961,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1953, /* NativeArray[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8970,9 +8989,11 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2507, /* Collection[POSetElement[MGroup]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8987,6 +9008,8 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9019,6 +9042,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9052,53 +9076,12 @@ const struct type type_standard__NativeArray__standard__Array__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Array__nit__MClass = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* E: Array[MClass] */
-&type_standard__NativeArray__standard__Array__nit__MClass, /* NativeArray[E]: NativeArray[Array[MClass]] */
-}
-};
-/* runtime type ArrayIterator[Array[MClass]] */
-const struct type type_standard__array__ArrayIterator__standard__Array__nit__MClass = {
--1, /*CAST DEAD*/
-"ArrayIterator[Array[MClass]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Array__nit__MClass,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__standard__Array__nit__MClass = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nit__MClass, /* Array[E]: Array[Array[MClass]] */
-&type_standard__AbstractArrayRead__standard__Array__nit__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MClass]] */
-}
-};
-/* runtime type NativeArray[Array[MProperty]] */
-const struct type type_standard__NativeArray__standard__Array__nit__MProperty = {
-1791,
-"NativeArray[Array[MProperty]]", /* class_name_string */
-79,
-0,
-&resolution_table_standard__NativeArray__standard__Array__nit__MProperty,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9131,14 +9114,15 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2633, /* AbstractArrayRead[POSetElement[MGroup]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9176,7 +9160,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1791, /* NativeArray[Array[MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9185,8 +9168,8 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
-1841, /* NativeArray[Array[nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9205,7 +9188,6 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1953, /* NativeArray[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9262,9 +9244,11 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2957, /* AbstractArray[POSetElement[MGroup]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9279,6 +9263,7 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9316,76 +9301,14 @@ const struct type type_standard__NativeArray__standard__Array__nit__MProperty =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Array__nit__MProperty = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MProperty, /* E: Array[MProperty] */
-&type_standard__NativeArray__standard__Array__nit__MProperty, /* NativeArray[E]: NativeArray[Array[MProperty]] */
-}
-};
-/* runtime type ArrayIterator[Array[MProperty]] */
-const struct type type_standard__array__ArrayIterator__standard__Array__nit__MProperty = {
--1, /*CAST DEAD*/
-"ArrayIterator[Array[MProperty]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Array__nit__MProperty,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__array__ArrayIterator__standard__Array__nit__MProperty = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Array__nit__MProperty, /* Array[E]: Array[Array[MProperty]] */
-&type_standard__AbstractArrayRead__standard__Array__nit__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[Array[MProperty]] */
-}
-};
-/* runtime type MapKeysIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
-const struct type type_standard__MapKeysIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MModule, HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* MapIterator[K, V]: MapIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
-}
-};
-/* runtime type Array[HashMap2[MType, String, nullable MProperty]] */
-const struct type type_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
-1794,
-"Array[HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
-472,
-0,
-&resolution_table_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9420,7 +9343,6 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9450,6 +9372,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1968, /* Array[POSetElement[MGroup]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9466,6 +9389,40 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__MGroup = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MGroup, /* E: POSetElement[MGroup] */
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__Collection__poset__POSetElement__nitc__MGroup, /* Collection[E]: Collection[POSetElement[MGroup]] */
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MGroup, /* AbstractArray[E]: AbstractArray[POSetElement[MGroup]] */
+&type_core__NativeArray__poset__POSetElement__nitc__MGroup, /* NativeArray[E]: NativeArray[POSetElement[MGroup]] */
+&type_poset__POSetElement__nitc__MGroup, /* E: POSetElement[MGroup] */
+&type_core__Collection__poset__POSetElement__nitc__MGroup, /* Collection[E]: Collection[POSetElement[MGroup]] */
+&type_poset__POSetElement__nitc__MGroup, /* E: POSetElement[MGroup] */
+&type_core__Collection__poset__POSetElement__nitc__MGroup, /* Collection[E]: Collection[POSetElement[MGroup]] */
+&type_core__Collection__poset__POSetElement__nitc__MGroup, /* Collection[E]: Collection[POSetElement[MGroup]] */
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MGroup, /* AbstractArray[E]: AbstractArray[POSetElement[MGroup]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__MGroup, /* ArrayIterator[E]: ArrayIterator[POSetElement[MGroup]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MGroup, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[MGroup]] */
+}
+};
+/* runtime type MapValuesIterator[MGroup, POSetElement[MGroup]] */
+const struct type type_core__MapValuesIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MGroup, POSetElement[MGroup]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9474,13 +9431,55 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__MapIterator__nitc__MGroup__poset__POSetElement__nitc__MGroup, /* MapIterator[K, V]: MapIterator[MGroup, POSetElement[MGroup]] */
+}
+};
+/* runtime type HashSetIterator[MGroup] */
+const struct type type_core__hash_collection__HashSetIterator__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"HashSetIterator[MGroup]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashSetIterator__nitc__MGroup,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2830, /* Iterator[MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashSetIterator__nitc__MGroup = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MGroup, /* Array[E]: Array[MGroup] */
+&type_core__HashSet__nitc__MGroup, /* HashSet[E]: HashSet[MGroup] */
+}
+};
+/* runtime type HashSetNode[MGroup] */
+const struct type type_core__hash_collection__HashSetNode__nitc__MGroup = {
+1971,
+"HashSetNode[MGroup]", /* class_name_string */
+47,
+0,
+&resolution_table_core__hash_collection__HashSetNode__nitc__MGroup,
+48,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9489,9 +9488,9 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2406, /* Collection[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
+2757, /* nullable HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9503,17 +9502,18 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2818, /* nullable HashSetNode[MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1270, /* HashSetNode[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9525,6 +9525,27 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1971, /* HashSetNode[MGroup] */
+},
+};
+const struct types resolution_table_core__hash_collection__HashSetNode__nitc__MGroup = {
+0, /* dummy */
+{
+NULL, /* empty */
+&type_nitc__MGroup, /* K: MGroup */
+}
+};
+/* runtime type NativeArray[nullable HashSetNode[MGroup]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__MGroup = {
+1972,
+"NativeArray[nullable HashSetNode[MGroup]]", /* class_name_string */
+217,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__MGroup,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9541,7 +9562,6 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9611,7 +9631,6 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2527, /* AbstractArrayRead[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9638,6 +9657,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9662,7 +9682,6 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9681,6 +9700,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1271, /* NativeArray[nullable HashSetNode[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9732,7 +9752,6 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2751, /* AbstractArray[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9742,6 +9761,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1972, /* NativeArray[nullable HashSetNode[MGroup]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9750,9 +9770,27 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__MGroup = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashSetNode__nitc__MGroup, /* E: nullable HashSetNode[MGroup] */
+&type_core__NativeArray__nullable__core__hash_collection__HashSetNode__nitc__MGroup, /* NativeArray[E]: NativeArray[nullable HashSetNode[MGroup]] */
+}
+};
+/* runtime type HashMapKeys[MGroup, Set[MGroup]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MGroup__core__Set__nitc__MGroup = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MGroup, Set[MGroup]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MGroup__core__Set__nitc__MGroup,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9786,6 +9824,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9806,6 +9845,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2454, /* Collection[MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9834,6 +9874,7 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2483, /* Collection[nullable MGroup] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9856,12 +9897,12 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1794, /* Array[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9874,46 +9915,15 @@ const struct type type_standard__Array__more_collections__HashMap2__nit__MType__
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
-0, /* dummy */
-{
-&type_more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
-&type_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__Collection__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__NativeArray__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* NativeArray[E]: NativeArray[HashMap2[MType, String, nullable MProperty]] */
-&type_more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
-&type_standard__Collection__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
-&type_more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* E: HashMap2[MType, String, nullable MProperty] */
-&type_standard__Collection__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__Collection__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Collection[E]: Collection[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__AbstractArray__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* AbstractArray[E]: AbstractArray[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__array__ArrayIterator__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* ArrayIterator[E]: ArrayIterator[HashMap2[MType, String, nullable MProperty]] */
-}
-};
-/* runtime type MapValuesIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
-const struct type type_standard__MapValuesIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MModule, HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapValuesIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty = {
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MGroup__core__Set__nitc__MGroup = {
 0, /* dummy */
 {
-&type_standard__Array__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
-&type_standard__MapIterator__nit__MModule__more_collections__HashMap2__nit__MType__standard__String__nullable__nit__MProperty, /* MapIterator[K, V]: MapIterator[MModule, HashMap2[MType, String, nullable MProperty]] */
+&type_core__HashMap__nitc__MGroup__core__Set__nitc__MGroup, /* HashMap[K, V]: HashMap[MGroup, Set[MGroup]] */
+&type_core__Array__nitc__MGroup, /* Array[E]: Array[MGroup] */
+&type_core__MapKeysIterator__nitc__MGroup__core__Set__nitc__MGroup, /* MapKeysIterator[K, V]: MapKeysIterator[MGroup, Set[MGroup]] */
 }
 };