diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
index 8c56b742..bf099ed1 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
@@ -73,9 +73,6 @@
-
-
-
@@ -122,7 +119,9 @@
-
+
+
+
@@ -1263,22 +1262,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -1486,22 +1477,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -1663,13 +1646,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -1819,13 +1798,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -1986,13 +1961,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -2137,13 +2108,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -2383,22 +2350,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -2710,22 +2669,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index f7da84ff..ab0808e9 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -196,9 +196,6 @@
-
-
-
@@ -244,7 +241,9 @@
-
+
+
+
@@ -1351,31 +1350,23 @@
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -16173,22 +16164,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
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 4b1815fd..a30f4a74 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
@@ -428,6 +428,9 @@
+
+
+
@@ -2985,13 +2988,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -3027,13 +3026,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -3595,10 +3590,10 @@
-
-
-
-
+
+
+
+
@@ -3641,11 +3636,14 @@
-
-
-
-
+
+
+
+
+
+
+
@@ -13102,22 +13100,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -13302,22 +13292,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -15674,13 +15656,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -16426,13 +16404,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -17621,22 +17595,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -17678,22 +17644,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -17915,22 +17873,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -17972,22 +17922,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -20275,36 +20217,14 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -24204,13 +24124,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -24235,22 +24151,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -32090,7 +31998,7 @@
-
+
@@ -36390,22 +36298,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -36426,22 +36326,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -36603,31 +36495,19 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -36648,22 +36528,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -36718,13 +36590,9 @@
-
-
-
-
-
-
-
+
+
+
@@ -37498,22 +37366,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -37532,22 +37392,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -37619,22 +37471,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -37856,22 +37700,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -37883,22 +37719,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -37961,22 +37789,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -38050,22 +37870,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+
@@ -38086,22 +37898,14 @@
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
+
+
+