-#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