diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.types.mps
index e4f06c65..0ee3ebd4 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.types.mps
@@ -125,6 +125,10 @@
+
+
+
+
@@ -774,7 +778,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -798,6 +822,14 @@
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
index aee47fd1..3d7f0143 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
@@ -283,6 +283,7 @@
+
@@ -427,6 +428,17 @@
+
+
+
+
+
+
+
+
+
+
+
@@ -577,6 +589,11 @@
+
+
+
+
+
@@ -1098,6 +1115,128 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2172,6 +2311,14 @@
+
+
+
+
+
+
+
+
@@ -2182,6 +2329,14 @@
+
+
+
+
+
+
+
+
@@ -2199,6 +2354,14 @@
+
+
+
+
+
+
+
+
@@ -2836,6 +2999,14 @@
+
+
+
+
+
+
+
+
@@ -2846,6 +3017,14 @@
+
+
+
+
+
+
+
+
@@ -4978,113 +5157,57 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5115,92 +5238,43 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5233,92 +5307,43 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5351,92 +5376,43 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5468,61 +5444,45 @@
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
-
+
-
+
-
-
+
+
+
+
@@ -5541,65 +5501,57 @@
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
-
+
-
+
-
-
+
+
+
+
@@ -5618,6 +5570,14 @@
+
+
+
+
+
+
+
+
@@ -5792,6 +5752,108 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7938,12 +8000,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7972,6 +8050,14 @@
+
+
+
+
+
+
+
+
@@ -7987,6 +8073,14 @@
+
+
+
+
+
+
+
+
@@ -7996,6 +8090,14 @@
+
+
+
+
+
+
+
+
@@ -8141,12 +8243,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8318,6 +8436,14 @@
+
+
+
+
+
+
+
+
@@ -8328,12 +8454,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8406,6 +8548,14 @@
+
+
+
+
+
+
+
+
@@ -8416,12 +8566,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8450,6 +8616,14 @@
+
+
+
+
+
+
+
+
@@ -8460,12 +8634,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8494,6 +8684,14 @@
+
+
+
+
+
+
+
+
@@ -8504,12 +8702,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8538,6 +8752,14 @@
+
+
+
+
+
+
+
+
@@ -8548,12 +8770,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8582,6 +8820,14 @@
+
+
+
+
+
+
+
+
@@ -8592,12 +8838,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10693,6 +10955,7 @@
+
@@ -10703,6 +10966,14 @@
+
+
+
+
+
+
+
+
@@ -10755,6 +11026,14 @@
+
+
+
+
+
+
+
+
@@ -10906,12 +11185,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11059,6 +11354,14 @@
+
+
+
+
+
+
+
+
@@ -11111,6 +11414,14 @@
+
+
+
+
+
+
+
+
@@ -11258,6 +11569,14 @@
+
+
+
+
+
+
+
+
@@ -11310,6 +11629,14 @@
+
+
+
+
+
+
+
+
@@ -12863,6 +13190,14 @@
+
+
+
+
+
+
+
+
@@ -12873,6 +13208,14 @@
+
+
+
+
+
+
+
+
@@ -13224,6 +13567,14 @@
+
+
+
+
+
+
+
+
@@ -13235,6 +13586,14 @@
+
+
+
+
+
+
+
+
@@ -13257,6 +13616,14 @@
+
+
+
+
+
+
+
+
@@ -13277,6 +13644,14 @@
+
+
+
+
+
+
+
+
@@ -13299,6 +13674,14 @@
+
+
+
+
+
+
+
+
@@ -13339,6 +13722,14 @@
+
+
+
+
+
+
+
+
@@ -13354,6 +13745,14 @@
+
+
+
+
+
+
+
+
@@ -13421,6 +13820,14 @@
+
+
+
+
+
+
+
+
@@ -13432,6 +13839,14 @@
+
+
+
+
+
+
+
+
@@ -13454,6 +13869,14 @@
+
+
+
+
+
+
+
+
@@ -13474,6 +13897,14 @@
+
+
+
+
+
+
+
+
@@ -13496,6 +13927,14 @@
+
+
+
+
+
+
+
+
@@ -13536,6 +13975,14 @@
+
+
+
+
+
+
+
+
@@ -13551,6 +13998,14 @@
+
+
+
+
+
+
+
+
@@ -15580,6 +16035,14 @@
+
+
+
+
+
+
+
+
@@ -15590,12 +16053,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19586,6 +20065,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19689,6 +20190,123 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19793,6 +20411,123 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19928,8 +20663,8 @@
-
-
+
+
@@ -20020,8 +20755,8 @@
-
-
+
+
@@ -21127,18 +21862,52 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps
index caa37c3a..8378978c 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps
@@ -4155,6 +4155,14 @@
+
+
+
+
+
+
+
+
@@ -4164,6 +4172,14 @@
+
+
+
+
+
+
+
+