diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
index 779e6872..4b08f253 100644
--- a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -38,7 +38,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index 8f1630f7..2483ea76 100644
--- a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -5,7 +5,7 @@
-
+
@@ -581,6 +581,9 @@
+
+
+
@@ -678,6 +681,7 @@
+
@@ -786,11 +790,6 @@
-
-
-
-
-
@@ -833,6 +832,13 @@
+
+
+
+
+
+
+
@@ -854,11 +860,6 @@
-
-
-
-
-
@@ -885,6 +886,13 @@
+
+
+
+
+
+
+
@@ -893,11 +901,6 @@
-
-
-
-
-
@@ -955,6 +958,13 @@
+
+
+
+
+
+
+
@@ -973,11 +983,6 @@
-
-
-
-
-
@@ -1037,6 +1042,13 @@
+
+
+
+
+
+
+
@@ -1093,20 +1105,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1236,15 +1234,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
@@ -1290,6 +1299,13 @@
+
+
+
+
+
+
+
@@ -1387,11 +1403,6 @@
-
-
-
-
-
@@ -1413,34 +1424,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1583,15 +1566,45 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
@@ -1622,29 +1635,17 @@
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1748,6 +1749,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1848,14 +1870,6 @@
-
-
-
-
-
-
-
-
@@ -1926,15 +1940,20 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
@@ -1971,6 +1990,13 @@
+
+
+
+
+
+
+
@@ -2002,16 +2028,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -2138,6 +2154,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2193,16 +2221,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -2222,15 +2240,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
@@ -2367,16 +2392,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -2503,6 +2518,23 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2520,14 +2552,6 @@
-
-
-
-
-
-
-
-
@@ -2540,6 +2564,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -3327,11 +3361,6 @@
-
-
-
-
-
@@ -3353,31 +3382,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -3635,32 +3639,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -4036,32 +4050,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -4130,6 +4146,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4143,14 +4183,6 @@
-
-
-
-
-
-
-
-
@@ -4470,6 +4502,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -4833,14 +4875,6 @@
-
-
-
-
-
-
-
-
@@ -4897,19 +4931,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -4988,6 +5024,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -5018,14 +5064,6 @@
-
-
-
-
-
-
-
-
@@ -5042,14 +5080,6 @@
-
-
-
-
-
-
-
-
@@ -5075,6 +5105,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5122,22 +5170,9 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -5154,14 +5189,6 @@
-
-
-
-
-
-
-
-
@@ -5176,6 +5203,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5224,14 +5274,6 @@
-
-
-
-
-
-
-
-
@@ -5248,11 +5290,6 @@
-
-
-
-
-
@@ -5267,6 +5304,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5314,11 +5366,6 @@
-
-
-
-
-
@@ -5340,14 +5387,6 @@
-
-
-
-
-
-
-
-
@@ -5362,6 +5401,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5378,14 +5432,6 @@
-
-
-
-
-
-
-
-
@@ -5405,6 +5451,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -5454,17 +5510,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -5518,6 +5563,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5567,17 +5625,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -5631,6 +5678,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5651,20 +5711,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -5717,6 +5763,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5737,20 +5799,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -5803,6 +5851,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5833,17 +5897,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -5879,11 +5932,6 @@
-
-
-
-
-
@@ -5898,6 +5946,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5918,20 +5984,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -5984,6 +6036,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6004,17 +6072,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -6048,6 +6105,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6068,17 +6138,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -6112,6 +6171,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6132,17 +6204,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -6176,19 +6237,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -6214,6 +6280,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -6238,17 +6314,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -6534,11 +6599,6 @@
-
-
-
-
-
@@ -6721,6 +6781,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6730,11 +6808,6 @@
-
-
-
-
-
@@ -6756,11 +6829,6 @@
-
-
-
-
-
@@ -6790,6 +6858,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6811,11 +6891,6 @@
-
-
-
-
-
@@ -6859,6 +6934,13 @@
+
+
+
+
+
+
+
@@ -6867,11 +6949,6 @@
-
-
-
-
-
@@ -6907,14 +6984,6 @@
-
-
-
-
-
-
-
-
@@ -6958,6 +7027,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6978,14 +7062,6 @@
-
-
-
-
-
-
-
-
@@ -7029,6 +7105,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7113,14 +7199,6 @@
-
-
-
-
-
-
-
-
@@ -7164,18 +7242,20 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -7227,17 +7307,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -7298,6 +7367,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7329,14 +7419,6 @@
-
-
-
-
-
-
-
-
@@ -7356,6 +7438,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7376,14 +7468,6 @@
-
-
-
-
-
-
-
-
@@ -7398,6 +7482,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7449,7 +7543,9 @@
-
+
+
+
@@ -7512,7 +7608,9 @@
-
+
+
+
@@ -7554,14 +7652,6 @@
-
-
-
-
-
-
-
-
@@ -7591,6 +7681,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7619,11 +7719,6 @@
-
-
-
-
-
@@ -7658,7 +7753,14 @@
-
+
+
+
+
+
+
+
+
@@ -7686,14 +7788,6 @@
-
-
-
-
-
-
-
-
@@ -7713,6 +7807,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7729,14 +7833,6 @@
-
-
-
-
-
-
-
-
@@ -7775,20 +7871,22 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -7824,6 +7922,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7844,14 +7952,6 @@
-
-
-
-
-
-
-
-
@@ -7876,20 +7976,22 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -7929,6 +8031,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -7949,20 +8061,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -8015,6 +8113,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8066,7 +8180,9 @@
-
+
+
+
@@ -8129,7 +8245,9 @@
-
+
+
+
@@ -8175,14 +8293,6 @@
-
-
-
-
-
-
-
-
@@ -8197,6 +8307,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -8216,14 +8336,6 @@
-
-
-
-
-
-
-
-
@@ -8240,11 +8352,6 @@
-
-
-
-
-
@@ -8277,19 +8384,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -8336,19 +8450,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -8395,19 +8511,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -8460,27 +8578,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -8525,6 +8637,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10278,14 +10408,6 @@
-
-
-
-
-
-
-
-
@@ -10311,17 +10433,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -10477,46 +10588,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -10593,45 +10689,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -10731,6 +10788,85 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10754,33 +10890,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -10902,42 +11011,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -11200,22 +11273,80 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
@@ -11244,6 +11375,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11299,19 +11443,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -11328,14 +11459,6 @@
-
-
-
-
-
-
-
-
@@ -11361,6 +11484,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11410,17 +11556,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -11443,6 +11578,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11473,17 +11621,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -11506,6 +11643,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11539,17 +11689,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -11567,6 +11706,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11586,26 +11738,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -11661,6 +11793,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11683,17 +11837,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -11761,17 +11904,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -11789,6 +11921,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11859,14 +12015,6 @@
-
-
-
-
-
-
-
-
@@ -11881,6 +12029,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -11917,11 +12075,6 @@
-
-
-
-
-
@@ -11975,19 +12128,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12048,6 +12188,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12071,19 +12231,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12138,6 +12285,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12161,19 +12323,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12228,6 +12377,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12251,19 +12415,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12323,24 +12474,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12390,24 +12543,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12436,6 +12591,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12487,55 +12657,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12924,6 +13045,57 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13007,14 +13179,6 @@
-
-
-
-
-
-
-
-
@@ -13039,19 +13203,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13076,19 +13242,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13113,19 +13281,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13150,19 +13320,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13187,6 +13359,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -13216,17 +13398,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13265,6 +13436,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13294,17 +13478,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13343,6 +13516,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13372,17 +13558,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13421,19 +13596,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13458,19 +13638,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13495,6 +13677,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -13512,14 +13704,6 @@
-
-
-
-
-
-
-
-
@@ -13532,6 +13716,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -13556,17 +13750,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13642,22 +13825,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
@@ -13733,6 +13918,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13752,17 +13950,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13794,6 +13981,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13817,17 +14017,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13865,6 +14054,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13892,14 +14094,6 @@
-
-
-
-
-
-
-
-
@@ -13957,19 +14151,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -13998,6 +14194,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -14037,12 +14243,6 @@
-
-
-
-
-
-
@@ -14072,11 +14272,6 @@
-
-
-
-
-
@@ -14103,16 +14298,23 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
@@ -14142,11 +14344,6 @@
-
-
-
-
-
@@ -14173,6 +14370,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14203,12 +14413,6 @@
-
-
-
-
-
-
@@ -14231,11 +14435,6 @@
-
-
-
-
-
@@ -14243,6 +14442,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14273,12 +14485,6 @@
-
-
-
-
-
-
@@ -14301,11 +14507,6 @@
-
-
-
-
-
@@ -14313,6 +14514,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14345,22 +14559,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -14398,34 +14596,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -14482,27 +14652,56 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -14676,34 +14875,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -14777,6 +14948,53 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14807,17 +15025,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -14862,6 +15069,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14913,13 +15133,15 @@
-
+
+
+
-
+
@@ -14932,12 +15154,6 @@
-
-
-
-
-
-
@@ -14982,20 +15198,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -15029,16 +15231,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
@@ -15083,20 +15301,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -15130,16 +15334,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
@@ -15184,20 +15404,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -15231,16 +15437,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
@@ -15285,20 +15507,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -15332,6 +15540,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15353,17 +15583,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15383,6 +15602,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15404,17 +15636,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15434,6 +15655,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15455,17 +15689,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15485,6 +15708,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15506,17 +15742,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15536,6 +15761,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15557,17 +15795,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15587,6 +15814,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15608,17 +15848,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15638,6 +15867,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15659,17 +15901,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15689,6 +15920,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15710,17 +15954,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15740,6 +15973,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15757,17 +16003,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -15789,6 +16024,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19019,28 +19267,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -19100,36 +19326,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -19447,6 +19643,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19539,7 +19789,9 @@
-
+
+
+
@@ -19570,14 +19822,6 @@
-
-
-
-
-
-
-
-
@@ -19592,22 +19836,21 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
@@ -19632,11 +19875,6 @@
-
-
-
-
-
@@ -19707,25 +19945,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -19818,25 +20060,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -19875,11 +20119,6 @@
-
-
-
-
-
@@ -19949,7 +20188,28 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19960,17 +20220,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -20012,7 +20261,20 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20072,14 +20334,6 @@
-
-
-
-
-
-
-
-
@@ -20111,7 +20365,17 @@
-
+
+
+
+
+
+
+
+
+
+
+
@@ -20134,14 +20398,6 @@
-
-
-
-
-
-
-
-
@@ -20158,6 +20414,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -20181,14 +20447,6 @@
-
-
-
-
-
-
-
-
@@ -20208,6 +20466,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -20259,7 +20527,9 @@
-
+
+
+
@@ -20275,11 +20545,6 @@
-
-
-
-
-
@@ -20315,14 +20580,6 @@
-
-
-
-
-
-
-
-
@@ -20342,6 +20599,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20362,17 +20634,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -20406,6 +20667,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20426,17 +20700,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -20470,15 +20733,23 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
@@ -20509,19 +20780,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -20547,6 +20805,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
index 6a3b7514..89e7a3a9 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
+++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
@@ -83,7 +83,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index 488c972f..9d8eff48 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -2,7 +2,7 @@
-
+