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 e91892e2..b0ff5577 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
@@ -29,7 +29,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
index c83a561b..7f5f5adb 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
@@ -3,7 +3,7 @@
-
+
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 f98de67e..54c13708 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
@@ -76,7 +76,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index 1d761e52..0b85f15b 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -2,7 +2,7 @@
-
+
@@ -175,7 +175,6 @@
-
@@ -476,8 +475,10 @@
-
-
+
+
+
+
@@ -496,8 +497,10 @@
-
-
+
+
+
+
@@ -577,8 +580,10 @@
-
-
+
+
+
+
@@ -597,8 +602,10 @@
-
-
+
+
+
+
@@ -969,14 +976,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -1031,14 +1042,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -1099,8 +1114,10 @@
-
-
+
+
+
+
@@ -1188,23 +1205,27 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
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 7f614950..c06aa3b0 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
@@ -45,7 +45,7 @@
-
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
index efb3f959..6f043066 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
@@ -12,7 +12,7 @@
-
+
diff --git a/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl b/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl
index 600e93a2..a5f2178b 100644
--- a/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl
+++ b/samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl
@@ -71,7 +71,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
index d354f0f2..cc2869a7 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.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 74448cd8..9489bf33 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
@@ -78,7 +78,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
index 4010e21c..8bdf856b 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
@@ -2,7 +2,7 @@
-
+
@@ -287,7 +287,6 @@
-
@@ -614,12 +613,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -675,12 +676,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -713,12 +716,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -813,12 +818,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
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 68c330db..3f71fbbe 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
@@ -79,7 +79,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
index 6d2657a6..89992633 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
@@ -2,7 +2,7 @@
-
+
@@ -171,7 +171,6 @@
-
@@ -295,12 +294,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
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 951c3e06..730102db 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
@@ -77,7 +77,7 @@
-
+
diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps
index b70f2875..54dce617 100644
--- a/samples/fitch/languages/samples.fitch/models/types.mps
+++ b/samples/fitch/languages/samples.fitch/models/types.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 ec92aa26..7ce395dd 100644
--- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl
+++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
@@ -77,7 +77,7 @@
-
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index a2378f05..70d7ef14 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -2,7 +2,7 @@
-
+
@@ -394,7 +394,6 @@
-
@@ -10243,8 +10242,10 @@
-
-
+
+
+
+
@@ -15531,8 +15532,10 @@
-
-
+
+
+
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
index 0b0eb684..fa7436cb 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
+++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
@@ -39,7 +39,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl
index 158fd701..2943e711 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl
@@ -67,7 +67,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl
index 2a35276e..a629e3f0 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl
@@ -78,7 +78,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps
index 87f537bb..1df97cda 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -200,7 +200,6 @@
-
@@ -1246,14 +1245,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1289,12 +1290,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl
index 3ef2cc43..0435fd98 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl
@@ -82,7 +82,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
index e6f5650f..e464d27d 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -446,7 +446,6 @@
-
@@ -1484,14 +1483,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -3045,14 +3048,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -6160,8 +6167,10 @@
-
-
+
+
+
+
@@ -6431,8 +6440,10 @@
-
-
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl
index 7b4e0007..0c367b3f 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl
@@ -79,7 +79,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
index 8f0953bc..f2ae9f99 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -272,7 +272,6 @@
-
@@ -2253,8 +2252,10 @@
-
-
+
+
+
+
@@ -5502,14 +5503,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -5586,14 +5589,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -5670,14 +5675,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -5754,14 +5761,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -5838,14 +5847,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -5922,14 +5933,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6006,14 +6019,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6090,14 +6105,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6183,14 +6200,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6281,14 +6300,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6382,14 +6403,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -6478,14 +6501,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -12414,14 +12439,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -12565,14 +12594,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -12716,14 +12749,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -12858,14 +12895,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13000,14 +13041,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13142,14 +13187,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13284,14 +13333,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13426,14 +13479,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13568,14 +13625,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13710,14 +13771,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13852,14 +13917,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -13994,14 +14063,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -14136,14 +14209,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -14278,14 +14355,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -14565,14 +14646,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -14591,14 +14676,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -14710,14 +14799,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17004,14 +17097,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17088,14 +17185,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17114,14 +17215,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17268,14 +17373,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17294,14 +17403,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17320,14 +17433,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17481,14 +17598,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -17507,14 +17628,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -18461,14 +18586,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -19946,21 +20075,25 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
@@ -20008,14 +20141,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -20718,14 +20855,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -20842,14 +20983,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21001,14 +21146,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21027,14 +21176,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21252,14 +21405,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21411,14 +21568,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21437,14 +21598,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21608,14 +21773,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21656,14 +21825,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21683,14 +21856,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21709,14 +21886,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21869,14 +22050,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -21895,14 +22080,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22054,14 +22243,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22080,14 +22273,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22207,14 +22404,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22340,14 +22541,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22486,14 +22691,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22604,14 +22813,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22630,14 +22843,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22803,14 +23020,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22829,14 +23050,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -22855,14 +23080,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -23035,14 +23264,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -23061,14 +23294,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -23931,14 +24168,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -23990,14 +24231,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -24117,8 +24362,10 @@
-
-
+
+
+
+
@@ -24214,8 +24461,10 @@
-
-
+
+
+
+
@@ -24234,8 +24483,10 @@
-
-
+
+
+
+
@@ -24632,14 +24883,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -24697,14 +24952,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -24767,14 +25026,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl
index b4b70417..e9b67949 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl
@@ -77,7 +77,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
index c772f0b0..1a7b4de9 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl
index 96da247f..6b7994ee 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl
@@ -32,7 +32,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
index 7d525783..480a2241 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl
index 51b22e19..737db8ff 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl
@@ -77,7 +77,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
index f22364ed..d87e5380 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -43,6 +43,9 @@
+
+
+
@@ -97,7 +100,6 @@
-
@@ -538,21 +540,25 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
@@ -673,14 +679,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -793,14 +801,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl
index 1b96fec8..a289da79 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl
@@ -81,7 +81,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps
index 023013b2..a1c00805 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps
@@ -3,7 +3,7 @@
-
+
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 41af8da6..6e46202f 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -35,7 +35,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 556437a3..83145dbb 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
@@ -5,7 +5,7 @@
-
+
@@ -715,7 +715,6 @@
-
@@ -1144,14 +1143,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -2145,8 +2146,10 @@
-
-
+
+
+
+
@@ -2837,8 +2840,10 @@
-
-
+
+
+
+
@@ -3314,8 +3319,10 @@
-
-
+
+
+
+
@@ -3637,8 +3644,10 @@
-
-
+
+
+
+
@@ -4400,8 +4409,10 @@
-
-
+
+
+
+
@@ -4977,8 +4988,10 @@
-
-
+
+
+
+
@@ -8056,14 +8069,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -12389,14 +12404,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -13059,14 +13076,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -13118,14 +13137,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -13728,14 +13749,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -14172,14 +14195,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -14240,14 +14265,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -15265,14 +15292,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -15837,8 +15866,10 @@
-
-
+
+
+
+
@@ -15851,8 +15882,10 @@
-
-
+
+
+
+
@@ -19224,14 +19257,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -19449,14 +19484,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -19666,14 +19703,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -19883,14 +19922,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -20108,14 +20149,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -20335,14 +20378,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -21365,14 +21410,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -21442,14 +21489,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22512,14 +22561,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22576,14 +22627,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22640,14 +22693,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22704,14 +22759,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22768,14 +22825,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22832,14 +22891,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22896,14 +22957,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -22960,14 +23023,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -23244,8 +23309,10 @@
-
-
+
+
+
+
@@ -23701,8 +23768,10 @@
-
-
+
+
+
+
@@ -24013,14 +24082,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -27727,14 +27798,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -27803,14 +27876,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -30070,8 +30145,10 @@
-
-
+
+
+
+
@@ -30514,8 +30591,10 @@
-
-
+
+
+
+
@@ -31684,8 +31763,10 @@
-
-
+
+
+
+
@@ -31769,23 +31850,25 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
@@ -31964,8 +32047,10 @@
-
-
+
+
+
+
@@ -32107,8 +32192,10 @@
-
-
+
+
+
+
@@ -32247,11 +32334,13 @@
-
-
-
-
-
+
+
+
+
+
+
+
@@ -32363,11 +32452,13 @@
-
-
-
-
-
+
+
+
+
+
+
+
@@ -42738,14 +42829,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -43867,14 +43960,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -44044,14 +44141,18 @@
-
-
+
+
+
+
-
-
+
+
+
+
@@ -45245,8 +45346,10 @@
-
-
+
+
+
+
@@ -46981,19 +47084,23 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl
index 66dc7451..a394b775 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl
@@ -75,7 +75,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps
index f87de76a..3f4b5947 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -112,7 +112,6 @@
-
@@ -1193,14 +1192,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1439,12 +1440,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl
index 3e360ad4..4ab8785d 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl
@@ -84,7 +84,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps
index 8dbd8ba1..2f31d5cb 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -91,7 +91,7 @@
-
+
@@ -177,12 +177,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -244,12 +246,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -272,12 +276,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -353,12 +359,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -453,12 +461,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -489,12 +499,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl
index 70c9798d..0535c756 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl
@@ -97,7 +97,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
index 82c0ab6e..11f1d443 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
@@ -2,7 +2,7 @@
-
+
@@ -203,7 +203,6 @@
-
@@ -789,21 +788,23 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
@@ -1405,21 +1406,23 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
@@ -1605,18 +1608,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1638,18 +1643,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -2590,14 +2597,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -2680,14 +2689,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -2764,14 +2775,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -2854,14 +2867,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
index 453da80a..ea4c4a7e 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
@@ -88,7 +88,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
index 3dfeeb89..f0a301d5 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -126,7 +126,7 @@
-
+
@@ -244,18 +244,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -312,12 +314,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -356,14 +360,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -458,8 +464,10 @@
-
-
+
+
+
+
@@ -481,14 +489,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -619,8 +629,10 @@
-
-
+
+
+
+
@@ -693,18 +705,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -741,14 +755,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -791,12 +807,14 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
@@ -911,8 +929,10 @@
-
-
+
+
+
+
@@ -934,14 +954,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1036,8 +1058,10 @@
-
-
+
+
+
+
@@ -1059,14 +1083,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1202,8 +1228,10 @@
-
-
+
+
+
+
@@ -1225,14 +1253,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1444,8 +1474,10 @@
-
-
+
+
+
+
@@ -1467,14 +1499,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl
index ddcb1b34..341ecb7c 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl
@@ -86,7 +86,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps
index 62009e89..e3522308 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps
@@ -3,7 +3,7 @@
-
+
@@ -177,7 +177,6 @@
-
@@ -442,14 +441,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1011,14 +1012,16 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
@@ -1112,18 +1115,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1172,18 +1177,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1239,18 +1246,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1305,18 +1314,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1372,18 +1383,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1438,18 +1451,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1505,18 +1520,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -1615,18 +1632,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -2016,18 +2035,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -2053,18 +2074,20 @@
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
@@ -2217,14 +2240,16 @@
-
-
-
-
+
+
+