diff --git a/build.xml b/build.xml
index 6323f842..38ea90ad 100644
--- a/build.xml
+++ b/build.xml
@@ -4425,6 +4425,7 @@
+
@@ -4498,6 +4499,7 @@
+
@@ -4615,6 +4617,7 @@
+
@@ -4664,6 +4667,7 @@
+
@@ -5061,6 +5065,7 @@
+
@@ -5126,6 +5131,7 @@
+
@@ -5356,6 +5362,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
index 92020813..c933df54 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
@@ -2,13 +2,13 @@
-
-
+
+
-
+
-
+
@@ -16,7 +16,7 @@
-
+
@@ -528,6 +528,13 @@
+
+
+
+
+
+
+
@@ -545,9 +552,6 @@
-
-
-
@@ -596,9 +600,6 @@
-
-
-
@@ -1483,7 +1484,7 @@
-
+
@@ -2250,10 +2251,13 @@
-
-
-
-
+
+
+
+
+
+
+
@@ -2930,7 +2934,7 @@
-
+
@@ -7263,7 +7267,7 @@
-
+
@@ -7294,7 +7298,7 @@
-
+
@@ -7652,7 +7656,7 @@
-
+
@@ -7805,7 +7809,7 @@
-
+
@@ -7985,7 +7989,7 @@
-
+
@@ -8329,7 +8333,7 @@
-
+
@@ -8475,7 +8479,7 @@
-
+
@@ -8731,7 +8735,7 @@
-
+
@@ -8827,7 +8831,7 @@
-
+
@@ -8901,12 +8905,12 @@
-
+
-
+
@@ -8994,7 +8998,7 @@
-
+
@@ -9331,7 +9335,7 @@
-
+
@@ -9686,7 +9690,7 @@
-
+
@@ -9783,7 +9787,7 @@
-
+
@@ -9886,7 +9890,7 @@
-
+
@@ -11007,7 +11011,7 @@
-
+
@@ -11380,7 +11384,7 @@
-
+
@@ -11527,7 +11531,7 @@
-
+
@@ -12501,7 +12505,7 @@
-
+
@@ -15781,12 +15785,12 @@
-
+
-
-
-
+
+
+
@@ -15808,12 +15812,12 @@
-
+
-
-
-
+
+
+
@@ -15835,12 +15839,12 @@
-
+
-
-
-
+
+
+
@@ -15856,7 +15860,7 @@
-
+
@@ -15864,7 +15868,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
index e0a12992..cdc543b3 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
+++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
@@ -35,19 +35,19 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
+
@@ -61,6 +61,7 @@
+
@@ -70,6 +71,7 @@
+
@@ -114,32 +116,32 @@
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
+
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
index b5492e71..75a5de3a 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
@@ -2,10 +2,10 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
index b52636f0..3bde8005 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
@@ -3,7 +3,7 @@
-
+
@@ -425,11 +425,10 @@
+
-
-
@@ -455,14 +454,6 @@
-
-
-
-
-
-
-
-
@@ -478,6 +469,13 @@
+
+
+
+
+
+
+
@@ -1023,13 +1021,13 @@
-
+
-
+
@@ -1038,13 +1036,13 @@
-
+
-
+
@@ -1053,13 +1051,13 @@
-
+
-
+
@@ -1082,10 +1080,10 @@
-
+
-
+
@@ -1151,10 +1149,10 @@
-
+
-
+
@@ -1272,7 +1270,7 @@
-
+
@@ -1453,7 +1451,7 @@
-
+
@@ -1522,7 +1520,7 @@
-
+
@@ -1662,7 +1660,7 @@
-
+
@@ -1769,7 +1767,7 @@
-
+
@@ -1788,7 +1786,7 @@
-
+
@@ -2295,7 +2293,7 @@
-
+
@@ -2400,7 +2398,7 @@
-
+
@@ -2464,10 +2462,10 @@
-
+
-
+
@@ -2502,7 +2500,7 @@
-
+
@@ -2581,7 +2579,7 @@
-
+
@@ -2608,7 +2606,7 @@
-
+
@@ -2659,10 +2657,10 @@
-
+
-
+
@@ -2670,7 +2668,7 @@
-
+
@@ -2718,7 +2716,7 @@
-
+
@@ -2741,10 +2739,10 @@
-
+
-
+
@@ -2752,7 +2750,7 @@
-
+
@@ -2800,7 +2798,7 @@
-
+
@@ -2819,10 +2817,10 @@
-
+
-
+
@@ -2830,7 +2828,7 @@
-
+
@@ -2878,7 +2876,7 @@
-
+
@@ -2952,7 +2950,7 @@
-
+
@@ -3138,7 +3136,7 @@
-
+
@@ -3190,7 +3188,7 @@
-
+
@@ -3474,7 +3472,7 @@
-
+
@@ -3526,7 +3524,7 @@
-
+
@@ -3634,7 +3632,7 @@
-
+
@@ -3891,7 +3889,7 @@
-
+
@@ -3943,7 +3941,7 @@
-
+
@@ -4053,7 +4051,7 @@
-
+
@@ -4250,7 +4248,7 @@
-
+
@@ -4329,14 +4327,14 @@
-
+
-
+
@@ -4387,7 +4385,7 @@
-
+
@@ -4410,7 +4408,7 @@
-
+
@@ -4443,7 +4441,7 @@
-
+
@@ -4580,7 +4578,7 @@
-
+
@@ -4659,7 +4657,7 @@
-
+
@@ -4880,7 +4878,7 @@
-
+
@@ -4943,15 +4941,15 @@
-
+
-
+
@@ -4998,18 +4996,17 @@
-
+
-
-
-
-
-
-
+
+
+
+
+
+
-
@@ -5027,19 +5024,21 @@
-
-
-
+
+
+
+
+
-
+
+
-
@@ -5070,7 +5069,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
index 512ce561..2c2b7657 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps
@@ -2,14 +2,14 @@
-
+
-
+
-
+
@@ -109,9 +109,7 @@
-
-
-
+
@@ -508,7 +506,7 @@
-
+
@@ -722,7 +720,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
index 54d8d8b8..57678297 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
@@ -2,9 +2,9 @@
-
+
-
+
@@ -227,7 +227,7 @@
-
+
@@ -286,7 +286,7 @@
-
+
@@ -345,7 +345,7 @@
-
+
@@ -404,7 +404,7 @@
-
+
@@ -463,7 +463,7 @@
-
+
@@ -522,7 +522,7 @@
-
+
@@ -581,7 +581,7 @@
-
+
@@ -641,7 +641,7 @@
-
+
@@ -701,7 +701,7 @@
-
+
@@ -760,7 +760,7 @@
-
+
@@ -821,7 +821,7 @@
-
+
@@ -881,7 +881,7 @@
-
+
@@ -941,7 +941,7 @@
-
+
@@ -1000,7 +1000,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
index dc8fb26d..09516004 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -14,6 +14,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21,12 +33,20 @@
-
+
+
+
+
-
+
+
+
+
+
+
@@ -86,22 +106,21 @@
-
-
+
-
+
-
+
-
+
@@ -122,17 +141,17 @@
-
+
-
+
-
+
-
+
@@ -165,9 +184,9 @@
-
+
-
+
@@ -186,16 +205,15 @@
-
-
+
-
+
-
+
@@ -211,9 +229,9 @@
-
+
-
+
@@ -242,9 +260,8 @@
-
-
+
@@ -256,16 +273,16 @@
-
+
-
+
-
+
-
+
@@ -304,16 +321,15 @@
-
-
+
-
+
-
+
@@ -326,7 +342,7 @@
-
+
@@ -353,9 +369,9 @@
-
+
-
+
@@ -376,9 +392,9 @@
-
+
-
+
@@ -404,7 +420,7 @@
-
+
@@ -420,9 +436,9 @@
-
+
-
+
@@ -440,23 +456,22 @@
-
+
-
+
-
+
-
+
-
+
-
@@ -494,9 +509,9 @@
-
+
-
+
@@ -508,17 +523,17 @@
-
+
-
+
-
+
-
+
@@ -537,15 +552,15 @@
-
+
-
+
-
+
@@ -568,14 +583,14 @@
-
+
-
+
-
+
@@ -596,9 +611,8 @@
-
-
+
@@ -629,9 +643,9 @@
-
+
-
+
@@ -651,9 +665,8 @@
-
-
+
@@ -668,24 +681,23 @@
-
-
+
-
+
-
+
-
+
-
+
@@ -696,16 +708,15 @@
-
-
+
-
+
-
+
@@ -721,9 +732,9 @@
-
+
-
+
@@ -735,21 +746,20 @@
-
-
+
-
+
-
+
-
+
@@ -764,9 +774,9 @@
-
+
-
+
@@ -785,9 +795,9 @@
-
+
-
+
@@ -798,9 +808,9 @@
-
+
-
+
@@ -812,16 +822,16 @@
-
+
-
+
-
+
-
+
@@ -840,9 +850,9 @@
-
+
-
+
@@ -856,9 +866,9 @@
-
+
-
+
@@ -869,9 +879,9 @@
-
+
-
+
@@ -891,9 +901,8 @@
-
-
+
@@ -905,9 +914,9 @@
-
+
-
+
@@ -921,9 +930,9 @@
-
+
-
+
@@ -938,23 +947,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -970,22 +979,22 @@
-
+
-
+
-
+
-
+
@@ -1008,29 +1017,29 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1050,9 +1059,9 @@
-
+
-
+
@@ -1064,9 +1073,9 @@
-
+
-
+
@@ -1076,9 +1085,9 @@
-
+
-
+
@@ -1091,35 +1100,26 @@
-
-
+
-
+
+
+
+
+
+
+
+
+
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1129,16 +1129,16 @@
-
+
-
+
-
+
-
+
@@ -1150,9 +1150,9 @@
-
+
-
+
@@ -1184,24 +1184,24 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -1224,9 +1224,9 @@
-
+
-
+
@@ -1237,9 +1237,8 @@
-
-
+
@@ -1251,9 +1250,9 @@
-
+
-
+
@@ -1278,46 +1277,27 @@
-
+
-
+
-
-
+
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1326,14 +1306,122 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
index 58a27d5e..f2984741 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
@@ -111,9 +111,7 @@
-
-
-
+
@@ -1397,7 +1395,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
index 152cd4d0..015b1bfa 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps
@@ -5,8 +5,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
index 24bde774..eb3b749c 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd
@@ -23,9 +23,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
index 2e1bf118..3eee106a 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps
@@ -4,7 +4,7 @@
-
+
@@ -13,7 +13,7 @@
-
+
@@ -1069,7 +1069,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
index 6ee8ed35..78d29a51 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
@@ -4,10 +4,10 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
index d8a9e25b..14573c23 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl
@@ -29,15 +29,15 @@
-
-
-
+
+
+
-
+
-
+
@@ -54,6 +54,7 @@
+
@@ -67,6 +68,7 @@
+
@@ -105,21 +107,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
-
+
@@ -134,6 +136,7 @@
+
@@ -141,6 +144,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps
index 4116ee75..983a9eaf 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps
index 64313c52..b6d42d74 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps
index e12f6dd7..9204b975 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps
index 610ddb49..336fcd1c 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
index 0c651b14..3414c444 100644
--- a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
+++ b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
@@ -22,14 +22,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -44,11 +44,13 @@
+
+
@@ -82,29 +84,29 @@
-
-
-
+
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
+
@@ -116,11 +118,13 @@
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
index 80aa8564..a18f3385 100644
--- a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
+++ b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
index 6f8e66bb..6813f804 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps
@@ -3,9 +3,9 @@
-
-
-
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
index 38693a90..179b450b 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
@@ -37,15 +37,15 @@
-
-
-
+
+
+
-
+
-
+
@@ -64,6 +64,7 @@
+
@@ -75,6 +76,7 @@
+
@@ -116,21 +118,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
-
+
@@ -145,12 +147,14 @@
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps
index 8c33f23d..c5931615 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps
index 1aef9977..d7e3daaa 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
index d47de6bd..926d681d 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
index d998b795..0ba10764 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -40,9 +40,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
index c7814162..f99c19fc 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
@@ -2,10 +2,10 @@
-
+
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index fb8c9223..b580079c 100644
--- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -2,17 +2,17 @@
-
-
-
-
+
+
+
+
-
+
-
+
@@ -1751,7 +1751,7 @@
-
+
@@ -1965,7 +1965,7 @@
-
+
@@ -2527,7 +2527,7 @@
-
+
@@ -2537,7 +2537,7 @@
-
+
@@ -2965,7 +2965,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index e108fbf9..1a200acc 100644
--- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -28,17 +28,17 @@
-
-
-
+
+
+
-
-
-
-
+
+
+
+
-
+
@@ -101,32 +101,32 @@
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
+
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
index e8638c71..8d126406 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
index b2d8a589..bb730853 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
@@ -3,9 +3,9 @@
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
index b6ff2473..bb0012ba 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -3,13 +3,13 @@
-
+
-
+
-
+
@@ -676,7 +676,7 @@
-
+
@@ -799,7 +799,7 @@
-
+
@@ -961,7 +961,7 @@
-
+
@@ -982,7 +982,7 @@
-
+
@@ -1033,7 +1033,7 @@
-
+
@@ -1050,7 +1050,7 @@
-
+
@@ -1139,7 +1139,7 @@
-
+
@@ -1159,7 +1159,7 @@
-
+
@@ -2429,10 +2429,10 @@
-
+
-
+
@@ -2440,7 +2440,7 @@
-
+
@@ -2472,7 +2472,7 @@
-
+
@@ -2505,10 +2505,10 @@
-
+
-
+
@@ -2516,7 +2516,7 @@
-
+
@@ -2538,10 +2538,10 @@
-
+
-
+
@@ -2549,7 +2549,7 @@
-
+
@@ -2572,10 +2572,10 @@
-
+
-
+
@@ -2583,7 +2583,7 @@
-
+
@@ -2631,7 +2631,7 @@
-
+
@@ -2651,10 +2651,10 @@
-
+
-
+
@@ -2662,7 +2662,7 @@
-
+
@@ -2710,7 +2710,7 @@
-
+
@@ -3141,7 +3141,7 @@
-
+
@@ -3181,7 +3181,7 @@
-
+
@@ -3232,7 +3232,7 @@
-
+
@@ -3410,7 +3410,7 @@
-
+
@@ -3697,7 +3697,7 @@
-
+
@@ -3756,7 +3756,7 @@
-
+
@@ -3769,7 +3769,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
index c7081cb4..c4849796 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps
@@ -2,8 +2,8 @@
-
-
+
+
@@ -98,7 +98,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps
new file mode 100644
index 00000000..c1446cda
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps
@@ -0,0 +1,274 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps
index 93d6ef86..8e94815f 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps
@@ -2,9 +2,9 @@
-
+
-
+
@@ -124,7 +124,7 @@
-
+
@@ -183,7 +183,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
index a84fb52f..e5457bdf 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -11,6 +11,15 @@
+
+
+
+
+
+
+
+
+
@@ -18,12 +27,19 @@
-
-
+
+
+
+
-
+
+
+
+
+
+
@@ -80,9 +96,9 @@
-
+
-
+
@@ -95,9 +111,9 @@
-
+
-
+
@@ -121,9 +137,9 @@
-
+
-
+
@@ -136,9 +152,9 @@
-
+
-
+
@@ -156,27 +172,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -206,9 +201,9 @@
-
+
-
+
@@ -220,7 +215,7 @@
-
+
@@ -239,15 +234,14 @@
-
-
+
-
+
@@ -259,7 +253,7 @@
-
+
@@ -272,9 +266,9 @@
-
+
-
+
@@ -296,9 +290,9 @@
-
+
-
+
@@ -308,14 +302,14 @@
-
+
-
+
-
+
@@ -335,9 +329,9 @@
-
+
-
+
@@ -350,9 +344,9 @@
-
+
-
+
@@ -366,9 +360,9 @@
-
+
-
+
@@ -380,9 +374,9 @@
-
+
-
+
@@ -395,9 +389,9 @@
-
+
-
+
@@ -408,7 +402,7 @@
-
+
@@ -445,7 +439,7 @@
-
+
@@ -457,16 +451,15 @@
-
-
+
-
+
-
+
@@ -496,16 +489,15 @@
-
-
+
-
+
-
+
@@ -516,9 +508,9 @@
-
+
-
+
@@ -526,7 +518,6 @@
-
@@ -540,9 +531,9 @@
-
+
-
+
@@ -556,9 +547,9 @@
-
+
-
+
@@ -570,9 +561,9 @@
-
+
-
+
@@ -589,5 +580,59 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index 2ac66145..0ff95758 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -2,10 +2,10 @@
-
+
-
-
+
+
@@ -98,9 +98,7 @@
-
-
-
+
@@ -694,7 +692,7 @@
-
+
@@ -724,7 +722,7 @@
-
+
@@ -1036,7 +1034,7 @@
-
+
@@ -1091,7 +1089,7 @@
-
+
@@ -1181,7 +1179,7 @@
-
+
@@ -1308,7 +1306,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
index 15361cf2..d0b71750 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
+++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
@@ -21,10 +21,10 @@
-
+
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
index d8072f1d..9a0e0274 100644
--- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
+++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps
@@ -9,7 +9,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
index af174ac1..8f811eac 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
@@ -23,21 +23,21 @@
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
+
+
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
index 360303e4..4958b608 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
@@ -2,7 +2,7 @@
-
+
@@ -207,7 +207,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
index f30c5b84..fceaba32 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
@@ -2,8 +2,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
index 97f76bf0..6414322e 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
@@ -21,14 +21,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -64,32 +64,32 @@
-
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps
index 1eac715d..9f09e8cb 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
index 22e5d055..a4b511b2 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps
@@ -2,7 +2,7 @@
-
+
@@ -351,7 +351,7 @@
-
+
@@ -611,7 +611,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps
index 682fb266..1fc9f3e7 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -52,9 +52,9 @@
-
+
-
+
@@ -67,9 +67,9 @@
-
+
-
+
@@ -93,14 +93,14 @@
-
+
-
+
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index 80b81d0f..4c8f7f21 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -5,7 +5,7 @@
-
+
@@ -77,9 +77,7 @@
-
-
-
+
@@ -337,7 +335,7 @@
-
+
@@ -347,7 +345,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps
index a6fa44f6..8f729c1f 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd
index fbc8948d..5c3388c8 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd
@@ -18,7 +18,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index 15ace368..760c7dd9 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -559,7 +559,7 @@
-
+
@@ -1156,7 +1156,7 @@
-
+
@@ -1977,7 +1977,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
index 9b63e750..6ae4c4e4 100644
--- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd
@@ -24,11 +24,11 @@
-
+
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
index 033b4a0d..52b1ca72 100644
--- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps
@@ -2,7 +2,7 @@
-
+
@@ -289,7 +289,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
index 6195a5e6..a94bddd9 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
@@ -29,13 +29,13 @@
-
+
-
-
+
+
-
-
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
index 99663deb..52c55377 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps
@@ -2,7 +2,7 @@
-
+
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 810c7761..a565fd58 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
@@ -2,12 +2,12 @@
-
+
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd
index b68deb44..164bf682 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd
@@ -7,7 +7,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
index 991bc1a4..a76c23c2 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd
@@ -32,12 +32,12 @@
-
-
+
+
-
+
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 cdc5ffee..c201421f 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
@@ -9,7 +9,7 @@
-
+
@@ -3312,27 +3312,27 @@
-
+
-
+
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
index 9920f07e..afa8561b 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
@@ -29,12 +29,12 @@
-
-
+
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
index 26688e65..c611f895 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps
@@ -3,7 +3,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 a07bcafe..0ccdde89 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
@@ -6,7 +6,7 @@
-
+
@@ -271,7 +271,7 @@
-
+
@@ -348,7 +348,7 @@
-
+
@@ -681,7 +681,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 e2bdead7..9f12b4f6 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
@@ -2,17 +2,17 @@
-
-
+
+
-
+
-
+
-
-
-
+
+
+
@@ -1854,7 +1854,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
index 46292639..dacb40fc 100644
--- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd
@@ -25,12 +25,12 @@
-
-
+
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
index ef3c4864..dab9b28a 100644
--- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
@@ -5,7 +5,7 @@
-
+
@@ -13,7 +13,7 @@
-
+
@@ -12475,7 +12475,7 @@
-
+
@@ -25080,7 +25080,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
index 135b4743..70a9cbdb 100644
--- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
+++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
@@ -33,12 +33,12 @@
-
-
+
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
index 01417557..9d193a4e 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index f3ca949f..54a89cad 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -3,7 +3,7 @@
-
+
@@ -3775,7 +3775,7 @@
-
+
@@ -4247,7 +4247,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
index 5ee78fa4..bc34d9a9 100644
--- a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
+++ b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd
@@ -25,12 +25,12 @@
-
-
+
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
index 19880847..122717a1 100644
--- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps
@@ -5,7 +5,7 @@
-
+
@@ -1946,7 +1946,6 @@
-
@@ -1965,14 +1964,14 @@
-
+
-
+
@@ -1980,7 +1979,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
index 13c9b3ed..a1766fd5 100644
--- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
+++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
@@ -16,9 +16,9 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
index 96a323bb..abc05154 100644
--- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
index a8da2672..66d60fb7 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd
@@ -21,9 +21,9 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
index 6781d442..fb41bdc5 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps
@@ -3,7 +3,7 @@
-
+
@@ -938,7 +938,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
index 8895c295..9b9550a9 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
index 9c19b474..44ce238e 100644
--- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
+++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
index c3033c46..fbfc27a6 100644
--- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd
@@ -17,9 +17,9 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
index 3491d0a6..3fffd23d 100644
--- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
index fa4ba856..1b5633a9 100644
--- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd
@@ -15,9 +15,9 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
index e0cee6cf..d65f0366 100644
--- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
+++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
index b61807ce..16626bfd 100644
--- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
+++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
index afd73da3..d9c9b724 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
+++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
@@ -27,10 +27,10 @@
-
+
-
-
+
+
diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
index 9b292f0f..33777945 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
+++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
index 77f1e30a..1c08103e 100644
--- a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
+++ b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd
@@ -16,9 +16,9 @@
-
+
-
+
diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
index 372c7414..631d54e2 100644
--- a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
+++ b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index a6c00d07..25700ce5 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -737,8 +737,12 @@
+
+
+
+
@@ -770,21 +774,33 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
@@ -841,19 +857,20 @@
-
-
+
+
+
@@ -880,6 +897,7 @@
+
@@ -908,19 +926,20 @@
-
-
+
+
+
@@ -949,19 +968,20 @@
-
-
+
+
+
@@ -989,6 +1009,7 @@
+
@@ -1017,19 +1038,20 @@
-
-
+
+
+
@@ -1059,19 +1081,20 @@
-
-
+
+
+
@@ -1100,6 +1123,7 @@
+
@@ -1128,19 +1152,20 @@
-
-
+
+
+
@@ -1171,19 +1196,20 @@
-
-
+
+
+
@@ -1211,6 +1237,7 @@
+
@@ -1239,19 +1266,20 @@
-
-
+
+
+
@@ -1284,19 +1312,20 @@
-
-
+
+
+
@@ -1381,8 +1410,12 @@
+
+
+
+
@@ -1411,20 +1444,32 @@
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps
index 3ff82d38..786339b7 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
index 946ffa29..78b2725c 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps
index a51ca44a..27cdbe49 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -100,16 +100,16 @@
-
+
-
+
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
index 55ad8c1f..65a118fc 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
@@ -1314,7 +1314,7 @@
-
+
@@ -2101,7 +2101,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps
index 835f3844..7b348b1d 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
index 7063e41e..68b6405e 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
@@ -21,14 +21,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -66,31 +66,31 @@
-
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
+
@@ -105,6 +105,7 @@
+
@@ -113,6 +114,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps
index 72d0bebc..9ff50deb 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps
index b83c4628..29048f0a 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps
@@ -2,7 +2,7 @@
-
+
@@ -73,9 +73,7 @@
-
-
-
+
@@ -119,7 +117,6 @@
-
@@ -203,9 +200,7 @@
-
-
-
+
@@ -278,7 +273,6 @@
-
@@ -343,7 +337,6 @@
-
@@ -428,7 +421,7 @@
-
+
@@ -588,7 +581,7 @@
-
+
@@ -598,7 +591,7 @@
-
+
@@ -671,7 +664,7 @@
-
+
@@ -756,7 +749,7 @@
-
+
@@ -808,7 +801,7 @@
-
+
@@ -1085,9 +1078,7 @@
-
-
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps
index 89666bd8..b7d48c6b 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -83,9 +83,9 @@
-
+
-
+
@@ -104,16 +104,16 @@
-
+
-
+
-
+
-
+
@@ -129,16 +129,16 @@
-
+
-
+
-
+
-
+
@@ -154,9 +154,9 @@
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
index d4ad1511..7f60efcb 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
@@ -1398,7 +1398,7 @@
-
+
@@ -2116,7 +2116,7 @@
-
+
@@ -2751,7 +2751,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps
index 1443dd1b..c4ab0fe4 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
index cb7e9ac7..94248626 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
@@ -21,14 +21,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -67,31 +67,31 @@
-
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
+
@@ -107,6 +107,7 @@
+
@@ -115,6 +116,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
index 846b07f3..fc9f3bcd 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
@@ -2,10 +2,10 @@
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
index eda88f39..e704ffc3 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps
@@ -2,9 +2,9 @@
-
+
-
+
@@ -307,7 +307,7 @@
-
+
@@ -480,7 +480,7 @@
-
+
@@ -550,7 +550,7 @@
-
+
@@ -628,7 +628,7 @@
-
+
@@ -694,7 +694,7 @@
-
+
@@ -1052,7 +1052,7 @@
-
+
@@ -1250,7 +1250,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps
index 4677f43d..dffc9d61 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -53,9 +53,9 @@
-
+
-
+
@@ -82,16 +82,16 @@
-
+
-
+
-
+
-
+
@@ -106,16 +106,16 @@
-
+
-
+
-
+
-
+
@@ -130,9 +130,9 @@
-
+
-
+
@@ -147,9 +147,9 @@
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
index 4c064782..8c56b742 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps
index e4ea76e8..dd2f72e8 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
index 9548403d..4397e017 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
@@ -21,14 +21,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -65,31 +65,31 @@
-
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
+
@@ -105,6 +105,7 @@
+
@@ -113,6 +114,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps
index d1934ce9..23bbdaaf 100644
--- a/samples/fitch/languages/samples.fitch/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps
index b05f2cc4..af2ba776 100644
--- a/samples/fitch/languages/samples.fitch/models/editor.mps
+++ b/samples/fitch/languages/samples.fitch/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/migration.mps b/samples/fitch/languages/samples.fitch/models/migration.mps
index bdf7a0c9..5a1da37b 100644
--- a/samples/fitch/languages/samples.fitch/models/migration.mps
+++ b/samples/fitch/languages/samples.fitch/models/migration.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/structure.mps b/samples/fitch/languages/samples.fitch/models/structure.mps
index 4995a78a..e4ece676 100644
--- a/samples/fitch/languages/samples.fitch/models/structure.mps
+++ b/samples/fitch/languages/samples.fitch/models/structure.mps
@@ -2,7 +2,7 @@
-
+
@@ -59,9 +59,9 @@
-
+
-
+
@@ -75,9 +75,8 @@
-
-
+
@@ -87,9 +86,9 @@
-
+
-
+
@@ -115,9 +114,9 @@
-
+
-
+
@@ -173,9 +172,9 @@
-
+
-
+
@@ -213,15 +212,15 @@
-
+
-
+
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps
index 33be87c7..d5709595 100644
--- a/samples/fitch/languages/samples.fitch/models/types.mps
+++ b/samples/fitch/languages/samples.fitch/models/types.mps
@@ -321,7 +321,7 @@
-
+
@@ -447,7 +447,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/typesystem.mps b/samples/fitch/languages/samples.fitch/models/typesystem.mps
index 136df543..f9b92258 100644
--- a/samples/fitch/languages/samples.fitch/models/typesystem.mps
+++ b/samples/fitch/languages/samples.fitch/models/typesystem.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
index 4fd5c0d2..918e510e 100644
--- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl
+++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
@@ -21,14 +21,14 @@
-
-
-
+
+
+
-
+
-
+
@@ -65,36 +65,36 @@
-
+
-
-
+
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
+
-
+
-
+
@@ -109,6 +109,7 @@
+
@@ -117,6 +118,7 @@
+
diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
index c8a89d2b..4694fd45 100644
--- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
+++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
@@ -308,7 +308,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd
index 5a6c4580..2b81a4fe 100644
--- a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd
+++ b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
index 675bdcb4..530e9aa5 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
index 910e17a4..cc7046f7 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
index 03c0fb8b..d836c7a4 100644
--- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
+++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
index a832380b..0fc326d5 100644
--- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
+++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
@@ -20,10 +20,10 @@
-
+
-
-
+
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 87d8ec47..f28df778 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -258,8 +258,12 @@
+
+
+
+
@@ -290,21 +294,31 @@
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -345,19 +359,20 @@
-
-
+
+
+
@@ -401,19 +416,20 @@
-
-
+
+
+
@@ -495,8 +511,12 @@
+
+
+
+
@@ -525,20 +545,29 @@
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
index 3605c6ee..dc8e8261 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
index 36362c91..fab183ae 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
@@ -2,7 +2,7 @@
-
+
@@ -111,7 +111,6 @@
-
@@ -564,7 +563,7 @@
-
+
@@ -667,7 +666,7 @@
-
+
@@ -920,7 +919,6 @@
-
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
index 6e28bf6c..0fce40d7 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
@@ -80,16 +80,16 @@
-
+
-
+
-
+
-
+
@@ -108,16 +108,16 @@
-
+
-
+
-
+
-
+
@@ -128,9 +128,9 @@
-
+
-
+
@@ -142,16 +142,15 @@
-
+
-
-
+
-
+
@@ -162,16 +161,16 @@
-
+
-
+
-
+
-
+
@@ -190,9 +189,9 @@
-
+
-
+
@@ -207,9 +206,9 @@
-
+
-
+
@@ -224,9 +223,9 @@
-
+
-
+
@@ -245,16 +244,16 @@
-
+
-
+
-
+
-
+
@@ -294,9 +293,8 @@
-
-
+
@@ -312,23 +310,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -347,23 +345,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -378,9 +376,9 @@
-
+
-
+
@@ -395,9 +393,9 @@
-
+
-
+
@@ -410,9 +408,9 @@
-
+
-
+
@@ -423,9 +421,8 @@
-
-
+
@@ -437,16 +434,16 @@
-
+
-
+
-
+
-
+
@@ -458,16 +455,16 @@
-
+
-
+
-
+
-
+
@@ -482,16 +479,16 @@
-
+
-
+
-
+
-
+
@@ -504,9 +501,9 @@
-
+
-
+
@@ -521,23 +518,22 @@
-
+
-
+
-
+
-
+
-
-
+
@@ -550,16 +546,15 @@
-
-
+
-
+
-
+
@@ -571,16 +566,14 @@
-
-
+
-
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index ebf1f186..6822d8d4 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -3,7 +3,7 @@
-
+
@@ -190,6 +190,9 @@
+
+
+
@@ -3612,7 +3615,7 @@
-
+
@@ -3818,7 +3821,7 @@
-
+
@@ -5488,6 +5491,7 @@
+
@@ -5618,6 +5622,7 @@
+
@@ -6709,6 +6714,7 @@
+
@@ -6720,6 +6726,7 @@
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
index 14a21357..745a4bc7 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
+++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
@@ -32,32 +32,32 @@
-
+
-
-
+
+
-
+
-
-
-
+
+
+
-
-
+
+
-
+
-
+
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
index 7afbf4dd..e2c62f77 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps
@@ -175,7 +175,7 @@
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd
index 32d0b038..4873e4ec 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
index cc1d50b9..d727d33a 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
index 807faea1..20301771 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
@@ -17,10 +17,10 @@
-
+
-
-
+
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 7c9327fd..c09daaf6 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -314,8 +314,12 @@
+
+
+
+
@@ -345,22 +349,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -402,19 +416,20 @@
-
-
+
+
+
@@ -468,19 +483,20 @@
-
-
+
+
+
@@ -529,20 +545,21 @@
-
-
+
+
+
@@ -625,8 +642,12 @@
+
+
+
+
@@ -655,20 +676,29 @@
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
index 788b36b0..5aca8fa0 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -29,22 +29,22 @@
-
+
-
+
-
+
-
-
+
+
-
+
-
+
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
index 9e85ae7a..bf24aa8c 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps
@@ -627,7 +627,7 @@
-
+
@@ -750,7 +750,7 @@
-
+
@@ -822,7 +822,7 @@
-
+
@@ -974,7 +974,7 @@
-
+
@@ -1112,7 +1112,7 @@
-
+
@@ -1231,7 +1231,7 @@
-
+
@@ -1283,7 +1283,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps
index 4e1d2b98..055a85f9 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index 186bde94..28fe2289 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -7,14 +7,14 @@
-
+
-
-
+
+
-
+
@@ -342,6 +342,9 @@
+
+
+
@@ -2610,7 +2613,7 @@
-
+
@@ -5540,7 +5543,7 @@
-
+
@@ -6024,7 +6027,7 @@
-
+
@@ -9171,7 +9174,7 @@
-
+
@@ -9412,7 +9415,7 @@
-
+
@@ -16070,7 +16073,7 @@
-
+
@@ -19498,7 +19501,7 @@
-
+
@@ -19560,7 +19563,7 @@
-
+
@@ -19622,7 +19625,7 @@
-
+
@@ -19684,7 +19687,7 @@
-
+
@@ -21693,6 +21696,7 @@
+
@@ -21748,6 +21752,7 @@
+
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
index b4d10125..e6dba203 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd
@@ -22,10 +22,10 @@
-
+
-
-
+
+
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 1629a8f5..0d316e78 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
@@ -2,12 +2,12 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
index 3d9bf0f3..927734df 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
+++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps
@@ -258,7 +258,7 @@
-
+
@@ -310,7 +310,7 @@
-
+
diff --git a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd
index 74af164b..f694015e 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd
+++ b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd
@@ -19,7 +19,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
index b167a216..458ed22a 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
@@ -2,10 +2,10 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
index 909a10ba..de68049b 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps
@@ -2,10 +2,10 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
index 2f6cbd81..342ec56b 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps
@@ -2,13 +2,13 @@
-
+
-
+
@@ -279,7 +279,7 @@
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
index 4b9154d8..6c59ed97 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
index 4649b6fb..b572ba93 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
index 6830f991..5585a50f 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
index 06892f2c..b80157b6 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps
@@ -2,9 +2,9 @@
-
+
-
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
index ad39c299..1bb5469e 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
@@ -22,12 +22,12 @@
-
-
+
+
-
-
+
+