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