X-Git-Url: http://nitlanguage.org

diff --git a/c_src/nit__model.sep.0.h b/c_src/nit__model.sep.0.h
index 2c2f704..0c3bcb4 100644
--- a/c_src/nit__model.sep.0.h
+++ b/c_src/nit__model.sep.0.h
@@ -1,222 +1,244 @@
 #include "nit.common.h"
-#define COLOR_nit__model__Model___mclasses 5
+#define COLOR_nit__model__Model___mclasses 0
 extern const char FILE_nit__model[];
-#define COLOR_nit__model__Model___mproperties 6
-#define COLOR_nit__model__Model___mclassdef_hierarchy 7
-#define COLOR_nit__model__Model___intro_mtype_specialization_hierarchy 8
-#define COLOR_nit__model__Model___full_mtype_specialization_hierarchy 9
-#define COLOR_nit__model__Model___mclasses_by_name 10
+#define COLOR_nit__model__Model___mproperties 1
+#define COLOR_nit__model__Model___mclassdef_hierarchy 2
+#define COLOR_nit__model__Model___intro_mtype_specialization_hierarchy 3
+#define COLOR_nit__model__Model___full_mtype_specialization_hierarchy 4
+#define COLOR_nit__model__Model___mclasses_by_name 5
 val* standard___standard__HashMap___standard__abstract_collection__MapRead__get_or_null(val* self, val* p0);
-#define COLOR_nit__model__Model___mproperties_by_name 11
-#define COLOR_nit__model__Model___null_type 12
-#define COLOR_nit__model__MModule___intro_mclasses 18
-#define COLOR_nit__model__MModule___mclassdefs 19
-#define COLOR_nit__model__MModule___flatten_mclass_hierarchy_cache 20
-#define COLOR_standard__kernel__Object___61d_61d 2
+#define COLOR_nit__model__Model___mproperties_by_name 6
+#define COLOR_nit__model__Model___null_type 7
+#define COLOR_nit__model__MModule___intro_mclasses 4
+#define COLOR_nit__model__MModule___mclassdefs 5
+#define COLOR_nit__model__MModule___flatten_mclass_hierarchy_cache 6
+#define COLOR_standard__kernel__Object___61d_61d 4
 val* NEW_poset__POSet(const struct type* type);
 extern const struct type type_poset__POSet__nit__MClass;
-#define COLOR_nit__mmodule__MModule___in_importation 8
+#define COLOR_nit__mmodule__MModule___in_importation 33
 extern const char FILE_nit__mmodule[];
 val* poset___poset__POSetElement___greaters(val* self);
-#define COLOR_standard__abstract_collection__Collection__iterator 37
-#define COLOR_standard__abstract_collection__Iterator__is_ok 34
-#define COLOR_standard__abstract_collection__Iterator__item 32
+#define COLOR_standard__abstract_collection__Collection__iterator 25
+#define COLOR_standard__abstract_collection__Iterator__is_ok 16
+#define COLOR_standard__abstract_collection__Iterator__item 17
 val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
 short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
 val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
-#define COLOR_nit__model__MClassDef___mclass 5
+#define COLOR_nit__model__MClassDef___mclass 6
 val* poset___poset__POSet___add_node(val* self, val* p0);
-#define COLOR_nit__model__MClassDef___supertypes 13
-#define COLOR_nit__model__MClassType___mclass 5
+#define COLOR_nit__model__MClassDef___supertypes 14
+#define COLOR_nit__model__MClassType___mclass 6
 void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
 void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
-#define COLOR_standard__abstract_collection__Iterator__next 33
+void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__finish(val* self);
+#define COLOR_standard__abstract_collection__Iterator__next 18
+#define COLOR_standard__abstract_collection__Iterator__finish 19
 val* nit__model___MModule___flatten_mclass_hierarchy(val* self);
 void standard___standard__Comparator___sort(val* self, val* p0);
 val* NEW_nit__model__MClassDefSorter(const struct type* type);
 extern const struct type type_nit__model__MClassDefSorter;
-#define COLOR_nit__model__MClassDefSorter__mmodule_61d 38
-#define COLOR_standard__kernel__Object__init 7
+#define COLOR_nit__model__MClassDefSorter__mmodule_61d 21
+#define COLOR_standard__kernel__Object__init 0
 val* NEW_nit__model__MPropDefSorter(const struct type* type);
 extern const struct type type_nit__model__MPropDefSorter;
-#define COLOR_nit__model__MPropDefSorter__mmodule_61d 38
-#define COLOR_nit__model__MModule___object_type_cache 21
+#define COLOR_nit__model__MPropDefSorter__mmodule_61d 21
+#define COLOR_nit__model__MModule___object_type 7
 val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
 val* nit__model___MModule___get_primitive_class(val* self, val* p0);
-#define COLOR_nit__model__MClass___mclass_type 16
-#define COLOR_nit__model__MModule___pointer_type 22
-#define COLOR_nit__model__MModule___bool_type_cache 24
-#define COLOR_nit__mmodule__MModule___model 4
+#define COLOR_nit__model__MClass___mclass_type 17
+#define COLOR_nit__model__MModule___pointer_type 9
+#define COLOR_nit__model__MModule___bool_type 11
+#define COLOR_nit__model__MModule___int_type 13
+#define COLOR_nit__model__MModule___byte_type 15
+#define COLOR_nit__model__MModule___char_type 17
+#define COLOR_nit__model__MModule___float_type 19
+#define COLOR_nit__model__MModule___string_type 21
+#define COLOR_nit__model__MModule___native_string_type 23
+val* nit__model___MModule___array_class(val* self);
+val* NEW_standard__Array(const struct type* type);
+extern const struct type type_standard__Array__nit__MType;
+void standard___standard__Array___with_capacity(val* self, long p0);
+void standard___standard__AbstractArray___standard__abstract_collection__Sequence__push(val* self, val* p0);
+val* nit___nit__MClass___get_mtype(val* self, val* p0);
+#define COLOR_nit__model__MModule___array_class 25
+val* nit__model___MModule___native_array_class(val* self);
+#define COLOR_nit__model__MModule___native_array_class 27
+#define COLOR_nit__mmodule__MModule___model 29
 val* nit__model___Model___get_mclasses_by_name(val* self, val* p0);
 short int standard___standard__Array___standard__kernel__Object___61d_61d(val* self, val* p0);
+extern const struct type type_standard__Array__nit__MClass;
+#define COLOR_nit__model__MClass___intro_mmodule 5
+short int poset___poset__POSetElement____60d_61d(val* self, val* p0);
+short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(val* self);
 val* NEW_nit__MClass(const struct type* type);
 extern const struct type type_nit__MClass;
-val* nit__model___standard__Object___enum_kind(val* self);
-val* nit__model_base___standard__Object___public_visibility(val* self);
-#define COLOR_nit__model__MClass__intro_mmodule_61d 42
-#define COLOR_nit__model__MClass__name_61d 43
-#define COLOR_nit__model__MClass__setup_parameter_names 48
-#define COLOR_nit__model__MClass__kind_61d 50
-#define COLOR_nit__model__MClass__visibility_61d 52
+val* nit__model___standard__Sys___enum_kind(val* self);
+val* nit__model_base___standard__Sys___public_visibility(val* self);
+#define COLOR_nit__model__MClass__intro_mmodule_61d 30
+#define COLOR_nit__model__MClass__name_61d 31
+#define COLOR_nit__model__MClass__setup_parameter_names 32
+#define COLOR_nit__model__MClass__kind_61d 33
+#define COLOR_nit__model__MClass__visibility_61d 34
 val* NEW_nit__MClassDef(const struct type* type);
 extern const struct type type_nit__MClassDef;
 val* NEW_nit__Location(const struct type* type);
 extern const struct type type_nit__Location;
-#define COLOR_nit__location__Location__file_61d 38
-#define COLOR_nit__location__Location__line_start_61d 40
-#define COLOR_nit__location__Location__line_end_61d 42
-#define COLOR_nit__location__Location__column_start_61d 44
-#define COLOR_nit__location__Location__column_end_61d 46
-#define COLOR_nit__model__MClassDef__mmodule_61d 42
-#define COLOR_nit__model__MClassDef__bound_mtype_61d 46
-#define COLOR_nit__model__MClassDef__location_61d 48
-val* NEW_standard__Array(const struct type* type);
+#define COLOR_nit__location__Location__file_61d 24
+#define COLOR_nit__location__Location__line_start_61d 25
+#define COLOR_nit__location__Location__line_end_61d 26
+#define COLOR_nit__location__Location__column_start_61d 27
+#define COLOR_nit__location__Location__column_end_61d 28
+#define COLOR_nit__model__MClassDef__mmodule_61d 28
+#define COLOR_nit__model__MClassDef__bound_mtype_61d 29
+#define COLOR_nit__model__MClassDef__location_61d 30
 extern const struct type type_standard__Array__nit__MClassType;
-void standard___standard__Array___with_capacity(val* self, long p0);
 val* nit__model___MModule___object_type(val* self);
-void standard___standard__AbstractArray___standard__abstract_collection__Sequence__push(val* self, val* p0);
 void nit___nit__MClassDef___set_supertypes(val* self, val* p0);
 void nit___nit__MClassDef___add_in_hierarchy(val* self);
-extern const struct type type_standard__Array__standard__Object;
 val* NEW_standard__NativeArray(int length, const struct type* type);
-extern const struct type type_standard__NativeArray__standard__Object;
-#define COLOR_standard__array__Array__with_native 73
-#define COLOR_standard__string__Object__to_s 9
-void standard__file___Object___print(val* self, val* p0);
+extern const struct type type_standard__NativeArray__standard__String;
+#define COLOR_standard__string__Object__to_s 3
+#define COLOR_standard__string__NativeArray__native_to_s 16
+void standard__file___Sys___print(val* self, val* p0);
 extern const char FILE_standard__array[];
 #define COLOR_standard__array__AbstractArrayRead___length 0
 val* nit___nit__MClass___nit__model_base__MEntity__full_name(val* self);
-#define COLOR_standard__string__String___43d 82
+#define COLOR_standard__string__String___43d 71
 val* standard___standard__SequenceRead___Collection__first(val* self);
 val* nit__model___Model___get_mproperties_by_name(val* self, val* p0);
 extern const struct type type_nit__MMethod;
 #define COLOR_nit__model__MProperty___intro_mclassdef 4
-#define COLOR_nit__model__MClass___mclassdefs 14
-#define COLOR_nit__model__MClassDef___mmodule 4
-#define COLOR_standard__abstract_collection__Collection__has 40
-#define COLOR_nit__model__MClassDef___in_hierarchy 14
+#define COLOR_nit__model__MClass___mclassdefs 15
+#define COLOR_nit__model__MClassDef___mmodule 5
+#define COLOR_standard__abstract_collection__Collection__has 28
+#define COLOR_nit__model__MClassDef___in_hierarchy 15
 val* nit___nit__MProperty___nit__model_base__MEntity__full_name(val* self);
 #define COLOR_nit__model__MClassDefSorter___mmodule 0
 #define COLOR_standard__sorter__Comparator__COMPARED 0
 long poset___poset__POSet___standard__sorter__Comparator__compare(val* self, val* p0, val* p1);
-#define COLOR_nit__model___nit__model__MClassDefSorter___standard__kernel__Object__init 39
+#define COLOR_nit__model___nit__model__MClassDefSorter___standard__kernel__Object__init 23
 #define COLOR_nit__model__MPropDefSorter___mmodule 0
-#define COLOR_nit__model__MPropDef___mclassdef 4
-#define COLOR_nit__model___nit__model__MPropDefSorter___standard__kernel__Object__init 39
-#define COLOR_nit__model__MClass___intro_mmodule 4
-#define COLOR_nit__model__MClass___name 5
-#define COLOR_nit__model__MClass___full_name 6
-#define COLOR_nit__model__MClass___visibility 13
+#define COLOR_nit__model__MPropDef___mclassdef 5
+#define COLOR_nit__model___nit__model__MPropDefSorter___standard__kernel__Object__init 23
+#define COLOR_nit__model__MClass___name 6
+#define COLOR_nit__model__MClass___full_name 7
+#define COLOR_nit__model__MClass___visibility 14
 val* nit___nit__MModule___namespace_for(val* self, val* p0);
-#define COLOR_nit__model__MClass___c_name 8
+#define COLOR_nit__model__MClass___c_name 9
 val* nit___nit__MModule___c_namespace_for(val* self, val* p0);
 val* standard___standard__Text___to_cmangle(val* self);
-#define COLOR_nit__model__MClass___arity 10
-#define COLOR_nit__model__MClass___mparameters 11
+#define COLOR_nit__model__MClass___arity 11
+#define COLOR_nit__model__MClass___mparameters 12
+val* NEW_standard__FlatBuffer(const struct type* type);
+extern const struct type type_standard__FlatBuffer;
+#define COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init 80
+void standard___standard__FlatBuffer___Buffer__append(val* self, val* p0);
 extern const struct type type_standard__Int;
 extern const char FILE_standard__kernel[];
+val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
+#define COLOR_nit__model__MParameterType___name 10
+#define COLOR_nit__model__MClass___intro 16
+#define COLOR_nit__model__MClassDef___bound_mtype 7
+#define COLOR_nit__model__MClassType__arguments 54
+long standard___standard__Int___Discrete__successor(long self, long p0);
+val* standard___standard__FlatBuffer___Object__to_s(val* self);
 extern const struct type type_standard__Array__nit__MParameterType;
 void standard___standard__Array___standard__kernel__Object__init(val* self);
 val* NEW_nit__MParameterType(const struct type* type);
 extern const struct type type_nit__MParameterType;
-val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
-#define COLOR_nit__model__MParameterType__mclass_61d 62
-#define COLOR_nit__model__MParameterType__rank_61d 64
-#define COLOR_nit__model__MParameterType__name_61d 65
+#define COLOR_nit__model__MParameterType__mclass_61d 54
+#define COLOR_nit__model__MParameterType__rank_61d 55
+#define COLOR_nit__model__MParameterType__name_61d 56
 void standard___standard__Array___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
-long standard___standard__Int___Discrete__successor(long self, long p0);
 val* NEW_nit__MGenericType(const struct type* type);
 extern const struct type type_nit__MGenericType;
-#define COLOR_nit__model__MClassType__mclass_61d 62
-#define COLOR_nit__model__MClassType__arguments_61d 64
-#define COLOR_nit__model__MClass___get_mtype_cache 17
+#define COLOR_nit__model__MClassType__mclass_61d 55
+#define COLOR_nit__model__MClassType__arguments_61d 56
+#define COLOR_nit__model__MClass___get_mtype_cache 18
 void standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
 val* NEW_nit__MClassType(const struct type* type);
 extern const struct type type_nit__MClassType;
-#define COLOR_nit__model__MClass___kind 12
-#define COLOR_nit___nit__MClass___standard__kernel__Object__init 63
+#define COLOR_nit__model__MClass___kind 13
+#define COLOR_nit___nit__MClass___standard__kernel__Object__init 57
 void more_collections___more_collections__MultiHashMap___add_one(val* self, val* p0, val* p1);
-#define COLOR_nit__model__MClass___intro 15
 val* poset___poset__POSet____91d_93d(val* self, val* p0);
 val* standard__array___Collection___to_a(val* self);
-#define COLOR_nit__model__MClassDef___bound_mtype 6
-#define COLOR_nit__model__MClassDef___location 7
-#define COLOR_nit__model__MClassDef___to_s 8
-#define COLOR_nit___nit__MClassDef___standard__kernel__Object__init 60
-#define COLOR_nit__model__MClassDef___full_name 9
+#define COLOR_nit__model__MClass___has_new_factory 19
+#define COLOR_nit__model__MClassDef___location 8
+#define COLOR_nit__model__MClassDef___to_s 9
+#define COLOR_nit___nit__MClassDef___standard__kernel__Object__init 48
+#define COLOR_nit__model__MClassDef___full_name 10
 short int nit___nit__MClassDef___is_intro(val* self);
 val* nit___nit__MModule___mproject(val* self);
 val* nit___nit__MModule___nit__model_base__MEntity__full_name(val* self);
-val* nit__model_base___standard__Object___private_visibility(val* self);
+val* nit__model_base___standard__Sys___private_visibility(val* self);
 short int standard___standard__Comparable____62d(val* self, val* p0);
-#define COLOR_nit__mmodule__MModule___name 6
-#define COLOR_nit__model__MClassDef___c_name 11
+#define COLOR_nit__mmodule__MModule___name 31
+#define COLOR_nit__model__MClassDef___c_name 12
 val* nit___nit__MClass___nit__model_base__MEntity__c_name(val* self);
 val* nit___nit__MModule___nit__model_base__MEntity__c_name(val* self);
 val* nit___nit__MClassType___MType__collect_mclassdefs(val* self, val* p0);
 #define COLOR_poset__POSetElement___poset 0
 extern const char FILE_poset[];
-#define COLOR_nit__model__MClassDef___intro_mproperties 15
-#define COLOR_nit__model__MClassDef___mpropdefs 16
-#define COLOR_nit__model__MType__need_anchor 43
-#define COLOR_nit__model__MType__can_resolve_for 48
-#define COLOR_nit__model__MType__lookup_fixed 47
+#define COLOR_nit__model__MClassDef___intro_mproperties 16
+#define COLOR_nit__model__MClassDef___mpropdefs 17
+#define COLOR_nit__model__MType__need_anchor 28
+#define COLOR_nit__model__MType__can_resolve_for 29
+#define COLOR_nit__model__MType__lookup_fixed 42
 extern const struct type type_nit__MNullableType;
-#define COLOR_nit__model__MNullableType___mtype 5
+#define COLOR_nit__model__MProxyType___mtype 6
+extern const struct type type_nit__MNotNullType;
 extern const struct type type_nit__MNullType;
-extern const struct type type_nit__MVirtualType;
-#define COLOR_nit__model__MType__lookup_bound 46
+extern const struct type type_nit__MFormalType;
+#define COLOR_nit__model__MType__lookup_bound 33
+#define COLOR_nit__model__MType__as_notnull 34
 val* nit___nit__MClassType___MType__anchor_to(val* self, val* p0, val* p1);
 val* nit___nit__MClassType___MType__collect_mclasses(val* self, val* p0);
 val* nit___nit__MType___supertype_to(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nit__model__MClassType__arguments 63
-#define COLOR_nit__model__MGenericType___arguments 12
+#define COLOR_nit__model__MGenericType___arguments 17
 short int nit___nit__MType___is_subtype(val* self, val* p0, val* p1, val* p2);
-#define COLOR_nit__model__MType__resolve_for 45
-#define COLOR_nit__model__MType__anchor_to 42
-#define COLOR_nit__model__MType__collect_mtypes 56
+#define COLOR_nit__model__MType__resolve_for 26
+#define COLOR_nit__model__MType__anchor_to 30
+#define COLOR_nit__model__MType__collect_mtypes 47
 #define COLOR_nit__model__MType___as_nullable_cache 4
 val* NEW_nit__MNullableType(const struct type* type);
-#define COLOR_nit__model__MNullableType__mtype_61d 62
-#define COLOR_nit__model__MType__collect_mclassdefs 54
-#define COLOR_nit__model__MClassType___arguments 6
+#define COLOR_nit__model__MProxyType__mtype_61d 54
+#define COLOR_nit__model__MType__collect_mclassdefs 25
+#define COLOR_nit__model__MClassType___arguments 7
 val* nit___nit__MClass___standard__string__Object__to_s(val* self);
-#define COLOR_nit___nit__MClassType___MType__anchor_to 74
-#define COLOR_nit__model__MClassType___collect_mclassdefs_cache 9
-short int standard___standard__MapRead___has_key(val* self, val* p0);
+#define COLOR_nit___nit__MClassType___MType__anchor_to 67
+#define COLOR_nit__model__MClassType___collect_mclassdefs_cache 10
+short int standard___standard__HashMap___standard__abstract_collection__MapRead__has_key(val* self, val* p0);
 void nit___nit__MClassType___collect_things(val* self, val* p0);
 val* standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(val* self, val* p0);
-#define COLOR_nit__model__MClassType___collect_mclasses_last_module 7
-#define COLOR_nit__model__MClassType___collect_mclasses_last_module_cache 8
-#define COLOR_nit__model__MClassType___collect_mclasses_cache 10
-#define COLOR_nit__model__MClassType___collect_mtypes_cache 11
+#define COLOR_nit__model__MClassType___collect_mclasses_last_module 8
+#define COLOR_nit__model__MClassType___collect_mclasses_last_module_cache 9
+#define COLOR_nit__model__MClassType___collect_mclasses_cache 11
+#define COLOR_nit__model__MClassType___collect_mtypes_cache 12
 val* NEW_standard__HashSet(const struct type* type);
 extern const struct type type_standard__HashSet__nit__MClassDef;
 void standard___standard__HashSet___standard__kernel__Object__init(val* self);
 extern const struct type type_standard__HashSet__nit__MClass;
 extern const struct type type_standard__HashSet__nit__MClassType;
 void standard___standard__HashSet___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
-extern const struct type type_standard__Array__nit__MClass;
-short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(val* self);
 val* standard___standard__AbstractArray___standard__abstract_collection__Sequence__pop(val* self);
-short int poset___poset__POSetElement____60d_61d(val* self, val* p0);
 short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val* self, val* p0);
-#define COLOR_nit___nit__MClassType___standard__kernel__Object__init 73
-#define COLOR_nit___nit__MGenericType___standard__kernel__Object__init 77
-#define COLOR_nit__model__MGenericType___need_anchor 18
+#define COLOR_nit___nit__MClassType___standard__kernel__Object__init 66
+#define COLOR_nit___nit__MGenericType___standard__kernel__Object__init 71
+#define COLOR_nit__model__MGenericType___need_anchor 23
 val* standard__string___Collection___join(val* self, val* p0);
-#define COLOR_nit__model__MGenericType___to_s 13
-#define COLOR_nit__model__MGenericType___full_name 14
+#define COLOR_nit__model__MGenericType___to_s 18
+#define COLOR_nit__model__MGenericType___full_name 19
 extern const struct type type_standard__Array__standard__String;
-#define COLOR_nit__model_base__MEntity__full_name 33
-#define COLOR_nit__model__MGenericType___c_name 16
-#define COLOR_nit__model_base__MEntity__c_name 34
+#define COLOR_nit__model_base__MEntity__full_name 19
+#define COLOR_nit__model__MGenericType___c_name 21
+#define COLOR_nit__model_base__MEntity__c_name 16
 val* standard___standard__String___Object__to_s(val* self);
 short int nit___nit__MGenericType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
-extern const struct type type_standard__Array__nit__MType;
-val* nit___nit__MClass___get_mtype(val* self, val* p0);
-#define COLOR_nit__model__MType__length 53
-#define COLOR_nit__model__MVirtualType___mproperty 5
+#define COLOR_nit__model__MType__length 35
+#define COLOR_nit__model__MFormalType___as_notnull 6
+val* NEW_nit__MNotNullType(const struct type* type);
+#define COLOR_nit__model__MVirtualType___mproperty 8
 val* nit___nit__MVirtualType___lookup_single_definition(val* self, val* p0, val* p1);
 #define COLOR_nit__model__MVirtualTypeDef___bound 13
 val* nit___nit__MProperty___lookup_definitions(val* self, val* p0, val* p1);
@@ -226,92 +248,103 @@ void standard___standard__ArraySet___standard__kernel__Object__init(val* self);
 void standard___standard__ArraySet___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
 #define COLOR_nit__model__MVirtualTypeDef___is_fixed 14
 long standard___standard__ArraySet___standard__abstract_collection__Collection__length(val* self);
-#define COLOR_nit__model__MType__as_notnullable 50
+#define COLOR_nit__model__MType__undecorate 45
 short int nit___nit__MVirtualType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
 val* nit___nit__MVirtualType___MType__lookup_bound(val* self, val* p0, val* p1);
 short int nit___nit__MType___has_mproperty(val* self, val* p0, val* p1);
 val* nit___nit__MProperty___standard__string__Object__to_s(val* self);
 val* nit___nit__MProperty___nit__model_base__MEntity__c_name(val* self);
-#define COLOR_nit___nit__MVirtualType___standard__kernel__Object__init 64
-#define COLOR_nit__model__MParameterType___mclass 5
-#define COLOR_nit__model__MParameterType___rank 6
-#define COLOR_nit__model__MParameterType___name 7
-#define COLOR_nit__model__MParameterType___full_name 8
-#define COLOR_nit__model__MParameterType___c_name 10
+#define COLOR_nit___nit__MVirtualType___standard__kernel__Object__init 56
+#define COLOR_nit__model__MParameterType___mclass 8
+#define COLOR_nit__model__MParameterType___rank 9
+#define COLOR_nit__model__MParameterType___full_name 11
+#define COLOR_nit__model__MParameterType___c_name 13
 val* nit___nit__MClassType___MType__collect_mtypes(val* self, val* p0);
 val* nit___nit__MParameterType___MType__resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
 short int nit___nit__MParameterType___MType__can_resolve_for(val* self, val* p0, val* p1, val* p2);
 val* nit___nit__MParameterType___MType__lookup_bound(val* self, val* p0, val* p1);
-#define COLOR_nit___nit__MParameterType___standard__kernel__Object__init 66
-#define COLOR_nit__model_base__MEntity__model 35
-#define COLOR_nit___nit__MNullableType___standard__kernel__Object__init 64
-#define COLOR_nit__model__MNullableType___to_s 6
-#define COLOR_nit__model__MNullableType___full_name 7
-#define COLOR_nit__model__MNullableType___c_name 9
-#define COLOR_nit__model__MType__as_nullable 49
-short int nit___nit__MNullableType___MType__need_anchor(val* self);
-#define COLOR_nit__model__MType__collect_mclasses 55
-#define COLOR_nit__model__MNullType___model 5
-#define COLOR_nit___nit__MNullType___standard__kernel__Object__init 62
-#define COLOR_nit__model__MSignature___mparameters 5
-#define COLOR_nit__model__MSignature___return_mtype 6
+#define COLOR_nit___nit__MParameterType___standard__kernel__Object__init 58
+#define COLOR_nit__model_base__MEntity__model 17
+#define COLOR_nit__model__MType__as_nullable 31
+short int nit___nit__MProxyType___MType__need_anchor(val* self);
+#define COLOR_nit__model__MType__collect_mclasses 43
+#define COLOR_nit___nit__MProxyType___standard__kernel__Object__init 55
+#define COLOR_nit___nit__MNullableType___standard__kernel__Object__init 57
+#define COLOR_nit__model__MNullableType___to_s 7
+#define COLOR_nit__model__MNullableType___full_name 8
+#define COLOR_nit__model__MNullableType___c_name 10
+#define COLOR_nit___nit__MNullableType___MType__resolve_for 58
+#define COLOR_nit___nit__MNullableType___MType__lookup_fixed 59
+#define COLOR_nit__model__MNotNullType___full_name 7
+#define COLOR_nit__model__MNotNullType___c_name 9
+#define COLOR_nit___nit__MNotNullType___MType__resolve_for 56
+#define COLOR_nit___nit__MNotNullType___MType__lookup_fixed 57
+#define COLOR_nit__model__MNullType___model 6
+#define COLOR_nit__model__MNullType___as_notnull 7
+val* NEW_nit__MBottomType(const struct type* type);
+extern const struct type type_nit__MBottomType;
+#define COLOR_nit__model__MBottomType__model_61d 53
+#define COLOR_nit___nit__MNullType___standard__kernel__Object__init 54
+#define COLOR_nit__model__MBottomType___model 6
+#define COLOR_nit___nit__MBottomType___standard__kernel__Object__init 54
+#define COLOR_nit__model__MSignature___mparameters 6
+#define COLOR_nit__model__MParameter___name 4
+#define COLOR_nit__model__MSignature___return_mtype 7
 #define COLOR_nit__model__MParameter___mtype 5
-#define COLOR_nit___nit__MSignature___standard__kernel__Object__init 69
+#define COLOR_nit___nit__MSignature___standard__kernel__Object__init 63
 #define COLOR_nit__model__MParameter___is_vararg 6
-#define COLOR_nit__model__MSignature___vararg_rank 7
-val* NEW_standard__FlatBuffer(const struct type* type);
-extern const struct type type_standard__FlatBuffer;
-#define COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init 96
-void standard___standard__FlatBuffer___Buffer__append(val* self, val* p0);
-#define COLOR_nit__model__MParameter___name 4
-val* standard___standard__FlatBuffer___Object__to_s(val* self);
+#define COLOR_nit__model__MSignature___vararg_rank 8
+long nit___nit__MSignature___arity(val* self);
+#define COLOR_nit__model__MParameter___is_default 7
 extern const struct type type_standard__Array__nit__MParameter;
 val* nit___nit__MParameter___resolve_for(val* self, val* p0, val* p1, val* p2, short int p3);
 val* NEW_nit__MSignature(const struct type* type);
 extern const struct type type_nit__MSignature;
-#define COLOR_nit__model__MSignature__mparameters_61d 62
-#define COLOR_nit__model__MSignature__return_mtype_61d 64
+#define COLOR_nit__model__MSignature__mparameters_61d 57
+#define COLOR_nit__model__MSignature__return_mtype_61d 58
 val* NEW_nit__MParameter(const struct type* type);
 extern const struct type type_nit__MParameter;
-#define COLOR_nit__model__MParameter__name_61d 41
-#define COLOR_nit__model__MParameter__mtype_61d 43
-#define COLOR_nit__model__MParameter__is_vararg_61d 45
-#define COLOR_nit___nit__MParameter___standard__kernel__Object__init 47
+#define COLOR_nit__model__MParameter__name_61d 26
+#define COLOR_nit__model__MParameter__mtype_61d 27
+#define COLOR_nit__model__MParameter__is_vararg_61d 28
+#define COLOR_nit__model__MParameter__is_default_61d 29
+#define COLOR_nit___nit__MParameter___standard__kernel__Object__init 33
 #define COLOR_nit__model__MProperty___name 5
 #define COLOR_nit__model__MProperty___full_name 6
 #define COLOR_nit__model__MProperty___visibility 10
 #define COLOR_nit__model__MProperty___c_name 8
-#define COLOR_nit___nit__MProperty___standard__kernel__Object__init 56
-#define COLOR_nit__model__MProperty___mpropdefs 11
-#define COLOR_nit__model__MProperty___intro 12
+#define COLOR_nit__model__MProperty___is_autoinit 11
+#define COLOR_nit___nit__MProperty___standard__kernel__Object__init 42
+#define COLOR_nit__model__MProperty___mpropdefs 12
+#define COLOR_nit__model__MProperty___intro 13
 #define COLOR_nit__model__MProperty__MPROPDEF 2
 val* nit___nit__MPropDef___nit__model_base__MEntity__model(val* self);
-#define COLOR_nit__model__MProperty___lookup_definitions_cache 13
+#define COLOR_nit__model__MProperty___lookup_definitions_cache 14
 val* more_collections___more_collections__HashMap2____91d_93d(val* self, val* p0, val* p1);
 #define COLOR_standard__Array__nit__model__MProperty__MPROPDEF 0
 void more_collections___more_collections__HashMap2____91d_93d_61d(val* self, val* p0, val* p1, val* p2);
 val* nit___nit__MProperty___select_most_specific(val* self, val* p0, val* p1);
 short int poset___poset__POSetElement____60d(val* self, val* p0);
 val* nit___nit__MProperty___lookup_all_definitions(val* self, val* p0, val* p1);
-#define COLOR_nit__model__MProperty___lookup_all_definitions_cache 14
+#define COLOR_nit__model__MProperty___lookup_all_definitions_cache 15
 void nit__model___MModule___linearize_mpropdefs(val* self, val* p0);
 val* standard___standard__AbstractArrayRead___reversed(val* self);
-#define COLOR_nit__model__MMethod___is_toplevel 15
-#define COLOR_nit__model__MMethod___is_init 16
-#define COLOR_nit__model__MMethod___is_root_init 17
-#define COLOR_nit__model__MMethod___is_new 18
-#define COLOR_nit__model__MVirtualTypeProp___mvirtualtype 15
-#define COLOR_nit__model__MPropDef___mproperty 5
+#define COLOR_nit__model__MMethod___is_toplevel 16
+#define COLOR_nit__model__MMethod___is_init 17
+#define COLOR_nit__model__MMethod___is_root_init 18
+#define COLOR_nit__model__MMethod___is_new 19
+#define COLOR_nit__model__MVirtualTypeProp___mvirtualtype 16
+#define COLOR_nit__model__MPropDef___mproperty 6
 #define COLOR_nit__model__MPropDef__MPROPERTY 1
-#define COLOR_nit__model__MPropDef___location 6
-#define COLOR_nit___nit__MPropDef___standard__kernel__Object__init 52
-#define COLOR_nit__model__MPropDef___to_s 11
-#define COLOR_nit__model__MPropDef___full_name 7
+#define COLOR_nit__model__MPropDef___location 7
+#define COLOR_nit___nit__MPropDef___standard__kernel__Object__init 36
+#define COLOR_nit__model__MPropDef___to_s 12
+#define COLOR_nit__model__MPropDef___full_name 8
 val* nit___nit__MClassDef___nit__model_base__MEntity__full_name(val* self);
 val* nit___nit__MPropDef___nit__model_base__MEntity__name(val* self);
 short int standard___standard__Comparable____60d_61d(val* self, val* p0);
 val* nit___nit__MClassDef___nit__model_base__MEntity__name(val* self);
-#define COLOR_nit__model__MPropDef___c_name 9
+#define COLOR_nit__model__MPropDef___c_name 10
 val* nit___nit__MClassDef___nit__model_base__MEntity__c_name(val* self);
 val* nit___nit__MClassDef___nit__model_base__MEntity__model(val* self);
 #define COLOR_nit__model__MPropDef__MPROPDEF 2
@@ -325,10 +358,10 @@ val* nit___nit__MClassDef___nit__model_base__MEntity__model(val* self);
 #define COLOR_nit__model__MAttributeDef___static_mtype 13
 #define COLOR_nit__model__MClassKind___to_s 0
 #define COLOR_nit__model__MClassKind___need_init 1
-val* nit__model___standard__Object___interface_kind(val* self);
-val* nit__model___standard__Object___extern_kind(val* self);
-#define COLOR_nit___nit__MClassKind___standard__kernel__Object__init 36
+val* nit__model___standard__Sys___interface_kind(val* self);
+val* nit__model___standard__Sys___extern_kind(val* self);
+#define COLOR_nit___nit__MClassKind___standard__kernel__Object__init 20
 val* NEW_nit__MClassKind(const struct type* type);
 extern const struct type type_nit__MClassKind;
-#define COLOR_nit__model__MClassKind__to_s_61d 32
-#define COLOR_nit__model__MClassKind__need_init_61d 34
+#define COLOR_nit__model__MClassKind__to_s_61d 16
+#define COLOR_nit__model__MClassKind__need_init_61d 17