diff --git a/build.xml b/build.xml
index 5f517b1a..7e687efb 100644
--- a/build.xml
+++ b/build.xml
@@ -56,6 +56,7 @@
+
@@ -753,6 +754,7 @@
+
@@ -819,6 +821,7 @@
+
@@ -887,6 +890,7 @@
+
@@ -974,6 +978,7 @@
+
@@ -1089,6 +1094,7 @@
+
@@ -1336,6 +1342,7 @@
+
@@ -1422,6 +1429,7 @@
+
@@ -1505,6 +1513,7 @@
+
@@ -1644,6 +1653,7 @@
+
@@ -1706,6 +1716,7 @@
+
@@ -1789,6 +1800,7 @@
+
@@ -1900,6 +1912,7 @@
+
@@ -2055,6 +2068,7 @@
+
@@ -2688,6 +2702,7 @@
+
@@ -2754,6 +2769,7 @@
+
@@ -2841,6 +2857,7 @@
+
@@ -2956,6 +2973,7 @@
+
@@ -3190,6 +3208,7 @@
+
@@ -3305,6 +3324,7 @@
+
@@ -3444,6 +3464,7 @@
+
@@ -3506,6 +3527,7 @@
+
@@ -3589,6 +3611,7 @@
+
@@ -3700,6 +3723,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
index c0369ad1..8ff4d423 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps
@@ -8169,5 +8169,14 @@
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
index 863ec2c8..d2580963 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
@@ -3,6 +3,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..5949e0be 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps
@@ -3,6 +3,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
index 8d0f5b21..088bab81 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps
@@ -3,6 +3,7 @@
+
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 6acfb4f0..519ba685 100644
--- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -331,8 +331,8 @@
-
-
+
+
@@ -3117,8 +3117,8 @@
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
index 8c918867..fdde05d3 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -3,6 +3,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 2623481d..8d78dd75 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
@@ -293,6 +293,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -862,6 +880,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1007,6 +1043,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1449,6 +1503,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1493,6 +1565,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1604,6 +1694,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1672,6 +1780,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1788,6 +1914,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1848,6 +1992,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1943,6 +2105,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2533,6 +2713,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2622,6 +2820,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2706,6 +2922,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3105,7 +3339,7 @@
-
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index f512b89f..8155465c 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -126,6 +126,7 @@
+
@@ -278,6 +279,7 @@
+
@@ -433,6 +435,7 @@
+
@@ -587,6 +590,7 @@
+
@@ -699,6 +703,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 a95a1de0..1c38c0e9 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
@@ -67,10 +67,17 @@
+
+
+
+
+
+
+
@@ -89,11 +96,15 @@
+
+
+
+
@@ -163,6 +174,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -208,6 +234,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -258,6 +299,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -303,6 +359,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -345,6 +416,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 3d62a3d1..e5e56f28 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -126,6 +126,7 @@
+
@@ -180,6 +181,7 @@
+
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 0c11807f..6f15f735 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
@@ -67,10 +67,17 @@
+
+
+
+
+
+
+
@@ -92,11 +99,15 @@
+
+
+
+
@@ -171,6 +182,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -198,6 +224,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 963945f0..7ed9bebc 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -129,6 +129,7 @@
+
@@ -473,6 +474,7 @@
+
@@ -593,6 +595,7 @@
+
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 e30ae72c..088087a4 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
@@ -311,6 +311,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -513,6 +528,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -760,6 +790,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps
index d1db7b66..20b81142 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps
@@ -8,9 +8,6 @@
-
-
-
@@ -41083,7 +41080,6 @@
-
@@ -41107,7 +41103,6 @@
-
@@ -41131,7 +41126,6 @@
-
@@ -41155,7 +41149,6 @@
-
@@ -41179,7 +41172,6 @@
-
@@ -41203,7 +41195,6 @@
-
@@ -41227,7 +41218,6 @@
-
@@ -41251,7 +41241,6 @@
-
@@ -41275,7 +41264,6 @@
-
@@ -41299,7 +41287,6 @@
-