c_src: regenerate

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

diff --git a/c_src/nit__nith.types.19.c b/c_src/nitc__nith.types.21.c
similarity index 67%
rename from c_src/nit__nith.types.19.c
rename to c_src/nitc__nith.types.21.c
index 4009732..bbebec7 100644 (file)
--- a/c_src/nit__nith.types.19.c
+++ b/c_src/nitc__nith.types.21.c
@@ -1,15 +1,16 @@
-#include "nit__nith.types.0.h"
-/* runtime type Array[POSetElement[MType]] */
-const struct type type_standard__Array__poset__POSetElement__nit__MType = {
-1864,
-"Array[POSetElement[MType]]", /* class_name_string */
-477,
+#include "nitc__nith.types.0.h"
+/* runtime type ArrayIterator[Set[MAttribute]] */
+const struct type type_core__array__ArrayIterator__core__Set__nitc__MAttribute = {
+-1, /*CAST DEAD*/
+"ArrayIterator[Set[MAttribute]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__Array__poset__POSetElement__nit__MType,
-490,
+&resolution_table_core__array__ArrayIterator__core__Set__nitc__MAttribute,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -18,6 +19,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Set__nitc__MAttribute = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MAttribute, /* Array[E]: Array[Set[MAttribute]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MAttribute, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MAttribute]] */
+}
+};
+/* runtime type ArrayReverseIterator[Set[MAttribute]] */
+const struct type type_core__array__ArrayReverseIterator__core__Set__nitc__MAttribute = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Set[MAttribute]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MAttribute,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -26,6 +48,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MAttribute = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MAttribute, /* Array[E]: Array[Set[MAttribute]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MAttribute, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MAttribute]] */
+}
+};
+/* runtime type MapKeysIterator[PropertyLayoutElement, Int] */
+const struct type type_core__MapKeysIterator__nitc__PropertyLayoutElement__core__Int = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[PropertyLayoutElement, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__PropertyLayoutElement__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -34,6 +77,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__PropertyLayoutElement__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__nitc__PropertyLayoutElement, /* Array[E]: Array[PropertyLayoutElement] */
+&type_core__MapIterator__nitc__PropertyLayoutElement__core__Int, /* MapIterator[K, V]: MapIterator[PropertyLayoutElement, Int] */
+}
+};
+/* runtime type MapValuesIterator[PropertyLayoutElement, Int] */
+const struct type type_core__MapValuesIterator__nitc__PropertyLayoutElement__core__Int = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[PropertyLayoutElement, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__PropertyLayoutElement__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -42,15 +106,55 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__PropertyLayoutElement__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__Int, /* Array[E]: Array[Int] */
+&type_core__MapIterator__nitc__PropertyLayoutElement__core__Int, /* MapIterator[K, V]: MapIterator[PropertyLayoutElement, Int] */
+}
+};
+/* runtime type MapKeysIterator[MClass, HashSet[Int]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__core__HashSet__core__Int = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, HashSet[Int]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__core__HashSet__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__core__HashSet__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__core__HashSet__core__Int, /* MapIterator[K, V]: MapIterator[MClass, HashSet[Int]] */
+}
+};
+/* runtime type Array[HashSet[Int]] */
+const struct type type_core__Array__core__HashSet__core__Int = {
+2052,
+"Array[HashSet[Int]]", /* class_name_string */
+498,
+0,
+&resolution_table_core__Array__core__HashSet__core__Int,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -85,6 +189,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -118,7 +223,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2411, /* Collection[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -132,7 +236,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -164,8 +267,9 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
+2513, /* Collection[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -178,6 +282,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -210,6 +316,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -240,7 +347,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2532, /* AbstractArrayRead[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -286,12 +392,13 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
+2639, /* AbstractArrayRead[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -335,6 +442,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -361,7 +469,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2756, /* AbstractArray[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -375,8 +482,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -417,6 +522,25 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
+-1, /* empty */
+2963, /* AbstractArray[HashSet[Int]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+228, /* Array[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -485,7 +609,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1864, /* Array[POSetElement[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -498,60 +621,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__MType = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MType, /* E: POSetElement[MType] */
-&type_standard__Array__poset__POSetElement__nit__MType, /* Array[E]: Array[POSetElement[MType]] */
-&type_standard__Collection__poset__POSetElement__nit__MType, /* Collection[E]: Collection[POSetElement[MType]] */
-&type_standard__Array__poset__POSetElement__nit__MType, /* Array[E]: Array[POSetElement[MType]] */
-&type_standard__NativeArray__poset__POSetElement__nit__MType, /* NativeArray[E]: NativeArray[POSetElement[MType]] */
-&type_poset__POSetElement__nit__MType, /* E: POSetElement[MType] */
-&type_standard__Collection__poset__POSetElement__nit__MType, /* Collection[E]: Collection[POSetElement[MType]] */
-&type_poset__POSetElement__nit__MType, /* E: POSetElement[MType] */
-&type_standard__Collection__poset__POSetElement__nit__MType, /* Collection[E]: Collection[POSetElement[MType]] */
-&type_standard__Collection__poset__POSetElement__nit__MType, /* Collection[E]: Collection[POSetElement[MType]] */
-&type_standard__Array__poset__POSetElement__nit__MType, /* Array[E]: Array[POSetElement[MType]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__MType, /* AbstractArray[E]: AbstractArray[POSetElement[MType]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__MType, /* ArrayIterator[E]: ArrayIterator[POSetElement[MType]] */
-}
-};
-/* runtime type MapValuesIterator[MType, POSetElement[MType]] */
-const struct type type_standard__MapValuesIterator__nit__MType__poset__POSetElement__nit__MType = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MType, POSetElement[MType]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MType__poset__POSetElement__nit__MType,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MType__poset__POSetElement__nit__MType = {
-0, /* dummy */
-{
-&type_standard__Array__poset__POSetElement__nit__MType, /* Array[E]: Array[POSetElement[MType]] */
-&type_standard__MapIterator__nit__MType__poset__POSetElement__nit__MType, /* MapIterator[K, V]: MapIterator[MType, POSetElement[MType]] */
-}
-};
-/* runtime type HashMapKeys[MModule, HashMap[MType, Array[MMethodDef]]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MModule, HashMap[MType, Array[MMethodDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -561,7 +632,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -581,18 +651,52 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2052, /* Array[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__core__HashSet__core__Int = {
+0, /* dummy */
+{
+&type_core__HashSet__core__Int, /* E: HashSet[Int] */
+&type_core__Array__core__HashSet__core__Int, /* Array[E]: Array[HashSet[Int]] */
+&type_core__Collection__core__HashSet__core__Int, /* Collection[E]: Collection[HashSet[Int]] */
+&type_core__Array__core__HashSet__core__Int, /* Array[E]: Array[HashSet[Int]] */
+&type_core__AbstractArray__core__HashSet__core__Int, /* AbstractArray[E]: AbstractArray[HashSet[Int]] */
+&type_core__NativeArray__core__HashSet__core__Int, /* NativeArray[E]: NativeArray[HashSet[Int]] */
+&type_core__HashSet__core__Int, /* E: HashSet[Int] */
+&type_core__Collection__core__HashSet__core__Int, /* Collection[E]: Collection[HashSet[Int]] */
+&type_core__HashSet__core__Int, /* E: HashSet[Int] */
+&type_core__Collection__core__HashSet__core__Int, /* Collection[E]: Collection[HashSet[Int]] */
+&type_core__Collection__core__HashSet__core__Int, /* Collection[E]: Collection[HashSet[Int]] */
+&type_core__Array__core__HashSet__core__Int, /* Array[E]: Array[HashSet[Int]] */
+&type_core__AbstractArray__core__HashSet__core__Int, /* AbstractArray[E]: AbstractArray[HashSet[Int]] */
+&type_core__array__ArrayIterator__core__HashSet__core__Int, /* ArrayIterator[E]: ArrayIterator[HashSet[Int]] */
+&type_core__array__ArrayReverseIterator__core__HashSet__core__Int, /* ArrayReverseIterator[E]: ArrayReverseIterator[HashSet[Int]] */
+}
+};
+/* runtime type MapValuesIterator[MClass, HashSet[Int]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__core__HashSet__core__Int = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, HashSet[Int]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__core__HashSet__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -601,12 +705,56 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__core__HashSet__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__HashSet__core__Int, /* Array[E]: Array[HashSet[Int]] */
+&type_core__MapIterator__nitc__MClass__core__HashSet__core__Int, /* MapIterator[K, V]: MapIterator[MClass, HashSet[Int]] */
+}
+};
+/* runtime type MapKeysIterator[MAttribute, Int] */
+const struct type type_core__MapKeysIterator__nitc__MAttribute__core__Int = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MAttribute, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MAttribute__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
 -1, /* empty */
+2829, /* Iterator[MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MAttribute__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MAttribute, /* Array[E]: Array[MAttribute] */
+&type_core__MapIterator__nitc__MAttribute__core__Int, /* MapIterator[K, V]: MapIterator[MAttribute, Int] */
+}
+};
+/* runtime type MapValuesIterator[MAttribute, Int] */
+const struct type type_core__MapValuesIterator__nitc__MAttribute__core__Int = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MAttribute, Int]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MAttribute__core__Int,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -615,6 +763,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MAttribute__core__Int = {
+0, /* dummy */
+{
+&type_core__Array__core__Int, /* Array[E]: Array[Int] */
+&type_core__MapIterator__nitc__MAttribute__core__Int, /* MapIterator[K, V]: MapIterator[MAttribute, Int] */
+}
+};
+/* runtime type MapKeysIterator[MClass, POSetElement[MClass]] */
+const struct type type_core__MapKeysIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClass, POSetElement[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MClass__poset__POSetElement__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -623,6 +792,26 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClass, /* Array[E]: Array[MClass] */
+&type_core__MapIterator__nitc__MClass__poset__POSetElement__nitc__MClass, /* MapIterator[K, V]: MapIterator[MClass, POSetElement[MClass]] */
+}
+};
+/* runtime type Array[POSetElement[MClass]] */
+const struct type type_core__Array__poset__POSetElement__nitc__MClass = {
+2057,
+"Array[POSetElement[MClass]]", /* class_name_string */
+499,
+0,
+&resolution_table_core__Array__poset__POSetElement__nitc__MClass,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -657,6 +846,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -674,27 +864,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MMethodDef]]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapKeysIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, HashMap[MType, Array[MMethodDef]]] */
-}
-};
-/* runtime type HashMapValues[MModule, HashMap[MType, Array[MMethodDef]]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
--1, /*CAST DEAD*/
-"HashMapValues[MModule, HashMap[MType, Array[MMethodDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -729,7 +898,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -756,8 +924,10 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2514, /* Collection[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -769,6 +939,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -801,6 +973,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -811,33 +984,11 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2419, /* Collection[HashMap[MType, Array[MMethodDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MMethodDef]]] */
-&type_standard__Array__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* Array[E]: Array[HashMap[MType, Array[MMethodDef]]] */
-&type_standard__MapValuesIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, HashMap[MType, Array[MMethodDef]]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-1868,
-"NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]]]", /* class_name_string */
-213,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -902,8 +1053,10 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2640, /* AbstractArrayRead[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -946,6 +1099,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 */
@@ -1025,8 +1179,10 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
+2964, /* AbstractArray[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1038,6 +1194,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 */
@@ -1049,32 +1206,11 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1868, /* NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* E: nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]]] */
-}
-};
-/* runtime type HashMapIterator[MModule, HashMap[MType, Array[MMethodDef]]] */
-const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MModule, HashMap[MType, Array[MMethodDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1144,31 +1280,11 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMa
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2615, /* MapIterator[MModule, HashMap[MType, Array[MMethodDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MMethodDef]]] */
-}
-};
-/* runtime type HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-1870,
-"HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]]", /* class_name_string */
-142,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1193,6 +1309,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2057, /* Array[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1203,6 +1320,40 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__Array__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MClass, /* E: POSetElement[MClass] */
+&type_core__Array__poset__POSetElement__nitc__MClass, /* Array[E]: Array[POSetElement[MClass]] */
+&type_core__Collection__poset__POSetElement__nitc__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
+&type_core__Array__poset__POSetElement__nitc__MClass, /* Array[E]: Array[POSetElement[MClass]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClass, /* AbstractArray[E]: AbstractArray[POSetElement[MClass]] */
+&type_core__NativeArray__poset__POSetElement__nitc__MClass, /* NativeArray[E]: NativeArray[POSetElement[MClass]] */
+&type_poset__POSetElement__nitc__MClass, /* E: POSetElement[MClass] */
+&type_core__Collection__poset__POSetElement__nitc__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
+&type_poset__POSetElement__nitc__MClass, /* E: POSetElement[MClass] */
+&type_core__Collection__poset__POSetElement__nitc__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
+&type_core__Collection__poset__POSetElement__nitc__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
+&type_core__Array__poset__POSetElement__nitc__MClass, /* Array[E]: Array[POSetElement[MClass]] */
+&type_core__AbstractArray__poset__POSetElement__nitc__MClass, /* AbstractArray[E]: AbstractArray[POSetElement[MClass]] */
+&type_core__array__ArrayIterator__poset__POSetElement__nitc__MClass, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClass]] */
+&type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClass, /* ArrayReverseIterator[E]: ArrayReverseIterator[POSetElement[MClass]] */
+}
+};
+/* runtime type MapValuesIterator[MClass, POSetElement[MClass]] */
+const struct type type_core__MapValuesIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClass, POSetElement[MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClass__poset__POSetElement__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1211,6 +1362,26 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClass__poset__POSetElement__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MClass, /* Array[E]: Array[POSetElement[MClass]] */
+&type_core__MapIterator__nitc__MClass__poset__POSetElement__nitc__MClass, /* MapIterator[K, V]: MapIterator[MClass, POSetElement[MClass]] */
+}
+};
+/* runtime type NativeArray[Array[nullable MClass]] */
+const struct type type_core__NativeArray__core__Array__nullable__nitc__MClass = {
+2059,
+"NativeArray[Array[nullable MClass]]", /* class_name_string */
+101,
+0,
+&resolution_table_core__NativeArray__core__Array__nullable__nitc__MClass,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1236,13 +1407,13 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2300, /* nullable HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1309,32 +1480,12 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1870, /* HashMapNode[MModule, HashMap[MType, Array[MMethodDef]]] */
 -1, /* empty */
+2059, /* NativeArray[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* V: HashMap[MType, Array[MMethodDef]] */
-&type_nit__MModule, /* K: MModule */
-}
-};
-/* runtime type HashMapKeys[MType, Array[MMethodDef]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MMethodDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MType, Array[MMethodDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MMethodDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1342,6 +1493,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1361,7 +1513,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 */
@@ -1369,7 +1520,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 */
@@ -1381,7 +1531,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 */
@@ -1459,25 +1608,25 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MMethodDef = {
+const struct types resolution_table_core__NativeArray__core__Array__nullable__nitc__MClass = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MType, Array[MMethodDef]] */
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__MapKeysIterator__nit__MType__standard__Array__nit__MMethodDef, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Array[MMethodDef]] */
+&type_core__Array__nullable__nitc__MClass, /* E: Array[nullable MClass] */
+&type_core__NativeArray__core__Array__nullable__nitc__MClass, /* NativeArray[E]: NativeArray[Array[nullable MClass]] */
 }
 };
-/* runtime type HashMapValues[MType, Array[MMethodDef]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MMethodDef = {
+/* runtime type ArrayIterator[Array[nullable MClass]] */
+const struct type type_core__array__ArrayIterator__core__Array__nullable__nitc__MClass = {
 -1, /*CAST DEAD*/
-"HashMapValues[MType, Array[MMethodDef]]", /* class_name_string */
+"ArrayIterator[Array[nullable MClass]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MMethodDef,
-124,
+&resolution_table_core__array__ArrayIterator__core__Array__nullable__nitc__MClass,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1486,6 +1635,27 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__core__Array__nullable__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__AbstractArrayRead__core__Array__nullable__nitc__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[nullable MClass]] */
+}
+};
+/* runtime type ArrayReverseIterator[Array[nullable MClass]] */
+const struct type type_core__array__ArrayReverseIterator__core__Array__nullable__nitc__MClass = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Array[nullable MClass]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__core__Array__nullable__nitc__MClass,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1494,6 +1664,26 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Array__nullable__nitc__MClass = {
+0, /* dummy */
+{
+&type_core__Array__core__Array__nullable__nitc__MClass, /* Array[E]: Array[Array[nullable MClass]] */
+&type_core__AbstractArrayRead__core__Array__nullable__nitc__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[nullable MClass]] */
+}
+};
+/* runtime type NativeArray[EscapeMark] */
+const struct type type_core__NativeArray__nitc__EscapeMark = {
+2062,
+"NativeArray[EscapeMark]", /* class_name_string */
+102,
+0,
+&resolution_table_core__NativeArray__nitc__EscapeMark,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1512,7 +1702,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1526,6 +1715,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1565,7 +1755,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2390, /* Collection[Array[nullable MPropDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1585,7 +1774,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1595,32 +1783,11 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2420, /* Collection[Array[MMethodDef]] */
 -1, /* empty */
+2062, /* NativeArray[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MType, Array[MMethodDef]] */
-&type_standard__Array__standard__Array__nit__MMethodDef, /* Array[E]: Array[Array[MMethodDef]] */
-&type_standard__MapValuesIterator__nit__MType__standard__Array__nit__MMethodDef, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Array[MMethodDef]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MType, Array[MMethodDef]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef = {
-1873,
-"NativeArray[nullable HashMapNode[MType, Array[MMethodDef]]]", /* class_name_string */
-214,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -1628,6 +1795,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 */
@@ -1740,347 +1908,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1635, /* NativeArray[nullable HashMapNode[Object, 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 */
-1873, /* NativeArray[nullable HashMapNode[MType, Array[MMethodDef]]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef, /* E: nullable HashMapNode[MType, Array[MMethodDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Array[MMethodDef]]] */
-}
-};
-/* runtime type HashMapIterator[MType, Array[MMethodDef]] */
-const struct type type_standard__HashMapIterator__nit__MType__standard__Array__nit__MMethodDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MType, Array[MMethodDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MMethodDef,
-77,
-{
-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 */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2599, /* MapIterator[Object, 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 */
-2616, /* MapIterator[MType, Array[MMethodDef]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 },
 };
-const struct types resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MMethodDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MMethodDef, /* HashMap[K, V]: HashMap[MType, Array[MMethodDef]] */
-}
-};
-/* runtime type HashMapNode[MType, Array[MMethodDef]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef = {
-1875,
-"HashMapNode[MType, Array[MMethodDef]]", /* class_name_string */
-143,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef,
-148,
-{
-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 */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-2282, /* nullable HashMapNode[Object, 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 */
-2301, /* nullable HashMapNode[MType, Array[MMethodDef]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-1637, /* HashMapNode[Object, Array[Object]] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+const struct types resolution_table_core__NativeArray__nitc__EscapeMark = {
+0, /* dummy */
+{
+&type_nitc__EscapeMark, /* E: EscapeMark */
+&type_core__NativeArray__nitc__EscapeMark, /* NativeArray[E]: NativeArray[EscapeMark] */
+}
+};
+/* runtime type ArrayIterator[EscapeMark] */
+const struct type type_core__array__ArrayIterator__nitc__EscapeMark = {
+-1, /*CAST DEAD*/
+"ArrayIterator[EscapeMark]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__nitc__EscapeMark,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2089,35 +1937,57 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__nitc__EscapeMark = {
+0, /* dummy */
+{
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__AbstractArrayRead__nitc__EscapeMark, /* AbstractArrayRead[E]: AbstractArrayRead[EscapeMark] */
+}
+};
+/* runtime type ArrayReverseIterator[EscapeMark] */
+const struct type type_core__array__ArrayReverseIterator__nitc__EscapeMark = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[EscapeMark]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__nitc__EscapeMark,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1875, /* HashMapNode[MType, Array[MMethodDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MMethodDef = {
+const struct types resolution_table_core__array__ArrayReverseIterator__nitc__EscapeMark = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MMethodDef, /* V: Array[MMethodDef] */
-&type_nit__MType, /* K: MType */
+&type_core__Array__nitc__EscapeMark, /* Array[E]: Array[EscapeMark] */
+&type_core__AbstractArrayRead__nitc__EscapeMark, /* AbstractArrayRead[E]: AbstractArrayRead[EscapeMark] */
 }
 };
-/* runtime type NativeArray[Set[PropertyLayoutElement]] */
-const struct type type_standard__NativeArray__standard__Set__nit__PropertyLayoutElement = {
-1876,
-"NativeArray[Set[PropertyLayoutElement]]", /* class_name_string */
-95,
+/* runtime type NativeArray[Set[MType]] */
+const struct type type_core__NativeArray__core__Set__nitc__MType = {
+2065,
+"NativeArray[Set[MType]]", /* class_name_string */
+103,
 0,
-&resolution_table_standard__NativeArray__standard__Set__nit__PropertyLayoutElement,
-219,
+&resolution_table_core__NativeArray__core__Set__nitc__MType,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2147,10 +2017,10 @@ const struct type type_standard__NativeArray__standard__Set__nit__PropertyLayout
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2211,13 +2081,13 @@ const struct type type_standard__NativeArray__standard__Set__nit__PropertyLayout
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1876, /* NativeArray[Set[PropertyLayoutElement]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2065, /* NativeArray[Set[MType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2227,6 +2097,11 @@ const struct type type_standard__NativeArray__standard__Set__nit__PropertyLayout
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2337,25 +2212,27 @@ const struct type type_standard__NativeArray__standard__Set__nit__PropertyLayout
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__standard__Set__nit__PropertyLayoutElement = {
+const struct types resolution_table_core__NativeArray__core__Set__nitc__MType = {
 0, /* dummy */
 {
-&type_standard__Set__nit__PropertyLayoutElement, /* E: Set[PropertyLayoutElement] */
-&type_standard__NativeArray__standard__Set__nit__PropertyLayoutElement, /* NativeArray[E]: NativeArray[Set[PropertyLayoutElement]] */
+&type_core__Set__nitc__MType, /* E: Set[MType] */
+&type_core__NativeArray__core__Set__nitc__MType, /* NativeArray[E]: NativeArray[Set[MType]] */
 }
 };
-/* runtime type ArrayIterator[Set[PropertyLayoutElement]] */
-const struct type type_standard__array__ArrayIterator__standard__Set__nit__PropertyLayoutElement = {
+/* runtime type ArrayIterator[Set[MType]] */
+const struct type type_core__array__ArrayIterator__core__Set__nitc__MType = {
 -1, /*CAST DEAD*/
-"ArrayIterator[Set[PropertyLayoutElement]]", /* class_name_string */
+"ArrayIterator[Set[MType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__standard__Set__nit__PropertyLayoutElement,
-9,
+&resolution_table_core__array__ArrayIterator__core__Set__nitc__MType,
+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 */
@@ -2364,38 +2241,25 @@ const struct type type_standard__array__ArrayIterator__standard__Set__nit__Prope
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__standard__Set__nit__PropertyLayoutElement = {
+const struct types resolution_table_core__array__ArrayIterator__core__Set__nitc__MType = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Set__nit__PropertyLayoutElement, /* Array[E]: Array[Set[PropertyLayoutElement]] */
-&type_standard__AbstractArrayRead__standard__Set__nit__PropertyLayoutElement, /* AbstractArrayRead[E]: AbstractArrayRead[Set[PropertyLayoutElement]] */
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MType, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MType]] */
 }
 };
-/* runtime type NativeArray[Set[MAttribute]] */
-const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
-1878,
-"NativeArray[Set[MAttribute]]", /* class_name_string */
-96,
+/* runtime type ArrayReverseIterator[Set[MType]] */
+const struct type type_core__array__ArrayReverseIterator__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__standard__Set__nit__MAttribute,
-219,
+&resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MType,
+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 */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2404,25 +2268,56 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__AbstractArrayRead__core__Set__nitc__MType, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MType]] */
+}
+};
+/* runtime type MapKeysIterator[MType, Set[MType]] */
+const struct type type_core__MapKeysIterator__nitc__MType__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MType, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MType__core__Set__nitc__MType,
+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 */
--1, /* empty */
--1, /* empty */
--1, /* empty */
-651, /* NativeArray[Object] */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
+},
+};
+const struct types resolution_table_core__MapKeysIterator__nitc__MType__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapIterator__nitc__MType__core__Set__nitc__MType, /* MapIterator[K, V]: MapIterator[MType, Set[MType]] */
+}
+};
+/* runtime type MapValuesIterator[MType, Set[MType]] */
+const struct type type_core__MapValuesIterator__nitc__MType__core__Set__nitc__MType = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MType, Set[MType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MType__core__Set__nitc__MType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2431,6 +2326,26 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MType__core__Set__nitc__MType = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MType, /* Array[E]: Array[Set[MType]] */
+&type_core__MapIterator__nitc__MType__core__Set__nitc__MType, /* MapIterator[K, V]: MapIterator[MType, Set[MType]] */
+}
+};
+/* runtime type HashMapKeys[MModule, HashMap[MType, Array[MAttributeDef]]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2440,6 +2355,7 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2463,8 +2379,8 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1812, /* NativeArray[Set[MProperty]] */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2475,8 +2391,6 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1876, /* NativeArray[Set[PropertyLayoutElement]] */
-1878, /* NativeArray[Set[MAttribute]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2515,6 +2429,7 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2543,6 +2458,7 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2557,6 +2473,27 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapKeysIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+}
+};
+/* runtime type HashMapValues[MModule, HashMap[MType, Array[MAttributeDef]]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapValues[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2591,6 +2528,7 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2599,122 +2537,18 @@ const struct type type_standard__NativeArray__standard__Set__nit__MAttribute = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Set__nit__MAttribute = {
-0, /* dummy */
-{
-&type_standard__Set__nit__MAttribute, /* E: Set[MAttribute] */
-&type_standard__NativeArray__standard__Set__nit__MAttribute, /* NativeArray[E]: NativeArray[Set[MAttribute]] */
-}
-};
-/* runtime type ArrayIterator[Set[MAttribute]] */
-const struct type type_standard__array__ArrayIterator__standard__Set__nit__MAttribute = {
--1, /*CAST DEAD*/
-"ArrayIterator[Set[MAttribute]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Set__nit__MAttribute,
-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__Set__nit__MAttribute = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Set__nit__MAttribute, /* Array[E]: Array[Set[MAttribute]] */
-&type_standard__AbstractArrayRead__standard__Set__nit__MAttribute, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MAttribute]] */
-}
-};
-/* runtime type MapKeysIterator[PropertyLayoutElement, Int] */
-const struct type type_standard__MapKeysIterator__nit__PropertyLayoutElement__standard__Int = {
--1, /*CAST DEAD*/
-"MapKeysIterator[PropertyLayoutElement, Int]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__PropertyLayoutElement__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__PropertyLayoutElement__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__nit__PropertyLayoutElement, /* Array[E]: Array[PropertyLayoutElement] */
-&type_standard__MapIterator__nit__PropertyLayoutElement__standard__Int, /* MapIterator[K, V]: MapIterator[PropertyLayoutElement, Int] */
-}
-};
-/* runtime type MapValuesIterator[PropertyLayoutElement, Int] */
-const struct type type_standard__MapValuesIterator__nit__PropertyLayoutElement__standard__Int = {
--1, /*CAST DEAD*/
-"MapValuesIterator[PropertyLayoutElement, Int]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__PropertyLayoutElement__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__PropertyLayoutElement__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__MapIterator__nit__PropertyLayoutElement__standard__Int, /* MapIterator[K, V]: MapIterator[PropertyLayoutElement, Int] */
-}
-};
-/* runtime type MapKeysIterator[MClass, HashSet[Int]] */
-const struct type type_standard__MapKeysIterator__nit__MClass__standard__HashSet__standard__Int = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClass, HashSet[Int]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClass__standard__HashSet__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClass__standard__HashSet__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapIterator__nit__MClass__standard__HashSet__standard__Int, /* MapIterator[K, V]: MapIterator[MClass, HashSet[Int]] */
-}
-};
-/* runtime type Array[HashSet[Int]] */
-const struct type type_standard__Array__standard__HashSet__standard__Int = {
-1883,
-"Array[HashSet[Int]]", /* class_name_string */
-478,
-0,
-&resolution_table_standard__Array__standard__HashSet__standard__Int,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2749,7 +2583,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2773,6 +2606,7 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2783,9 +2617,31 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2522, /* Collection[HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__Array__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* Array[E]: Array[HashMap[MType, Array[MAttributeDef]]] */
+&type_core__MapValuesIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+}
+};
+/* runtime type HashMapIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2824,7 +2680,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2412, /* Collection[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2837,12 +2692,12 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2860,9 +2715,29 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2725, /* MapIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
+}
+};
+/* runtime type HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+2073,
+"HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+148,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2870,7 +2745,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2917,6 +2791,7 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2934,6 +2809,7 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2823, /* nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2946,7 +2822,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2533, /* AbstractArrayRead[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -2991,7 +2866,7 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3009,9 +2884,30 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2073, /* HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* V: HashMap[MType, Array[MAttributeDef]] */
+&type_nitc__MModule, /* K: MModule */
+}
+};
+/* runtime type NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+2074,
+"NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]]", /* class_name_string */
+222,
+0,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3067,7 +2963,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2757, /* AbstractArray[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3080,8 +2975,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3126,6 +3019,7 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3191,7 +3085,6 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1883, /* Array[HashSet[Int]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3203,133 +3096,19 @@ const struct type type_standard__Array__standard__HashSet__standard__Int = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__HashSet__standard__Int = {
-0, /* dummy */
-{
-&type_standard__HashSet__standard__Int, /* E: HashSet[Int] */
-&type_standard__Array__standard__HashSet__standard__Int, /* Array[E]: Array[HashSet[Int]] */
-&type_standard__Collection__standard__HashSet__standard__Int, /* Collection[E]: Collection[HashSet[Int]] */
-&type_standard__Array__standard__HashSet__standard__Int, /* Array[E]: Array[HashSet[Int]] */
-&type_standard__NativeArray__standard__HashSet__standard__Int, /* NativeArray[E]: NativeArray[HashSet[Int]] */
-&type_standard__HashSet__standard__Int, /* E: HashSet[Int] */
-&type_standard__Collection__standard__HashSet__standard__Int, /* Collection[E]: Collection[HashSet[Int]] */
-&type_standard__HashSet__standard__Int, /* E: HashSet[Int] */
-&type_standard__Collection__standard__HashSet__standard__Int, /* Collection[E]: Collection[HashSet[Int]] */
-&type_standard__Collection__standard__HashSet__standard__Int, /* Collection[E]: Collection[HashSet[Int]] */
-&type_standard__Array__standard__HashSet__standard__Int, /* Array[E]: Array[HashSet[Int]] */
-&type_standard__AbstractArray__standard__HashSet__standard__Int, /* AbstractArray[E]: AbstractArray[HashSet[Int]] */
-&type_standard__array__ArrayIterator__standard__HashSet__standard__Int, /* ArrayIterator[E]: ArrayIterator[HashSet[Int]] */
-}
-};
-/* runtime type MapValuesIterator[MClass, HashSet[Int]] */
-const struct type type_standard__MapValuesIterator__nit__MClass__standard__HashSet__standard__Int = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClass, HashSet[Int]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClass__standard__HashSet__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MClass__standard__HashSet__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__standard__HashSet__standard__Int, /* Array[E]: Array[HashSet[Int]] */
-&type_standard__MapIterator__nit__MClass__standard__HashSet__standard__Int, /* MapIterator[K, V]: MapIterator[MClass, HashSet[Int]] */
-}
-};
-/* runtime type MapKeysIterator[MAttribute, Int] */
-const struct type type_standard__MapKeysIterator__nit__MAttribute__standard__Int = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MAttribute, Int]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MAttribute__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MAttribute__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MAttribute, /* Array[E]: Array[MAttribute] */
-&type_standard__MapIterator__nit__MAttribute__standard__Int, /* MapIterator[K, V]: MapIterator[MAttribute, Int] */
-}
-};
-/* runtime type MapValuesIterator[MAttribute, Int] */
-const struct type type_standard__MapValuesIterator__nit__MAttribute__standard__Int = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MAttribute, Int]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MAttribute__standard__Int,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__MAttribute__standard__Int = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Int, /* Array[E]: Array[Int] */
-&type_standard__MapIterator__nit__MAttribute__standard__Int, /* MapIterator[K, V]: MapIterator[MAttribute, Int] */
-}
-};
-/* runtime type MapKeysIterator[MClass, POSetElement[MClass]] */
-const struct type type_standard__MapKeysIterator__nit__MClass__poset__POSetElement__nit__MClass = {
--1, /*CAST DEAD*/
-"MapKeysIterator[MClass, POSetElement[MClass]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapKeysIterator__nit__MClass__poset__POSetElement__nit__MClass,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapKeysIterator__nit__MClass__poset__POSetElement__nit__MClass = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MClass, /* Array[E]: Array[MClass] */
-&type_standard__MapIterator__nit__MClass__poset__POSetElement__nit__MClass, /* MapIterator[K, V]: MapIterator[MClass, POSetElement[MClass]] */
-}
-};
-/* runtime type Array[POSetElement[MClass]] */
-const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
-1888,
-"Array[POSetElement[MClass]]", /* class_name_string */
-479,
-0,
-&resolution_table_standard__Array__poset__POSetElement__nit__MClass,
-490,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3349,6 +3128,31 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2074, /* NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* E: nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
+}
+};
+/* runtime type HashMapKeys[MType, Array[MAttributeDef]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapKeys[MType, Array[MAttributeDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MAttributeDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3360,7 +3164,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3375,6 +3178,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3382,6 +3186,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3392,6 +3197,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3436,7 +3242,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2413, /* Collection[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3448,7 +3253,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3460,6 +3264,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3474,6 +3279,27 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapKeysIterator__nitc__MType__core__Array__nitc__MAttributeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Array[MAttributeDef]] */
+}
+};
+/* runtime type HashMapValues[MType, Array[MAttributeDef]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapValues[MType, Array[MAttributeDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MAttributeDef,
+129,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3481,7 +3307,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3509,6 +3334,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3558,7 +3384,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2534, /* AbstractArrayRead[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3566,6 +3391,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2490, /* Collection[Array[nullable MPropDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3585,6 +3411,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2510, /* Collection[Array[Object]] */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3596,13 +3424,36 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2523, /* Collection[Array[MAttributeDef]] */
+-1, /* empty */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
+&type_core__Array__core__Array__nitc__MAttributeDef, /* Array[E]: Array[Array[MAttributeDef]] */
+&type_core__MapValuesIterator__nitc__MType__core__Array__nitc__MAttributeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Array[MAttributeDef]] */
+}
+};
+/* runtime type HashMapIterator[MType, Array[MAttributeDef]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MAttributeDef = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MType, Array[MAttributeDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MAttributeDef,
+79,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3651,6 +3502,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2706, /* MapIterator[Object, Array[Object]] */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3669,8 +3522,28 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2726, /* MapIterator[MType, Array[MAttributeDef]] */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MAttributeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Array__nitc__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
+}
+};
+/* runtime type HashMapNode[MType, Array[MAttributeDef]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef = {
+2078,
+"HashMapNode[MType, Array[MAttributeDef]]", /* class_name_string */
+149,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3679,7 +3552,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2758, /* AbstractArray[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3691,8 +3563,6 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3726,6 +3596,8 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2802, /* nullable HashMapNode[Object, Array[Object]] */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3744,6 +3616,7 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2824, /* nullable HashMapNode[MType, Array[MAttributeDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3798,12 +3671,13 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1751, /* HashMapNode[Object, Array[Object]] */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1888, /* Array[POSetElement[MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3814,61 +3688,32 @@ const struct type type_standard__Array__poset__POSetElement__nit__MClass = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__poset__POSetElement__nit__MClass = {
-0, /* dummy */
-{
-&type_poset__POSetElement__nit__MClass, /* E: POSetElement[MClass] */
-&type_standard__Array__poset__POSetElement__nit__MClass, /* Array[E]: Array[POSetElement[MClass]] */
-&type_standard__Collection__poset__POSetElement__nit__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
-&type_standard__Array__poset__POSetElement__nit__MClass, /* Array[E]: Array[POSetElement[MClass]] */
-&type_standard__NativeArray__poset__POSetElement__nit__MClass, /* NativeArray[E]: NativeArray[POSetElement[MClass]] */
-&type_poset__POSetElement__nit__MClass, /* E: POSetElement[MClass] */
-&type_standard__Collection__poset__POSetElement__nit__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
-&type_poset__POSetElement__nit__MClass, /* E: POSetElement[MClass] */
-&type_standard__Collection__poset__POSetElement__nit__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
-&type_standard__Collection__poset__POSetElement__nit__MClass, /* Collection[E]: Collection[POSetElement[MClass]] */
-&type_standard__Array__poset__POSetElement__nit__MClass, /* Array[E]: Array[POSetElement[MClass]] */
-&type_standard__AbstractArray__poset__POSetElement__nit__MClass, /* AbstractArray[E]: AbstractArray[POSetElement[MClass]] */
-&type_standard__array__ArrayIterator__poset__POSetElement__nit__MClass, /* ArrayIterator[E]: ArrayIterator[POSetElement[MClass]] */
-}
-};
-/* runtime type MapValuesIterator[MClass, POSetElement[MClass]] */
-const struct type type_standard__MapValuesIterator__nit__MClass__poset__POSetElement__nit__MClass = {
--1, /*CAST DEAD*/
-"MapValuesIterator[MClass, POSetElement[MClass]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__MClass__poset__POSetElement__nit__MClass,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2078, /* HashMapNode[MType, Array[MAttributeDef]] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapValuesIterator__nit__MClass__poset__POSetElement__nit__MClass = {
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef = {
 0, /* dummy */
 {
-&type_standard__Array__poset__POSetElement__nit__MClass, /* Array[E]: Array[POSetElement[MClass]] */
-&type_standard__MapIterator__nit__MClass__poset__POSetElement__nit__MClass, /* MapIterator[K, V]: MapIterator[MClass, POSetElement[MClass]] */
+&type_core__Array__nitc__MAttributeDef, /* V: Array[MAttributeDef] */
+&type_nitc__MType, /* K: MType */
 }
 };
-/* runtime type NativeArray[Array[nullable MClass]] */
-const struct type type_standard__NativeArray__standard__Array__nullable__nit__MClass = {
-1890,
-"NativeArray[Array[nullable MClass]]", /* class_name_string */
-97,
+/* runtime type NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef = {
+2079,
+"NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]]", /* class_name_string */
+223,
 0,
-&resolution_table_standard__NativeArray__standard__Array__nullable__nit__MClass,
-219,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3900,7 +3745,6 @@ const struct type type_standard__NativeArray__standard__Array__nullable__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3963,7 +3807,6 @@ const struct type type_standard__NativeArray__standard__Array__nullable__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1890, /* NativeArray[Array[nullable MClass]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -3982,6 +3825,7 @@ const struct type type_standard__NativeArray__standard__Array__nullable__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4069,6 +3913,8 @@ const struct type type_standard__NativeArray__standard__Array__nullable__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1752, /* NativeArray[nullable HashMapNode[Object, Array[Object]]] */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4085,53 +3931,33 @@ const struct type type_standard__NativeArray__standard__Array__nullable__nit__MC
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__standard__Array__nullable__nit__MClass = {
-0, /* dummy */
-{
-&type_standard__Array__nullable__nit__MClass, /* E: Array[nullable MClass] */
-&type_standard__NativeArray__standard__Array__nullable__nit__MClass, /* NativeArray[E]: NativeArray[Array[nullable MClass]] */
-}
-};
-/* runtime type ArrayIterator[Array[nullable MClass]] */
-const struct type type_standard__array__ArrayIterator__standard__Array__nullable__nit__MClass = {
--1, /*CAST DEAD*/
-"ArrayIterator[Array[nullable MClass]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__array__ArrayIterator__standard__Array__nullable__nit__MClass,
-9,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2079, /* NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__standard__Array__nullable__nit__MClass = {
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Array__nullable__nit__MClass, /* Array[E]: Array[Array[nullable MClass]] */
-&type_standard__AbstractArrayRead__standard__Array__nullable__nit__MClass, /* AbstractArrayRead[E]: AbstractArrayRead[Array[nullable MClass]] */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* E: nullable HashMapNode[MType, Array[MAttributeDef]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MAttributeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
 }
 };
-/* runtime type HashMapKeys[MModule, HashMap[MType, Array[MAttributeDef]]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+/* runtime type HashMapKeys[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 -1, /*CAST DEAD*/
-"HashMapKeys[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+"HashMapKeys[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef,
-124,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4141,7 +3967,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
+2408, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4166,7 +3992,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4215,6 +4041,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2482, /* Collection[nullable MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4243,6 +4070,10 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4256,25 +4087,26 @@ 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__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapKeysIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapKeysIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 }
 };
-/* runtime type HashMapValues[MModule, HashMap[MType, Array[MAttributeDef]]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+/* runtime type HashMapValues[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 -1, /*CAST DEAD*/
-"HashMapValues[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
+"HashMapValues[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef,
-124,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4308,8 +4140,8 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4386,6 +4218,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4393,31 +4226,37 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2421, /* Collection[HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2524, /* Collection[HashMap[MType, Array[MVirtualTypeDef]]] */
+-1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
-&type_standard__Array__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* Array[E]: Array[HashMap[MType, Array[MAttributeDef]]] */
-&type_standard__MapValuesIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__Array__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* Array[E]: Array[HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__MapValuesIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 }
 };
-/* runtime type NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
-1894,
-"NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]]", /* class_name_string */
-215,
+/* runtime type HashMapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef,
-219,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+79,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4470,6 +4309,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4489,6 +4329,28 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2727, /* MapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+-1, /* empty */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+}
+};
+/* runtime type HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+2083,
+"HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
+150,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4541,6 +4403,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4560,6 +4423,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2825, /* nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4614,6 +4478,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 */
@@ -4631,30 +4496,33 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1894, /* NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
 -1, /* empty */
 -1, /* empty */
+2083, /* HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* E: nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]] */
+&type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* V: HashMap[MType, Array[MVirtualTypeDef]] */
+&type_nitc__MModule, /* K: MModule */
 }
 };
-/* runtime type HashMapIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
-const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+2084,
+"NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]]", /* class_name_string */
+224,
 0,
-&resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef,
-77,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4726,29 +4594,9 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMa
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2617, /* MapIterator[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MAttributeDef]]] */
-}
-};
-/* runtime type HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
-1896,
-"HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]]", /* class_name_string */
-144,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4783,6 +4631,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4818,7 +4667,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2302, /* nullable HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4872,6 +4720,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4891,30 +4740,30 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1896, /* HashMapNode[MModule, HashMap[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
+2084, /* NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* V: HashMap[MType, Array[MAttributeDef]] */
-&type_nit__MModule, /* K: MModule */
+&type_nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* E: nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MModule__core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
 }
 };
-/* runtime type HashMapKeys[MType, Array[MAttributeDef]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MAttributeDef = {
+/* runtime type HashMapKeys[MType, Array[MVirtualTypeDef]] */
+const struct type type_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 -1, /*CAST DEAD*/
-"HashMapKeys[MType, Array[MAttributeDef]]", /* class_name_string */
+"HashMapKeys[MType, Array[MVirtualTypeDef]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MAttributeDef,
-124,
+&resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4941,7 +4790,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2329, /* Collection[MType] */
+2425, /* Collection[MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4949,7 +4798,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -4960,8 +4809,8 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2444, /* Collection[nullable MType] */
 -1, /* empty */
-2349, /* Collection[nullable MType] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5027,6 +4876,11 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5039,25 +4893,25 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapKeys__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__MapKeysIterator__nit__MType__standard__Array__nit__MAttributeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Array[MAttributeDef]] */
+&type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapKeysIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Array[MVirtualTypeDef]] */
 }
 };
-/* runtime type HashMapValues[MType, Array[MAttributeDef]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MAttributeDef = {
+/* runtime type HashMapValues[MType, Array[MVirtualTypeDef]] */
+const struct type type_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 -1, /*CAST DEAD*/
-"HashMapValues[MType, Array[MAttributeDef]]", /* class_name_string */
+"HashMapValues[MType, Array[MVirtualTypeDef]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MAttributeDef,
-124,
+&resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+129,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5092,7 +4946,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5145,11 +4999,11 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2390, /* Collection[Array[nullable MPropDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2490, /* Collection[Array[nullable MPropDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5165,11 +5019,12 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2510, /* Collection[Array[Object]] */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5177,30 +5032,36 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2422, /* Collection[Array[MAttributeDef]] */
 -1, /* empty */
 -1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2525, /* Collection[Array[MVirtualTypeDef]] */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapValues__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
-&type_standard__Array__standard__Array__nit__MAttributeDef, /* Array[E]: Array[Array[MAttributeDef]] */
-&type_standard__MapValuesIterator__nit__MType__standard__Array__nit__MAttributeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Array[MAttributeDef]] */
+&type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
+&type_core__Array__core__Array__nitc__MVirtualTypeDef, /* Array[E]: Array[Array[MVirtualTypeDef]] */
+&type_core__MapValuesIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Array[MVirtualTypeDef]] */
 }
 };
-/* runtime type NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef = {
-1899,
-"NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]]", /* class_name_string */
-216,
+/* runtime type HashMapIterator[MType, Array[MVirtualTypeDef]] */
+const struct type type_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+-1, /*CAST DEAD*/
+"HashMapIterator[MType, Array[MVirtualTypeDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef,
-219,
+&resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+79,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5253,6 +5114,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2706, /* MapIterator[Object, Array[Object]] */
+2707, /* MapIterator[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5273,6 +5136,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2728, /* MapIterator[MType, Array[MVirtualTypeDef]] */
+},
+};
+const struct types resolution_table_core__hash_collection__HashMapIterator__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_core__HashMap__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
+}
+};
+/* runtime type HashMapNode[MType, Array[MVirtualTypeDef]] */
+const struct type type_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+2088,
+"HashMapNode[MType, Array[MVirtualTypeDef]]", /* class_name_string */
+151,
+0,
+&resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+152,
+{
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5324,6 +5208,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2802, /* nullable HashMapNode[Object, Array[Object]] */
+2803, /* nullable HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5344,6 +5230,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2826, /* nullable HashMapNode[MType, Array[MVirtualTypeDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5394,9 +5281,10 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1635, /* NativeArray[nullable HashMapNode[Object, Array[Object]]] */
 -1, /* empty */
 -1, /* empty */
+1751, /* HashMapNode[Object, Array[Object]] */
+1756, /* HashMapNode[Object, nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5415,40 +5303,29 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1899, /* NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
 -1, /* empty */
 -1, /* empty */
+2088, /* HashMapNode[MType, Array[MVirtualTypeDef]] */
 },
 };
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef = {
+const struct types resolution_table_core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
 0, /* dummy */
 {
-&type_nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef, /* E: nullable HashMapNode[MType, Array[MAttributeDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Array[MAttributeDef]]] */
+&type_core__Array__nitc__MVirtualTypeDef, /* V: Array[MVirtualTypeDef] */
+&type_nitc__MType, /* K: MType */
 }
 };
-/* runtime type HashMapIterator[MType, Array[MAttributeDef]] */
-const struct type type_standard__HashMapIterator__nit__MType__standard__Array__nit__MAttributeDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MType, Array[MAttributeDef]]", /* class_name_string */
--1, /*CAST DEAD*/
+/* runtime type NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
+const struct type type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+2089,
+"NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
+225,
 0,
-&resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MAttributeDef,
-77,
+&resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef,
+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 */
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5491,48 +5368,6 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Array__n
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2599, /* MapIterator[Object, 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 */
-2618, /* MapIterator[MType, Array[MAttributeDef]] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MAttributeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MAttributeDef, /* HashMap[K, V]: HashMap[MType, Array[MAttributeDef]] */
-}
-};
-/* runtime type HashMapNode[MType, Array[MAttributeDef]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef = {
-1901,
-"HashMapNode[MType, Array[MAttributeDef]]", /* class_name_string */
-145,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5583,7 +5418,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2282, /* nullable HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5602,8 +5436,8 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2303, /* nullable HashMapNode[MType, Array[MAttributeDef]] */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5656,7 +5490,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1637, /* HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5675,31 +5508,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1901, /* HashMapNode[MType, Array[MAttributeDef]] */
--1, /* empty */
--1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MAttributeDef = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MAttributeDef, /* V: Array[MAttributeDef] */
-&type_nit__MType, /* K: MType */
-}
-};
-/* runtime type HashMapKeys[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5707,7 +5515,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2312, /* Collection[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5718,6 +5525,8 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1752, /* NativeArray[nullable HashMapNode[Object, Array[Object]]] */
+1757, /* NativeArray[nullable HashMapNode[Object, nullable Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5732,19 +5541,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 */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
--1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5753,6 +5549,27 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2089, /* NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
+},
+};
+const struct types resolution_table_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef = {
+0, /* dummy */
+{
+&type_nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* E: nullable HashMapNode[MType, Array[MVirtualTypeDef]] */
+&type_core__NativeArray__nullable__core__hash_collection__HashMapNode__nitc__MType__core__Array__nitc__MVirtualTypeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
+}
+};
+/* runtime type NativeArray[POSetElement[Phase]] */
+const struct type type_core__NativeArray__poset__POSetElement__nitc__Phase = {
+2090,
+"NativeArray[POSetElement[Phase]]", /* class_name_string */
+104,
+0,
+&resolution_table_core__NativeArray__poset__POSetElement__nitc__Phase,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5784,6 +5601,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5820,27 +5638,6 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapKeysIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-}
-};
-/* runtime type HashMapValues[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
--1, /*CAST DEAD*/
-"HashMapValues[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5875,7 +5672,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
+2090, /* NativeArray[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5884,6 +5681,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -5961,29 +5759,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MModule__s
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2423, /* Collection[HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-&type_standard__Array__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* Array[E]: Array[HashMap[MType, Array[MVirtualTypeDef]]] */
-&type_standard__MapValuesIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-1904,
-"NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]]", /* class_name_string */
-217,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6018,6 +5794,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__poset__POSetElement__nitc__Phase = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__Phase, /* E: POSetElement[Phase] */
+&type_core__NativeArray__poset__POSetElement__nitc__Phase, /* NativeArray[E]: NativeArray[POSetElement[Phase]] */
+}
+};
+/* runtime type ArrayIterator[POSetElement[Phase]] */
+const struct type type_core__array__ArrayIterator__poset__POSetElement__nitc__Phase = {
+-1, /*CAST DEAD*/
+"ArrayIterator[POSetElement[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6026,6 +5823,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__poset__POSetElement__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__Phase, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[Phase]] */
+}
+};
+/* runtime type ArrayReverseIterator[POSetElement[Phase]] */
+const struct type type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__Phase = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[POSetElement[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6034,6 +5852,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__Phase, /* Array[E]: Array[POSetElement[Phase]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__Phase, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[Phase]] */
+}
+};
+/* runtime type MapKeysIterator[Phase, Set[Phase]] */
+const struct type type_core__MapKeysIterator__nitc__Phase__core__Set__nitc__Phase = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[Phase, Set[Phase]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__Phase__core__Set__nitc__Phase,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6042,6 +5881,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__Phase__core__Set__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__nitc__Phase, /* Array[E]: Array[Phase] */
+&type_core__MapIterator__nitc__Phase__core__Set__nitc__Phase, /* MapIterator[K, V]: MapIterator[Phase, Set[Phase]] */
+}
+};
+/* runtime type Array[Set[Phase]] */
+const struct type type_core__Array__core__Set__nitc__Phase = {
+2094,
+"Array[Set[Phase]]", /* class_name_string */
+500,
+0,
+&resolution_table_core__Array__core__Set__nitc__Phase,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6076,6 +5935,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 */
@@ -6153,9 +6013,11 @@ 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 */
+2515, /* Collection[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6166,6 +6028,8 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6198,29 +6062,9 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
-1904, /* NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* E: nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]] */
-}
-};
-/* runtime type HashMapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6294,33 +6138,15 @@ const struct type type_standard__HashMapIterator__nit__MModule__standard__HashMa
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2619, /* MapIterator[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-}
-};
-/* runtime type HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-1906,
-"HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
-146,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2641, /* AbstractArrayRead[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6362,6 +6188,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6386,7 +6213,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2304, /* nullable HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6442,9 +6268,11 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2965, /* AbstractArray[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6455,32 +6283,12 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MModule__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1906, /* HashMapNode[MModule, HashMap[MType, Array[MVirtualTypeDef]]] */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MModule__standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* V: HashMap[MType, Array[MVirtualTypeDef]] */
-&type_nit__MModule, /* K: MModule */
-}
-};
-/* runtime type HashMapKeys[MType, Array[MVirtualTypeDef]] */
-const struct type type_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MVirtualTypeDef = {
--1, /*CAST DEAD*/
-"HashMapKeys[MType, Array[MVirtualTypeDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MVirtualTypeDef,
-124,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6507,7 +6315,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 */
@@ -6515,7 +6322,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 */
@@ -6527,7 +6333,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 */
@@ -6594,6 +6399,7 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2094, /* Array[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6605,41 +6411,38 @@ const struct type type_standard__hash_collection__HashMapKeys__nit__MType__stand
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__hash_collection__HashMapKeys__nit__MType__standard__Array__nit__MVirtualTypeDef = {
+const struct types resolution_table_core__Array__core__Set__nitc__Phase = {
 0, /* dummy */
 {
-&type_standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__MapKeysIterator__nit__MType__standard__Array__nit__MVirtualTypeDef, /* MapKeysIterator[K, V]: MapKeysIterator[MType, Array[MVirtualTypeDef]] */
+&type_core__Set__nitc__Phase, /* E: Set[Phase] */
+&type_core__Array__core__Set__nitc__Phase, /* Array[E]: Array[Set[Phase]] */
+&type_core__Collection__core__Set__nitc__Phase, /* Collection[E]: Collection[Set[Phase]] */
+&type_core__Array__core__Set__nitc__Phase, /* Array[E]: Array[Set[Phase]] */
+&type_core__AbstractArray__core__Set__nitc__Phase, /* AbstractArray[E]: AbstractArray[Set[Phase]] */
+&type_core__NativeArray__core__Set__nitc__Phase, /* NativeArray[E]: NativeArray[Set[Phase]] */
+&type_core__Set__nitc__Phase, /* E: Set[Phase] */
+&type_core__Collection__core__Set__nitc__Phase, /* Collection[E]: Collection[Set[Phase]] */
+&type_core__Set__nitc__Phase, /* E: Set[Phase] */
+&type_core__Collection__core__Set__nitc__Phase, /* Collection[E]: Collection[Set[Phase]] */
+&type_core__Collection__core__Set__nitc__Phase, /* Collection[E]: Collection[Set[Phase]] */
+&type_core__Array__core__Set__nitc__Phase, /* Array[E]: Array[Set[Phase]] */
+&type_core__AbstractArray__core__Set__nitc__Phase, /* AbstractArray[E]: AbstractArray[Set[Phase]] */
+&type_core__array__ArrayIterator__core__Set__nitc__Phase, /* ArrayIterator[E]: ArrayIterator[Set[Phase]] */
+&type_core__array__ArrayReverseIterator__core__Set__nitc__Phase, /* ArrayReverseIterator[E]: ArrayReverseIterator[Set[Phase]] */
 }
 };
-/* runtime type HashMapValues[MType, Array[MVirtualTypeDef]] */
-const struct type type_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MVirtualTypeDef = {
+/* runtime type MapValuesIterator[Phase, Set[Phase]] */
+const struct type type_core__MapValuesIterator__nitc__Phase__core__Set__nitc__Phase = {
 -1, /*CAST DEAD*/
-"HashMapValues[MType, Array[MVirtualTypeDef]]", /* class_name_string */
+"MapValuesIterator[Phase, Set[Phase]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MVirtualTypeDef,
-124,
+&resolution_table_core__MapValuesIterator__nitc__Phase__core__Set__nitc__Phase,
+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 */
--1, /* empty */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6648,6 +6451,26 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__Phase__core__Set__nitc__Phase = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__Phase, /* Array[E]: Array[Set[Phase]] */
+&type_core__MapIterator__nitc__Phase__core__Set__nitc__Phase, /* MapIterator[K, V]: MapIterator[Phase, Set[Phase]] */
+}
+};
+/* runtime type NativeArray[POSetElement[MModule]] */
+const struct type type_core__NativeArray__poset__POSetElement__nitc__MModule = {
+2096,
+"NativeArray[POSetElement[MModule]]", /* class_name_string */
+105,
+0,
+&resolution_table_core__NativeArray__poset__POSetElement__nitc__MModule,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6658,7 +6481,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6680,6 +6502,7 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6711,7 +6534,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2390, /* Collection[Array[nullable MPropDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6731,7 +6553,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2410, /* Collection[Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6745,28 +6566,6 @@ const struct type type_standard__hash_collection__HashMapValues__nit__MType__sta
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2424, /* Collection[Array[MVirtualTypeDef]] */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapValues__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
-&type_standard__Array__standard__Array__nit__MVirtualTypeDef, /* Array[E]: Array[Array[MVirtualTypeDef]] */
-&type_standard__MapValuesIterator__nit__MType__standard__Array__nit__MVirtualTypeDef, /* MapValuesIterator[K, V]: MapValuesIterator[MType, Array[MVirtualTypeDef]] */
-}
-};
-/* runtime type NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
-const struct type type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-1909,
-"NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]]", /* class_name_string */
-218,
-0,
-&resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6775,6 +6574,7 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2096, /* NativeArray[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6782,6 +6582,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 */
@@ -6894,6 +6695,27 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MModule, /* E: POSetElement[MModule] */
+&type_core__NativeArray__poset__POSetElement__nitc__MModule, /* NativeArray[E]: NativeArray[POSetElement[MModule]] */
+}
+};
+/* runtime type ArrayIterator[POSetElement[MModule]] */
+const struct type type_core__array__ArrayIterator__poset__POSetElement__nitc__MModule = {
+-1, /*CAST DEAD*/
+"ArrayIterator[POSetElement[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6902,6 +6724,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__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MModule]] */
+}
+};
+/* runtime type ArrayReverseIterator[POSetElement[MModule]] */
+const struct type type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MModule = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[POSetElement[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6910,6 +6753,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__poset__POSetElement__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__Array__poset__POSetElement__nitc__MModule, /* Array[E]: Array[POSetElement[MModule]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MModule]] */
+}
+};
+/* runtime type MapKeysIterator[MModule, Set[MModule]] */
+const struct type type_core__MapKeysIterator__nitc__MModule__core__Set__nitc__MModule = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MModule, Set[MModule]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MModule__core__Set__nitc__MModule,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+2827, /* Iterator[MModule] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6917,6 +6782,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__core__Set__nitc__MModule = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MModule, /* Array[E]: Array[MModule] */
+&type_core__MapIterator__nitc__MModule__core__Set__nitc__MModule, /* MapIterator[K, V]: MapIterator[MModule, Set[MModule]] */
+}
+};
+/* runtime type Array[Set[MModule]] */
+const struct type type_core__Array__core__Set__nitc__MModule = {
+2100,
+"Array[Set[MModule]]", /* class_name_string */
+501,
+0,
+&resolution_table_core__Array__core__Set__nitc__MModule,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6951,6 +6836,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 */
@@ -6960,7 +6846,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1635, /* NativeArray[nullable HashMapNode[Object, Array[Object]]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -6983,27 +6868,6 @@ const struct type type_standard__NativeArray__nullable__standard__hash_collectio
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1909, /* NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
-},
-};
-const struct types resolution_table_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef, /* E: nullable HashMapNode[MType, Array[MVirtualTypeDef]] */
-&type_standard__NativeArray__nullable__standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef, /* NativeArray[E]: NativeArray[nullable HashMapNode[MType, Array[MVirtualTypeDef]]] */
-}
-};
-/* runtime type HashMapIterator[MType, Array[MVirtualTypeDef]] */
-const struct type type_standard__HashMapIterator__nit__MType__standard__Array__nit__MVirtualTypeDef = {
--1, /*CAST DEAD*/
-"HashMapIterator[MType, Array[MVirtualTypeDef]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MVirtualTypeDef,
-77,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7050,20 +6914,23 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Array__n
 -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 */
-2599, /* MapIterator[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7078,26 +6945,6 @@ const struct type type_standard__HashMapIterator__nit__MType__standard__Array__n
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2620, /* MapIterator[MType, Array[MVirtualTypeDef]] */
-},
-};
-const struct types resolution_table_standard__HashMapIterator__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__HashMap__nit__MType__standard__Array__nit__MVirtualTypeDef, /* HashMap[K, V]: HashMap[MType, Array[MVirtualTypeDef]] */
-}
-};
-/* runtime type HashMapNode[MType, Array[MVirtualTypeDef]] */
-const struct type type_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-1911,
-"HashMapNode[MType, Array[MVirtualTypeDef]]", /* class_name_string */
-147,
-0,
-&resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef,
-148,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7116,6 +6963,7 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7149,7 +6997,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2282, /* nullable HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7170,7 +7017,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2305, /* nullable HashMapNode[MType, Array[MVirtualTypeDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7197,10 +7043,12 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2642, /* AbstractArrayRead[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7222,7 +7070,6 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1637, /* HashMapNode[Object, Array[Object]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7242,28 +7089,8 @@ const struct type type_standard__hash_collection__HashMapNode__nit__MType__stand
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
-1911, /* HashMapNode[MType, Array[MVirtualTypeDef]] */
-},
-};
-const struct types resolution_table_standard__hash_collection__HashMapNode__nit__MType__standard__Array__nit__MVirtualTypeDef = {
-0, /* dummy */
-{
-&type_standard__Array__nit__MVirtualTypeDef, /* V: Array[MVirtualTypeDef] */
-&type_nit__MType, /* K: MType */
-}
-};
-/* runtime type NativeArray[EscapeMark] */
-const struct type type_standard__NativeArray__nit__EscapeMark = {
-1912,
-"NativeArray[EscapeMark]", /* class_name_string */
-98,
-0,
-&resolution_table_standard__NativeArray__nit__EscapeMark,
-219,
-{
-80, /* Object */
-2622, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7296,7 +7123,6 @@ const struct type type_standard__NativeArray__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7343,10 +7169,12 @@ const struct type type_standard__NativeArray__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2966, /* AbstractArray[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7356,11 +7184,11 @@ const struct type type_standard__NativeArray__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1912, /* NativeArray[EscapeMark] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7473,6 +7301,7 @@ const struct type type_standard__NativeArray__nit__EscapeMark = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2100, /* Array[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7483,25 +7312,40 @@ const struct type type_standard__NativeArray__nit__EscapeMark = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__nit__EscapeMark = {
+const struct types resolution_table_core__Array__core__Set__nitc__MModule = {
 0, /* dummy */
 {
-&type_nit__EscapeMark, /* E: EscapeMark */
-&type_standard__NativeArray__nit__EscapeMark, /* NativeArray[E]: NativeArray[EscapeMark] */
+&type_core__Set__nitc__MModule, /* E: Set[MModule] */
+&type_core__Array__core__Set__nitc__MModule, /* Array[E]: Array[Set[MModule]] */
+&type_core__Collection__core__Set__nitc__MModule, /* Collection[E]: Collection[Set[MModule]] */
+&type_core__Array__core__Set__nitc__MModule, /* Array[E]: Array[Set[MModule]] */
+&type_core__AbstractArray__core__Set__nitc__MModule, /* AbstractArray[E]: AbstractArray[Set[MModule]] */
+&type_core__NativeArray__core__Set__nitc__MModule, /* NativeArray[E]: NativeArray[Set[MModule]] */
+&type_core__Set__nitc__MModule, /* E: Set[MModule] */
+&type_core__Collection__core__Set__nitc__MModule, /* Collection[E]: Collection[Set[MModule]] */
+&type_core__Set__nitc__MModule, /* E: Set[MModule] */
+&type_core__Collection__core__Set__nitc__MModule, /* Collection[E]: Collection[Set[MModule]] */
+&type_core__Collection__core__Set__nitc__MModule, /* Collection[E]: Collection[Set[MModule]] */
+&type_core__Array__core__Set__nitc__MModule, /* Array[E]: Array[Set[MModule]] */
+&type_core__AbstractArray__core__Set__nitc__MModule, /* AbstractArray[E]: AbstractArray[Set[MModule]] */
+&type_core__array__ArrayIterator__core__Set__nitc__MModule, /* ArrayIterator[E]: ArrayIterator[Set[MModule]] */
+&type_core__array__ArrayReverseIterator__core__Set__nitc__MModule, /* ArrayReverseIterator[E]: ArrayReverseIterator[Set[MModule]] */
 }
 };
-/* runtime type ArrayIterator[EscapeMark] */
-const struct type type_standard__array__ArrayIterator__nit__EscapeMark = {
+/* runtime type MapValuesIterator[MModule, Set[MModule]] */
+const struct type type_core__MapValuesIterator__nitc__MModule__core__Set__nitc__MModule = {
 -1, /*CAST DEAD*/
-"ArrayIterator[EscapeMark]", /* class_name_string */
+"MapValuesIterator[MModule, Set[MModule]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__nit__EscapeMark,
-9,
+&resolution_table_core__MapValuesIterator__nitc__MModule__core__Set__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 */
@@ -7510,24 +7354,30 @@ const struct type type_standard__array__ArrayIterator__nit__EscapeMark = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__nit__EscapeMark = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MModule__core__Set__nitc__MModule = {
 0, /* dummy */
 {
-&type_standard__Array__nit__EscapeMark, /* Array[E]: Array[EscapeMark] */
-&type_standard__AbstractArrayRead__nit__EscapeMark, /* AbstractArrayRead[E]: AbstractArrayRead[EscapeMark] */
+&type_core__Array__core__Set__nitc__MModule, /* Array[E]: Array[Set[MModule]] */
+&type_core__MapIterator__nitc__MModule__core__Set__nitc__MModule, /* MapIterator[K, V]: MapIterator[MModule, Set[MModule]] */
 }
 };
-/* runtime type NativeArray[Set[MType]] */
-const struct type type_standard__NativeArray__standard__Set__nit__MType = {
-1914,
-"NativeArray[Set[MType]]", /* class_name_string */
-99,
+/* runtime type NativeArray[POSetElement[MClassDef]] */
+const struct type type_core__NativeArray__poset__POSetElement__nitc__MClassDef = {
+2102,
+"NativeArray[POSetElement[MClassDef]]", /* class_name_string */
+106,
 0,
-&resolution_table_standard__NativeArray__standard__Set__nit__MType,
-219,
+&resolution_table_core__NativeArray__poset__POSetElement__nitc__MClassDef,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7553,6 +7403,7 @@ const struct type type_standard__NativeArray__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7560,7 +7411,6 @@ const struct type type_standard__NativeArray__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7625,14 +7475,15 @@ const struct type type_standard__NativeArray__standard__Set__nit__MType = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1914, /* NativeArray[Set[MType]] */
 -1, /* empty */
+2102, /* NativeArray[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7747,25 +7598,56 @@ const struct type type_standard__NativeArray__standard__Set__nit__MType = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__standard__Set__nit__MType = {
+const struct types resolution_table_core__NativeArray__poset__POSetElement__nitc__MClassDef = {
+0, /* dummy */
+{
+&type_poset__POSetElement__nitc__MClassDef, /* E: POSetElement[MClassDef] */
+&type_core__NativeArray__poset__POSetElement__nitc__MClassDef, /* NativeArray[E]: NativeArray[POSetElement[MClassDef]] */
+}
+};
+/* runtime type ArrayIterator[POSetElement[MClassDef]] */
+const struct type type_core__array__ArrayIterator__poset__POSetElement__nitc__MClassDef = {
+-1, /*CAST DEAD*/
+"ArrayIterator[POSetElement[MClassDef]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MClassDef,
+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__poset__POSetElement__nitc__MClassDef = {
 0, /* dummy */
 {
-&type_standard__Set__nit__MType, /* E: Set[MType] */
-&type_standard__NativeArray__standard__Set__nit__MType, /* NativeArray[E]: NativeArray[Set[MType]] */
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MClassDef, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MClassDef]] */
 }
 };
-/* runtime type ArrayIterator[Set[MType]] */
-const struct type type_standard__array__ArrayIterator__standard__Set__nit__MType = {
+/* runtime type ArrayReverseIterator[POSetElement[MClassDef]] */
+const struct type type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassDef = {
 -1, /*CAST DEAD*/
-"ArrayIterator[Set[MType]]", /* class_name_string */
+"ArrayReverseIterator[POSetElement[MClassDef]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__standard__Set__nit__MType,
-9,
+&resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassDef,
+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 */
@@ -7774,70 +7656,84 @@ const struct type type_standard__array__ArrayIterator__standard__Set__nit__MType
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__standard__Set__nit__MType = {
+const struct types resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassDef = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__AbstractArrayRead__standard__Set__nit__MType, /* AbstractArrayRead[E]: AbstractArrayRead[Set[MType]] */
+&type_core__Array__poset__POSetElement__nitc__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MClassDef, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MClassDef]] */
 }
 };
-/* runtime type MapKeysIterator[MType, Set[MType]] */
-const struct type type_standard__MapKeysIterator__nit__MType__standard__Set__nit__MType = {
+/* runtime type MapKeysIterator[MClassDef, Set[MClassDef]] */
+const struct type type_core__MapKeysIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[MType, Set[MType]]", /* class_name_string */
+"MapKeysIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__nit__MType__standard__Set__nit__MType,
-5,
+&resolution_table_core__MapKeysIterator__nitc__MClassDef__core__Set__nitc__MClassDef,
+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__nit__MType__standard__Set__nit__MType = {
+const struct types resolution_table_core__MapKeysIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MType, /* Array[E]: Array[MType] */
-&type_standard__MapIterator__nit__MType__standard__Set__nit__MType, /* MapIterator[K, V]: MapIterator[MType, Set[MType]] */
+&type_core__Array__nitc__MClassDef, /* Array[E]: Array[MClassDef] */
+&type_core__MapIterator__nitc__MClassDef__core__Set__nitc__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, Set[MClassDef]] */
 }
 };
-/* runtime type MapValuesIterator[MType, Set[MType]] */
-const struct type type_standard__MapValuesIterator__nit__MType__standard__Set__nit__MType = {
+/* runtime type MapValuesIterator[MClassDef, Set[MClassDef]] */
+const struct type type_core__MapValuesIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[MType, Set[MType]]", /* class_name_string */
+"MapValuesIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__nit__MType__standard__Set__nit__MType,
-5,
+&resolution_table_core__MapValuesIterator__nitc__MClassDef__core__Set__nitc__MClassDef,
+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__nit__MType__standard__Set__nit__MType = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MClassDef__core__Set__nitc__MClassDef = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Set__nit__MType, /* Array[E]: Array[Set[MType]] */
-&type_standard__MapIterator__nit__MType__standard__Set__nit__MType, /* MapIterator[K, V]: MapIterator[MType, Set[MType]] */
+&type_core__Array__core__Set__nitc__MClassDef, /* Array[E]: Array[Set[MClassDef]] */
+&type_core__MapIterator__nitc__MClassDef__core__Set__nitc__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, Set[MClassDef]] */
 }
 };
-/* runtime type NativeArray[POSetElement[Phase]] */
-const struct type type_standard__NativeArray__poset__POSetElement__nit__Phase = {
-1918,
-"NativeArray[POSetElement[Phase]]", /* class_name_string */
-100,
+/* runtime type NativeArray[POSetElement[MClassType]] */
+const struct type type_core__NativeArray__poset__POSetElement__nitc__MClassType = {
+2107,
+"NativeArray[POSetElement[MClassType]]", /* class_name_string */
+107,
 0,
-&resolution_table_standard__NativeArray__poset__POSetElement__nit__Phase,
-219,
+&resolution_table_core__NativeArray__poset__POSetElement__nitc__MClassType,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7867,10 +7763,10 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__Phase =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -7936,17 +7832,22 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__Phase =
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1918, /* NativeArray[POSetElement[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2107, /* NativeArray[POSetElement[MClassType]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
+2141, /* NativeArray[POSetElement[MType]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8057,25 +7958,27 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__Phase =
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__poset__POSetElement__nit__Phase = {
+const struct types resolution_table_core__NativeArray__poset__POSetElement__nitc__MClassType = {
 0, /* dummy */
 {
-&type_poset__POSetElement__nit__Phase, /* E: POSetElement[Phase] */
-&type_standard__NativeArray__poset__POSetElement__nit__Phase, /* NativeArray[E]: NativeArray[POSetElement[Phase]] */
+&type_poset__POSetElement__nitc__MClassType, /* E: POSetElement[MClassType] */
+&type_core__NativeArray__poset__POSetElement__nitc__MClassType, /* NativeArray[E]: NativeArray[POSetElement[MClassType]] */
 }
 };
-/* runtime type ArrayIterator[POSetElement[Phase]] */
-const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit__Phase = {
+/* runtime type ArrayIterator[POSetElement[MClassType]] */
+const struct type type_core__array__ArrayIterator__poset__POSetElement__nitc__MClassType = {
 -1, /*CAST DEAD*/
-"ArrayIterator[POSetElement[Phase]]", /* class_name_string */
+"ArrayIterator[POSetElement[MClassType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__Phase,
-9,
+&resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MClassType,
+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 */
@@ -8084,54 +7987,83 @@ const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit_
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__Phase = {
+const struct types resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MClassType = {
 0, /* dummy */
 {
-&type_standard__Array__poset__POSetElement__nit__Phase, /* Array[E]: Array[POSetElement[Phase]] */
-&type_standard__AbstractArrayRead__poset__POSetElement__nit__Phase, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[Phase]] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MClassType, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MClassType]] */
 }
 };
-/* runtime type MapKeysIterator[Phase, Set[Phase]] */
-const struct type type_standard__MapKeysIterator__nit__Phase__standard__Set__nit__Phase = {
+/* runtime type ArrayReverseIterator[POSetElement[MClassType]] */
+const struct type type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassType = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[Phase, Set[Phase]]", /* class_name_string */
+"ArrayReverseIterator[POSetElement[MClassType]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__nit__Phase__standard__Set__nit__Phase,
-5,
+&resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassType,
+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__nit__Phase__standard__Set__nit__Phase = {
+const struct types resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MClassType = {
 0, /* dummy */
 {
-&type_standard__Array__nit__Phase, /* Array[E]: Array[Phase] */
-&type_standard__MapIterator__nit__Phase__standard__Set__nit__Phase, /* MapIterator[K, V]: MapIterator[Phase, Set[Phase]] */
+&type_core__Array__poset__POSetElement__nitc__MClassType, /* Array[E]: Array[POSetElement[MClassType]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MClassType, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MClassType]] */
 }
 };
-/* runtime type Array[Set[Phase]] */
-const struct type type_standard__Array__standard__Set__nit__Phase = {
-1921,
-"Array[Set[Phase]]", /* class_name_string */
-480,
+/* runtime type MapKeysIterator[MClassType, Set[MClassType]] */
+const struct type type_core__MapKeysIterator__nitc__MClassType__core__Set__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MClassType, Set[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
 0,
-&resolution_table_standard__Array__standard__Set__nit__Phase,
-490,
+&resolution_table_core__MapKeysIterator__nitc__MClassType__core__Set__nitc__MClassType,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
+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__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MClassType, /* Array[E]: Array[MClassType] */
+&type_core__MapIterator__nitc__MClassType__core__Set__nitc__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, Set[MClassType]] */
+}
+};
+/* runtime type MapValuesIterator[MClassType, Set[MClassType]] */
+const struct type type_core__MapValuesIterator__nitc__MClassType__core__Set__nitc__MClassType = {
+-1, /*CAST DEAD*/
+"MapValuesIterator[MClassType, Set[MClassType]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapValuesIterator__nitc__MClassType__core__Set__nitc__MClassType,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8140,6 +8072,26 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__MapValuesIterator__nitc__MClassType__core__Set__nitc__MClassType = {
+0, /* dummy */
+{
+&type_core__Array__core__Set__nitc__MClassType, /* Array[E]: Array[Set[MClassType]] */
+&type_core__MapIterator__nitc__MClassType__core__Set__nitc__MClassType, /* MapIterator[K, V]: MapIterator[MClassType, Set[MClassType]] */
+}
+};
+/* runtime type NativeArray[HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__NativeArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+2112,
+"NativeArray[HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
+108,
+0,
+&resolution_table_core__NativeArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+226,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8159,7 +8111,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8172,6 +8123,7 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8236,7 +8188,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2414, /* Collection[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8247,11 +8198,12 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
+2112, /* NativeArray[HashMap2[MType, String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2136, /* NativeArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8280,7 +8232,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8358,7 +8309,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2535, /* AbstractArrayRead[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8366,6 +8316,27 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__NativeArray__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* E: 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]] */
+}
+};
+/* runtime type ArrayIterator[HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__array__ArrayIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayIterator[HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8374,6 +8345,27 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__AbstractArrayRead__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[HashMap2[MType, String, nullable MProperty]] */
+}
+};
+/* runtime type ArrayReverseIterator[HashMap2[MType, String, nullable MProperty]] */
+const struct type type_core__array__ArrayReverseIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"ArrayReverseIterator[HashMap2[MType, String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__array__ArrayReverseIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty,
+11,
+{
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8382,13 +8374,55 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+},
+};
+const struct types resolution_table_core__array__ArrayReverseIterator__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap2[MType, String, nullable MProperty]] */
+&type_core__AbstractArrayRead__more_collections__HashMap2__nitc__MType__core__String__nullable__nitc__MProperty, /* AbstractArrayRead[E]: AbstractArrayRead[HashMap2[MType, String, nullable MProperty]] */
+}
+};
+/* runtime type MapKeysIterator[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__MapKeysIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+-1, /*CAST DEAD*/
+"MapKeysIterator[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
+-1, /*CAST DEAD*/
+0,
+&resolution_table_core__MapKeysIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty,
+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__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
+0, /* dummy */
+{
+&type_core__Array__nitc__MType, /* Array[E]: Array[MType] */
+&type_core__MapIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[MType, HashMap[String, nullable MProperty]] */
+}
+};
+/* runtime type Array[HashMap[String, nullable MProperty]] */
+const struct type type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty = {
+2116,
+"Array[HashMap[String, nullable MProperty]]", /* class_name_string */
+502,
+0,
+&resolution_table_core__Array__core__HashMap__core__String__nullable__nitc__MProperty,
+510,
+{
+2371, /* Object */
+2397, /* nullable Object */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8401,7 +8435,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8424,6 +8457,7 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2433, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8479,7 +8513,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2759, /* AbstractArray[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8490,8 +8523,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8504,11 +8535,13 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -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 */
@@ -8517,6 +8550,8 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8549,6 +8584,7 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2557, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8603,7 +8639,6 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1921, /* Array[Set[Phase]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8613,60 +8648,40 @@ const struct type type_standard__Array__standard__Set__nit__Phase = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__Array__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Set__nit__Phase, /* E: Set[Phase] */
-&type_standard__Array__standard__Set__nit__Phase, /* Array[E]: Array[Set[Phase]] */
-&type_standard__Collection__standard__Set__nit__Phase, /* Collection[E]: Collection[Set[Phase]] */
-&type_standard__Array__standard__Set__nit__Phase, /* Array[E]: Array[Set[Phase]] */
-&type_standard__NativeArray__standard__Set__nit__Phase, /* NativeArray[E]: NativeArray[Set[Phase]] */
-&type_standard__Set__nit__Phase, /* E: Set[Phase] */
-&type_standard__Collection__standard__Set__nit__Phase, /* Collection[E]: Collection[Set[Phase]] */
-&type_standard__Set__nit__Phase, /* E: Set[Phase] */
-&type_standard__Collection__standard__Set__nit__Phase, /* Collection[E]: Collection[Set[Phase]] */
-&type_standard__Collection__standard__Set__nit__Phase, /* Collection[E]: Collection[Set[Phase]] */
-&type_standard__Array__standard__Set__nit__Phase, /* Array[E]: Array[Set[Phase]] */
-&type_standard__AbstractArray__standard__Set__nit__Phase, /* AbstractArray[E]: AbstractArray[Set[Phase]] */
-&type_standard__array__ArrayIterator__standard__Set__nit__Phase, /* ArrayIterator[E]: ArrayIterator[Set[Phase]] */
-}
-};
-/* runtime type MapValuesIterator[Phase, Set[Phase]] */
-const struct type type_standard__MapValuesIterator__nit__Phase__standard__Set__nit__Phase = {
--1, /*CAST DEAD*/
-"MapValuesIterator[Phase, Set[Phase]]", /* class_name_string */
--1, /*CAST DEAD*/
-0,
-&resolution_table_standard__MapValuesIterator__nit__Phase__standard__Set__nit__Phase,
-5,
-{
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
 -1, /* empty */
 -1, /* empty */
-},
-};
-const struct types resolution_table_standard__MapValuesIterator__nit__Phase__standard__Set__nit__Phase = {
-0, /* dummy */
-{
-&type_standard__Array__standard__Set__nit__Phase, /* Array[E]: Array[Set[Phase]] */
-&type_standard__MapIterator__nit__Phase__standard__Set__nit__Phase, /* MapIterator[K, V]: MapIterator[Phase, Set[Phase]] */
-}
-};
-/* runtime type NativeArray[POSetElement[MModule]] */
-const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule = {
-1923,
-"NativeArray[POSetElement[MModule]]", /* class_name_string */
-101,
-0,
-&resolution_table_standard__NativeArray__poset__POSetElement__nit__MModule,
-219,
-{
-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 */
+2637, /* AbstractArrayRead[nullable Object] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2643, /* AbstractArrayRead[HashMap[String, nullable MProperty]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8695,11 +8710,11 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2881, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8766,7 +8781,6 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1923, /* NativeArray[POSetElement[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8776,11 +8790,13 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2967, /* AbstractArray[HashMap[String, nullable MProperty]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8789,6 +8805,7 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+228, /* Array[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8884,27 +8901,72 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MModule
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2116, /* Array[HashMap[String, nullable MProperty]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__poset__POSetElement__nit__MModule = {
+const struct types resolution_table_core__Array__core__HashMap__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_poset__POSetElement__nit__MModule, /* E: POSetElement[MModule] */
-&type_standard__NativeArray__poset__POSetElement__nit__MModule, /* NativeArray[E]: NativeArray[POSetElement[MModule]] */
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* E: HashMap[String, nullable MProperty] */
+&type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap[String, nullable MProperty]] */
+&type_core__Collection__core__HashMap__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap[String, nullable MProperty]] */
+&type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap[String, nullable MProperty]] */
+&type_core__AbstractArray__core__HashMap__core__String__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[HashMap[String, nullable MProperty]] */
+&type_core__NativeArray__core__HashMap__core__String__nullable__nitc__MProperty, /* NativeArray[E]: NativeArray[HashMap[String, nullable MProperty]] */
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* E: HashMap[String, nullable MProperty] */
+&type_core__Collection__core__HashMap__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap[String, nullable MProperty]] */
+&type_core__HashMap__core__String__nullable__nitc__MProperty, /* E: HashMap[String, nullable MProperty] */
+&type_core__Collection__core__HashMap__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap[String, nullable MProperty]] */
+&type_core__Collection__core__HashMap__core__String__nullable__nitc__MProperty, /* Collection[E]: Collection[HashMap[String, nullable MProperty]] */
+&type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap[String, nullable MProperty]] */
+&type_core__AbstractArray__core__HashMap__core__String__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[HashMap[String, nullable MProperty]] */
+&type_core__array__ArrayIterator__core__HashMap__core__String__nullable__nitc__MProperty, /* ArrayIterator[E]: ArrayIterator[HashMap[String, nullable MProperty]] */
+&type_core__array__ArrayReverseIterator__core__HashMap__core__String__nullable__nitc__MProperty, /* ArrayReverseIterator[E]: ArrayReverseIterator[HashMap[String, nullable MProperty]] */
 }
 };
-/* runtime type ArrayIterator[POSetElement[MModule]] */
-const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit__MModule = {
+/* runtime type MapValuesIterator[MType, HashMap[String, nullable MProperty]] */
+const struct type type_core__MapValuesIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"ArrayIterator[POSetElement[MModule]]", /* class_name_string */
+"MapValuesIterator[MType, HashMap[String, nullable MProperty]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__MModule,
-9,
+&resolution_table_core__MapValuesIterator__nitc__MType__core__HashMap__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 */
@@ -8913,47 +8975,59 @@ const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit_
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__MModule = {
+const struct types resolution_table_core__MapValuesIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__poset__POSetElement__nit__MModule, /* Array[E]: Array[POSetElement[MModule]] */
-&type_standard__AbstractArrayRead__poset__POSetElement__nit__MModule, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MModule]] */
+&type_core__Array__core__HashMap__core__String__nullable__nitc__MProperty, /* Array[E]: Array[HashMap[String, nullable MProperty]] */
+&type_core__MapIterator__nitc__MType__core__HashMap__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[MType, HashMap[String, nullable MProperty]] */
 }
 };
-/* runtime type MapKeysIterator[MModule, Set[MModule]] */
-const struct type type_standard__MapKeysIterator__nit__MModule__standard__Set__nit__MModule = {
+/* runtime type MapKeysIterator[String, nullable MProperty] */
+const struct type type_core__MapKeysIterator__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[MModule, Set[MModule]]", /* class_name_string */
+"MapKeysIterator[String, nullable MProperty]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__nit__MModule__standard__Set__nit__MModule,
-5,
+&resolution_table_core__MapKeysIterator__core__String__nullable__nitc__MProperty,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+2371, /* Object */
+2397, /* nullable Object */
+2391, /* Iterator[Object] */
+-1, /* empty */
+2828, /* Iterator[String] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__MapKeysIterator__nit__MModule__standard__Set__nit__MModule = {
+const struct types resolution_table_core__MapKeysIterator__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MModule, /* Array[E]: Array[MModule] */
-&type_standard__MapIterator__nit__MModule__standard__Set__nit__MModule, /* MapIterator[K, V]: MapIterator[MModule, Set[MModule]] */
+&type_core__Array__core__String, /* Array[E]: Array[String] */
+&type_core__MapIterator__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[String, nullable MProperty] */
 }
 };
-/* runtime type Array[Set[MModule]] */
-const struct type type_standard__Array__standard__Set__nit__MModule = {
-1926,
-"Array[Set[MModule]]", /* class_name_string */
-481,
+/* runtime type Array[nullable MProperty] */
+const struct type type_core__Array__nullable__nitc__MProperty = {
+2119,
+"Array[nullable MProperty]", /* class_name_string */
+399,
 0,
-&resolution_table_standard__Array__standard__Set__nit__MModule,
-490,
+&resolution_table_core__Array__nullable__nitc__MProperty,
+510,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -8988,7 +9062,6 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2337, /* Collection[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9016,6 +9089,7 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2466, /* Collection[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9060,13 +9134,14 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2511, /* Collection[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2415, /* Collection[Set[MModule]] */
+2518, /* Collection[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9074,9 +9149,10 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2015, /* Array[nullable Object] */
+2202, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
-2003, /* SequenceRead[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9109,7 +9185,6 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2457, /* AbstractArrayRead[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9143,6 +9218,7 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2592, /* AbstractArrayRead[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9187,13 +9263,14 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2637, /* AbstractArrayRead[nullable Object] */
 -1, /* empty */
-2536, /* AbstractArrayRead[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2644, /* AbstractArrayRead[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9230,7 +9307,6 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2681, /* AbstractArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9268,6 +9344,7 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2916, /* AbstractArray[nullable PropertyLayoutElement] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9309,18 +9386,17 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2760, /* AbstractArray[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2961, /* AbstractArray[nullable Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-2004, /* Array[nullable Object] */
-650, /* Array[Object] */
+2968, /* AbstractArray[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9343,6 +9419,7 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2119, /* Array[nullable MProperty] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9397,6 +9474,18 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+1457, /* Array[nullable PropertyLayoutElement] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9433,7 +9522,6 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1926, /* Array[Set[MModule]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9444,58 +9532,67 @@ const struct type type_standard__Array__standard__Set__nit__MModule = {
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__Array__standard__Set__nit__MModule = {
+const struct types resolution_table_core__Array__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Set__nit__MModule, /* E: Set[MModule] */
-&type_standard__Array__standard__Set__nit__MModule, /* Array[E]: Array[Set[MModule]] */
-&type_standard__Collection__standard__Set__nit__MModule, /* Collection[E]: Collection[Set[MModule]] */
-&type_standard__Array__standard__Set__nit__MModule, /* Array[E]: Array[Set[MModule]] */
-&type_standard__NativeArray__standard__Set__nit__MModule, /* NativeArray[E]: NativeArray[Set[MModule]] */
-&type_standard__Set__nit__MModule, /* E: Set[MModule] */
-&type_standard__Collection__standard__Set__nit__MModule, /* Collection[E]: Collection[Set[MModule]] */
-&type_standard__Set__nit__MModule, /* E: Set[MModule] */
-&type_standard__Collection__standard__Set__nit__MModule, /* Collection[E]: Collection[Set[MModule]] */
-&type_standard__Collection__standard__Set__nit__MModule, /* Collection[E]: Collection[Set[MModule]] */
-&type_standard__Array__standard__Set__nit__MModule, /* Array[E]: Array[Set[MModule]] */
-&type_standard__AbstractArray__standard__Set__nit__MModule, /* AbstractArray[E]: AbstractArray[Set[MModule]] */
-&type_standard__array__ArrayIterator__standard__Set__nit__MModule, /* ArrayIterator[E]: ArrayIterator[Set[MModule]] */
+&type_nullable__nitc__MProperty, /* E: nullable MProperty */
+&type_core__Array__nullable__nitc__MProperty, /* Array[E]: Array[nullable MProperty] */
+&type_core__Collection__nullable__nitc__MProperty, /* Collection[E]: Collection[nullable MProperty] */
+&type_core__Array__nullable__nitc__MProperty, /* Array[E]: Array[nullable MProperty] */
+&type_core__AbstractArray__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[nullable MProperty] */
+&type_core__NativeArray__nullable__nitc__MProperty, /* NativeArray[E]: NativeArray[nullable MProperty] */
+&type_nullable__nitc__MProperty, /* E: nullable MProperty */
+&type_core__Collection__nullable__nitc__MProperty, /* Collection[E]: Collection[nullable MProperty] */
+&type_nullable__nitc__MProperty, /* E: nullable MProperty */
+&type_core__Collection__nullable__nitc__MProperty, /* Collection[E]: Collection[nullable MProperty] */
+&type_core__Collection__nullable__nitc__MProperty, /* Collection[E]: Collection[nullable MProperty] */
+&type_core__Array__nullable__nitc__MProperty, /* Array[E]: Array[nullable MProperty] */
+&type_core__AbstractArray__nullable__nitc__MProperty, /* AbstractArray[E]: AbstractArray[nullable MProperty] */
+&type_core__array__ArrayIterator__nullable__nitc__MProperty, /* ArrayIterator[E]: ArrayIterator[nullable MProperty] */
+&type_core__array__ArrayReverseIterator__nullable__nitc__MProperty, /* ArrayReverseIterator[E]: ArrayReverseIterator[nullable MProperty] */
 }
 };
-/* runtime type MapValuesIterator[MModule, Set[MModule]] */
-const struct type type_standard__MapValuesIterator__nit__MModule__standard__Set__nit__MModule = {
+/* runtime type MapValuesIterator[String, nullable MProperty] */
+const struct type type_core__MapValuesIterator__core__String__nullable__nitc__MProperty = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[MModule, Set[MModule]]", /* class_name_string */
+"MapValuesIterator[String, nullable MProperty]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__nit__MModule__standard__Set__nit__MModule,
-5,
+&resolution_table_core__MapValuesIterator__core__String__nullable__nitc__MProperty,
+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__MModule__standard__Set__nit__MModule = {
+const struct types resolution_table_core__MapValuesIterator__core__String__nullable__nitc__MProperty = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Set__nit__MModule, /* Array[E]: Array[Set[MModule]] */
-&type_standard__MapIterator__nit__MModule__standard__Set__nit__MModule, /* MapIterator[K, V]: MapIterator[MModule, Set[MModule]] */
+&type_core__Array__nullable__nitc__MProperty, /* Array[E]: Array[nullable MProperty] */
+&type_core__MapIterator__core__String__nullable__nitc__MProperty, /* MapIterator[K, V]: MapIterator[String, nullable MProperty] */
 }
 };
-/* runtime type NativeArray[POSetElement[MClassDef]] */
-const struct type type_standard__NativeArray__poset__POSetElement__nit__MClassDef = {
-1928,
-"NativeArray[POSetElement[MClassDef]]", /* class_name_string */
-102,
+/* runtime type NativeArray[POSetElement[MGroup]] */
+const struct type type_core__NativeArray__poset__POSetElement__nitc__MGroup = {
+2121,
+"NativeArray[POSetElement[MGroup]]", /* class_name_string */
+109,
 0,
-&resolution_table_standard__NativeArray__poset__POSetElement__nit__MClassDef,
-219,
+&resolution_table_core__NativeArray__poset__POSetElement__nitc__MGroup,
+226,
 {
-80, /* Object */
-2622, /* nullable Object */
+2371, /* Object */
+2397, /* nullable Object */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9526,9 +9623,9 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MClassDe
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+229, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
-651, /* NativeArray[Object] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9596,13 +9693,19 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MClassDe
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
-1928, /* NativeArray[POSetElement[MClassDef]] */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
+2121, /* NativeArray[POSetElement[MGroup]] */
+-1, /* empty */
+-1, /* empty */
+-1, /* empty */
+2136, /* NativeArray[nullable Object] */
+-1, /* empty */
+-1, /* empty */
 -1, /* empty */
 -1, /* empty */
 -1, /* empty */
@@ -9715,25 +9818,27 @@ const struct type type_standard__NativeArray__poset__POSetElement__nit__MClassDe
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__NativeArray__poset__POSetElement__nit__MClassDef = {
+const struct types resolution_table_core__NativeArray__poset__POSetElement__nitc__MGroup = {
 0, /* dummy */
 {
-&type_poset__POSetElement__nit__MClassDef, /* E: POSetElement[MClassDef] */
-&type_standard__NativeArray__poset__POSetElement__nit__MClassDef, /* NativeArray[E]: NativeArray[POSetElement[MClassDef]] */
+&type_poset__POSetElement__nitc__MGroup, /* E: POSetElement[MGroup] */
+&type_core__NativeArray__poset__POSetElement__nitc__MGroup, /* NativeArray[E]: NativeArray[POSetElement[MGroup]] */
 }
 };
-/* runtime type ArrayIterator[POSetElement[MClassDef]] */
-const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit__MClassDef = {
+/* runtime type ArrayIterator[POSetElement[MGroup]] */
+const struct type type_core__array__ArrayIterator__poset__POSetElement__nitc__MGroup = {
 -1, /*CAST DEAD*/
-"ArrayIterator[POSetElement[MClassDef]]", /* class_name_string */
+"ArrayIterator[POSetElement[MGroup]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__MClassDef,
-9,
+&resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MGroup,
+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 */
@@ -9742,56 +9847,68 @@ const struct type type_standard__array__ArrayIterator__poset__POSetElement__nit_
 -1, /* empty */
 },
 };
-const struct types resolution_table_standard__array__ArrayIterator__poset__POSetElement__nit__MClassDef = {
+const struct types resolution_table_core__array__ArrayIterator__poset__POSetElement__nitc__MGroup = {
 0, /* dummy */
 {
-&type_standard__Array__poset__POSetElement__nit__MClassDef, /* Array[E]: Array[POSetElement[MClassDef]] */
-&type_standard__AbstractArrayRead__poset__POSetElement__nit__MClassDef, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MClassDef]] */
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MGroup, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MGroup]] */
 }
 };
-/* runtime type MapKeysIterator[MClassDef, Set[MClassDef]] */
-const struct type type_standard__MapKeysIterator__nit__MClassDef__standard__Set__nit__MClassDef = {
+/* runtime type ArrayReverseIterator[POSetElement[MGroup]] */
+const struct type type_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MGroup = {
 -1, /*CAST DEAD*/
-"MapKeysIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
+"ArrayReverseIterator[POSetElement[MGroup]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapKeysIterator__nit__MClassDef__standard__Set__nit__MClassDef,
-5,
+&resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MGroup,
+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__nit__MClassDef__standard__Set__nit__MClassDef = {
+const struct types resolution_table_core__array__ArrayReverseIterator__poset__POSetElement__nitc__MGroup = {
 0, /* dummy */
 {
-&type_standard__Array__nit__MClassDef, /* Array[E]: Array[MClassDef] */
-&type_standard__MapIterator__nit__MClassDef__standard__Set__nit__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, Set[MClassDef]] */
+&type_core__Array__poset__POSetElement__nitc__MGroup, /* Array[E]: Array[POSetElement[MGroup]] */
+&type_core__AbstractArrayRead__poset__POSetElement__nitc__MGroup, /* AbstractArrayRead[E]: AbstractArrayRead[POSetElement[MGroup]] */
 }
 };
-/* runtime type MapValuesIterator[MClassDef, Set[MClassDef]] */
-const struct type type_standard__MapValuesIterator__nit__MClassDef__standard__Set__nit__MClassDef = {
+/* runtime type MapKeysIterator[MGroup, Set[MGroup]] */
+const struct type type_core__MapKeysIterator__nitc__MGroup__core__Set__nitc__MGroup = {
 -1, /*CAST DEAD*/
-"MapValuesIterator[MClassDef, Set[MClassDef]]", /* class_name_string */
+"MapKeysIterator[MGroup, Set[MGroup]]", /* class_name_string */
 -1, /*CAST DEAD*/
 0,
-&resolution_table_standard__MapValuesIterator__nit__MClassDef__standard__Set__nit__MClassDef,
-5,
+&resolution_table_core__MapKeysIterator__nitc__MGroup__core__Set__nitc__MGroup,
+11,
 {
-80, /* Object */
-2622, /* nullable Object */
-2200, /* Iterator[Object] */
+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_standard__MapValuesIterator__nit__MClassDef__standard__Set__nit__MClassDef = {
+const struct types resolution_table_core__MapKeysIterator__nitc__MGroup__core__Set__nitc__MGroup = {
 0, /* dummy */
 {
-&type_standard__Array__standard__Set__nit__MClassDef, /* Array[E]: Array[Set[MClassDef]] */
-&type_standard__MapIterator__nit__MClassDef__standard__Set__nit__MClassDef, /* MapIterator[K, V]: MapIterator[MClassDef, Set[MClassDef]] */
+&type_core__Array__nitc__MGroup, /* Array[E]: Array[MGroup] */
+&type_core__MapIterator__nitc__MGroup__core__Set__nitc__MGroup, /* MapIterator[K, V]: MapIterator[MGroup, Set[MGroup]] */
 }
 };