diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
index 6ec4b9b8..81e1ebe2 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps
@@ -2777,6 +2777,9 @@
+
+
+
@@ -3917,7 +3920,7 @@
-
+
@@ -3967,7 +3970,7 @@
-
+
@@ -4148,7 +4151,7 @@
-
+
@@ -4198,7 +4201,7 @@
-
+
@@ -4402,7 +4405,7 @@
-
+
@@ -4424,7 +4427,7 @@
-
+
@@ -4478,7 +4481,7 @@
-
+
@@ -4510,7 +4513,7 @@
-
+
@@ -4780,7 +4783,7 @@
-
+
@@ -4826,7 +4829,7 @@
-
+
@@ -4886,7 +4889,7 @@
-
+
@@ -4930,7 +4933,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
index e4d60e34..24ddb03b 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
@@ -753,7 +753,7 @@
-
+
@@ -2506,7 +2506,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
index 5d1a3806..49506dfd 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
@@ -1582,6 +1582,9 @@
+
+
+
@@ -1690,6 +1693,9 @@
+
+
+
@@ -2171,6 +2177,12 @@
+
+
+
+
+
+
@@ -2185,6 +2197,9 @@
+
+
+
@@ -2397,7 +2412,7 @@
-
+
@@ -2450,7 +2465,7 @@
-
+
@@ -2561,7 +2576,7 @@
-
+
@@ -2627,7 +2642,7 @@
-
+
@@ -2695,7 +2710,7 @@
-
+
@@ -2742,7 +2757,7 @@
-
+
@@ -2837,7 +2852,7 @@
-
+
@@ -2879,7 +2894,7 @@
-
+
@@ -3328,7 +3343,7 @@
-
+
@@ -3367,7 +3382,7 @@
-
+
@@ -3521,7 +3536,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index f63b1b63..bd345f0b 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -1037,27 +1037,50 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -2044,7 +2067,7 @@
-
+
@@ -2106,7 +2129,7 @@
-
+
@@ -6585,6 +6608,9 @@
+
+
+
@@ -6647,6 +6673,9 @@
+
+
+
@@ -6811,47 +6840,302 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
@@ -6860,10 +7144,7 @@
-
-
-
-
+
@@ -6886,44 +7167,29 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
@@ -6932,10 +7198,7 @@
-
-
-
-
+
@@ -6961,44 +7224,29 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
@@ -7007,10 +7255,7 @@
-
-
-
-
+
@@ -7031,42 +7276,27 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
@@ -7083,10 +7313,7 @@
-
-
-
-
+
@@ -7114,54 +7341,39 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7176,10 +7388,7 @@
-
-
-
-
+
@@ -7205,54 +7414,39 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7267,10 +7461,7 @@
-
-
-
-
+
@@ -7301,10 +7492,7 @@
-
-
-
-
+
@@ -7334,21 +7522,17 @@
-
-
-
-
-
+
+
+
+
+
-
+
-
-
-
-
@@ -7367,37 +7551,31 @@
-
-
-
-
+
-
-
-
-
+
+
+
+
+
-
+
-
+
-
+
-
-
-
-
@@ -7628,6 +7806,12 @@
+
+
+
+
+
+
@@ -7657,7 +7841,6 @@
-
@@ -8238,6 +8421,12 @@
+
+
+
+
+
+
@@ -8271,6 +8460,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -9390,6 +9607,14 @@
+
+
+
+
+
+
+
+
@@ -12414,6 +12639,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12430,6 +12667,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12461,18 +12724,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -12623,31 +12876,11 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -13091,6 +13324,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13109,6 +13358,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13117,6 +13378,12 @@
+
+
+
+
+
+
@@ -13206,18 +13473,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -13501,6 +13758,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13521,6 +13790,12 @@
+
+
+
+
+
+
@@ -13789,18 +14064,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -13860,18 +14125,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -14145,6 +14400,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14161,6 +14428,12 @@
+
+
+
+
+
+
@@ -14347,18 +14620,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -14416,18 +14679,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -14788,6 +15041,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14844,6 +15109,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15170,18 +15461,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -15200,18 +15481,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -15871,18 +16142,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -15895,18 +16156,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -15942,6 +16193,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16291,201 +16558,10 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -16494,6 +16570,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16513,12 +16607,21 @@
+
+
+
+
+
+
+
+
+
@@ -16547,25 +16650,15 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
@@ -16578,13 +16671,8 @@
-
-
-
-
-
-
-
+
+
@@ -16860,13 +16948,8 @@
-
-
-
-
-
-
-
+
+
@@ -16883,8 +16966,8 @@
-
-
+
+
@@ -16921,19 +17004,14 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
-
+
@@ -16956,16 +17034,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -16976,13 +17044,6 @@
-
-
-
-
-
-
-
@@ -17147,6 +17208,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17391,12 +17474,6 @@
-
-
-
-
-
-
@@ -17436,13 +17513,8 @@
-
-
-
-
-
-
-
+
+
@@ -17456,13 +17528,8 @@
-
-
-
-
-
-
-
+
+
@@ -17487,6 +17554,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17497,13 +17578,8 @@
-
-
-
-
-
-
-
+
+
@@ -17660,10 +17736,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17749,6 +17849,9 @@
+
+
+
@@ -17868,13 +17971,8 @@
-
-
-
-
-
-
-
+
+
@@ -17888,13 +17986,8 @@
-
-
-
-
-
-
-
+
+
@@ -17919,6 +18012,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17929,13 +18036,8 @@
-
-
-
-
-
-
-
+
+
@@ -18135,16 +18237,34 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -18159,6 +18279,9 @@
+
+
+
@@ -18243,12 +18366,6 @@
-
-
-
-
-
-
@@ -18259,13 +18376,8 @@
-
-
-
-
-
-
-
+
+
@@ -18312,6 +18424,141 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -18319,28 +18566,24 @@
-
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
+
@@ -18429,153 +18672,24 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
@@ -18651,13 +18765,8 @@
-
-
-
-
-
-
-
+
+
@@ -18700,6 +18809,85 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -18707,27 +18895,46 @@
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
@@ -18875,120 +19082,24 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
@@ -19157,13 +19268,8 @@
-
-
-
-
-
-
-
+
+
@@ -19206,6 +19312,85 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19213,27 +19398,46 @@
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
@@ -19380,119 +19584,24 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
@@ -19644,12 +19753,6 @@
-
-
-
-
-
-
@@ -19665,13 +19768,8 @@
-
-
-
-
-
-
-
+
+
@@ -19714,6 +19812,113 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19723,28 +19928,24 @@
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
+
@@ -19831,121 +20032,24 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
-
-
@@ -20016,17 +20120,131 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20039,118 +20257,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -20231,6 +20357,12 @@
+
+
+
+
+
+
@@ -20271,6 +20403,12 @@
+
+
+
+
+
+
@@ -20338,11 +20476,17 @@
+
+
+
+
+
+
@@ -20356,6 +20500,12 @@
+
+
+
+
+
+
@@ -20393,6 +20543,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20493,12 +20661,6 @@
-
-
-
-
-
-
@@ -20514,13 +20676,8 @@
-
-
-
-
-
-
-
+
+
@@ -20558,6 +20715,114 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20567,28 +20832,24 @@
-
-
-
-
-
+
+
+
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
+
@@ -20676,141 +20937,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
index 00824682..ababe2c5 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps
@@ -561,7 +561,7 @@
-
+
@@ -599,7 +599,7 @@
-
+
@@ -715,7 +715,7 @@
-
+
@@ -753,7 +753,7 @@
-
+
@@ -859,7 +859,7 @@
-
+
@@ -902,7 +902,7 @@
-
+