diff --git a/.mps/migration.xml b/.mps/migration.xml
index 25045b7d..0d85883b 100644
--- a/.mps/migration.xml
+++ b/.mps/migration.xml
@@ -15,6 +15,7 @@
+
diff --git a/build.xml b/build.xml
index 6f350e3a..705761d4 100644
--- a/build.xml
+++ b/build.xml
@@ -60,7 +60,7 @@
-
+
@@ -84,6 +84,7 @@
+
@@ -93,6 +94,11 @@
+
+
+
+
+
@@ -113,9 +119,12 @@
+
+
+
@@ -124,22 +133,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -207,13 +231,14 @@
+
-
-
-
-
+
+
+
+
@@ -229,8 +254,8 @@
-
+
@@ -245,15 +270,13 @@
-
+
-
-
-
+
@@ -302,7 +325,7 @@
-
+
@@ -366,7 +389,7 @@
-
+
@@ -390,6 +413,7 @@
+
@@ -399,6 +423,11 @@
+
+
+
+
+
@@ -427,6 +456,7 @@
+
@@ -440,22 +470,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -531,13 +576,14 @@
+
-
-
-
-
+
+
+
+
@@ -553,8 +599,8 @@
-
+
@@ -609,7 +655,7 @@
-
+
@@ -670,7 +716,7 @@
-
+
@@ -737,7 +783,7 @@
-
+
@@ -803,7 +849,7 @@
-
+
@@ -871,7 +917,7 @@
-
+
@@ -892,15 +938,24 @@
+
+
+
+
+
+
+
+
+
@@ -915,21 +970,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1003,13 +1079,14 @@
+
-
-
-
-
+
+
+
+
@@ -1025,8 +1102,8 @@
-
+
@@ -1063,7 +1140,7 @@
-
+
@@ -1136,7 +1213,7 @@
-
+
@@ -1210,7 +1287,7 @@
-
+
@@ -1231,8 +1308,10 @@
+
+
@@ -1243,6 +1322,13 @@
+
+
+
+
+
+
+
@@ -1255,9 +1341,12 @@
+
+
+
@@ -1266,20 +1355,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1340,13 +1444,14 @@
+
-
-
-
-
+
+
+
+
@@ -1362,8 +1467,8 @@
-
+
@@ -1385,7 +1490,7 @@
-
+
@@ -1468,7 +1573,7 @@
-
+
@@ -1489,17 +1594,27 @@
+
+
+
+
+
+
+
+
+
+
@@ -1509,23 +1624,44 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1545,7 +1681,7 @@
-
+
@@ -1597,7 +1733,7 @@
-
+
@@ -1659,7 +1795,7 @@
-
+
@@ -1680,15 +1816,24 @@
+
+
+
+
+
+
+
+
+
@@ -1699,21 +1844,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1781,13 +1947,14 @@
+
-
-
-
-
+
+
+
+
@@ -1803,8 +1970,8 @@
-
+
@@ -1843,7 +2010,7 @@
-
+
@@ -1864,17 +2031,27 @@
+
+
+
+
+
+
+
+
+
+
@@ -1884,23 +2061,44 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1920,7 +2118,7 @@
-
+
@@ -1988,7 +2186,7 @@
-
+
@@ -2012,6 +2210,7 @@
+
@@ -2021,6 +2220,11 @@
+
+
+
+
+
@@ -2041,9 +2245,12 @@
+
+
+
@@ -2052,22 +2259,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2135,13 +2357,14 @@
+
-
-
-
-
+
+
+
+
@@ -2157,8 +2380,8 @@
-
+
@@ -2173,15 +2396,13 @@
-
+
-
-
-
+
@@ -2230,7 +2451,7 @@
-
+
@@ -2254,6 +2475,7 @@
+
@@ -2263,6 +2485,11 @@
+
+
+
+
+
@@ -2291,6 +2518,7 @@
+
@@ -2304,22 +2532,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2395,13 +2638,14 @@
+
-
-
-
-
+
+
+
+
@@ -2417,8 +2661,8 @@
-
+
@@ -2473,7 +2717,7 @@
-
+
@@ -2534,7 +2778,7 @@
-
+
@@ -2601,7 +2845,7 @@
-
+
@@ -2667,7 +2911,7 @@
-
+
@@ -2688,15 +2932,24 @@
+
+
+
+
+
+
+
+
+
@@ -2711,21 +2964,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2799,13 +3073,14 @@
+
-
-
-
-
+
+
+
+
@@ -2821,8 +3096,8 @@
-
+
@@ -2859,7 +3134,7 @@
-
+
@@ -2932,7 +3207,7 @@
-
+
@@ -3006,7 +3281,7 @@
-
+
@@ -3027,15 +3302,24 @@
+
+
+
+
+
+
+
+
+
@@ -3050,21 +3334,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3138,13 +3443,14 @@
+
-
-
-
-
+
+
+
+
@@ -3160,8 +3466,8 @@
-
+
@@ -3198,7 +3504,7 @@
-
+
@@ -3219,17 +3525,27 @@
+
+
+
+
+
+
+
+
+
+
@@ -3239,23 +3555,44 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3275,7 +3612,7 @@
-
+
@@ -3327,7 +3664,7 @@
-
+
@@ -3389,7 +3726,7 @@
-
+
@@ -3410,15 +3747,24 @@
+
+
+
+
+
+
+
+
+
@@ -3429,21 +3775,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3511,13 +3878,14 @@
+
-
-
-
-
+
+
+
+
@@ -3533,8 +3901,8 @@
-
+
@@ -3573,7 +3941,7 @@
-
+
@@ -3645,6 +4013,8 @@
+
+
@@ -3663,17 +4033,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3682,6 +4064,8 @@
+
+
@@ -3704,13 +4088,18 @@
-
+
+
+
+
+
+
@@ -3812,21 +4201,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -3855,27 +4242,29 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
+
@@ -3889,6 +4278,7 @@
+
@@ -3914,26 +4304,28 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
+
@@ -3971,21 +4363,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4018,21 +4408,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4060,22 +4448,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4088,6 +4474,10 @@
+
+
+
+
@@ -4100,12 +4490,13 @@
-
+
+
@@ -4137,22 +4528,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4165,6 +4554,10 @@
+
+
+
+
@@ -4179,8 +4572,8 @@
-
+
@@ -4196,6 +4589,7 @@
+
@@ -4213,22 +4607,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4244,6 +4636,10 @@
+
+
+
+
@@ -4253,8 +4649,8 @@
-
+
@@ -4285,22 +4681,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4324,8 +4718,8 @@
-
+
@@ -4348,21 +4742,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4370,7 +4762,11 @@
+
+
+
+
@@ -4384,6 +4780,7 @@
+
@@ -4395,6 +4792,7 @@
+
@@ -4412,22 +4810,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4444,22 +4840,28 @@
+
+
+
+
-
+
+
+
@@ -4474,22 +4876,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4499,8 +4903,8 @@
-
+
@@ -4534,22 +4938,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4563,6 +4965,10 @@
+
+
+
+
@@ -4583,8 +4989,8 @@
-
+
@@ -4599,6 +5005,7 @@
+
@@ -4620,21 +5027,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4662,22 +5067,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4694,12 +5101,13 @@
-
+
+
@@ -4731,22 +5139,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4766,8 +5176,8 @@
-
+
@@ -4783,6 +5193,7 @@
+
@@ -4800,22 +5211,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4836,8 +5245,8 @@
-
+
@@ -4856,22 +5265,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -4895,8 +5302,8 @@
-
+
@@ -4917,27 +5324,29 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
+
@@ -4953,6 +5362,7 @@
+
@@ -4982,22 +5392,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5014,8 +5426,8 @@
-
+
@@ -5028,6 +5440,7 @@
+
@@ -5046,21 +5459,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5091,21 +5502,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5136,21 +5545,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5182,21 +5589,19 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5239,22 +5644,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5275,8 +5678,8 @@
-
+
@@ -5299,22 +5702,20 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
-
@@ -5341,8 +5742,8 @@
-
+
@@ -5386,6 +5787,8 @@
+
+
@@ -5404,16 +5807,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -5422,9 +5838,12 @@
+
+
+
@@ -5443,13 +5862,18 @@
-
+
+
+
+
+
+
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 f94fbe06..7ccf0f25 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
@@ -6,7 +6,7 @@
-
+
@@ -14,7 +14,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 6fc98a5d..6243bdfd 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
@@ -37,13 +47,13 @@
-
+
-
+
@@ -65,6 +75,7 @@
+
@@ -113,7 +124,7 @@
-
+
@@ -133,10 +144,11 @@
-
+
+
@@ -145,7 +157,7 @@
-
+
@@ -175,6 +187,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
index da67ea85..9b4deba1 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
index 3e38b62b..8020b7e7 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps
@@ -147,9 +147,6 @@
-
-
-
@@ -158,6 +155,9 @@
+
+
+
@@ -621,7 +621,7 @@
-
+
@@ -870,7 +870,7 @@
-
+
@@ -884,7 +884,7 @@
-
+
@@ -946,7 +946,7 @@
-
+
@@ -1025,7 +1025,7 @@
-
+
@@ -1081,12 +1081,12 @@
-
-
-
+
+
+
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 0f0ba094..3b67feb7 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
@@ -5,6 +5,11 @@
+
+
+
+
+
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
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 390ca1a1..3764068f 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -34,7 +44,7 @@
-
+
@@ -68,6 +78,7 @@
+
@@ -109,7 +120,7 @@
-
+
@@ -123,15 +134,16 @@
-
+
+
-
+
@@ -154,6 +166,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps
index 983a9eaf..f48e5a5c 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/typesystem.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps
index 336fcd1c..fdb1d921 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.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl
index b76a1b29..cb1210ca 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -40,7 +50,7 @@
-
+
@@ -73,6 +83,7 @@
+
@@ -116,7 +127,7 @@
-
+
@@ -130,15 +141,16 @@
-
+
+
-
+
@@ -160,6 +172,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps
index 2e76f668..2bb8cca8 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/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
index 3f7b4401..671c0c61 100644
--- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps
@@ -2,9 +2,9 @@
-
+
-
+
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 cb1f686b..1fe59662 100644
--- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index da330e1a..f505cf86 100644
--- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
@@ -33,12 +43,12 @@
-
+
-
+
@@ -103,7 +113,7 @@
-
+
@@ -123,10 +133,11 @@
-
+
+
@@ -135,7 +146,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
index 85aa975f..44a6f787 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index 0ff95758..c37fc8e9 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -2,9 +2,9 @@
-
+
-
+
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 801a3bcf..7c638e95 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
@@ -5,6 +5,11 @@
+
+
+
+
+
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
@@ -23,7 +28,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 df017b91..0cfd64c8 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -25,7 +30,7 @@
-
+
@@ -39,16 +44,17 @@
-
+
+
-
+
@@ -68,6 +74,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..2939407e 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.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 da87af83..b65c93bf 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -26,7 +36,7 @@
-
+
@@ -67,7 +77,7 @@
-
+
@@ -85,10 +95,11 @@
-
+
+
@@ -97,7 +108,7 @@
-
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps
index 9f09e8cb..dd279fc6 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/typesystem.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps
index 8f729c1f..76a60010 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..c81aa54d 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
@@ -5,6 +5,11 @@
+
+
+
+
+
422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build)
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 f8b6841d..b387c94f 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
@@ -7,6 +7,9 @@
+
+
+
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 475d5f8c..c48949d2 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
@@ -7,6 +7,9 @@
+
+
+
@@ -40,7 +43,7 @@
-
+
@@ -71,6 +74,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 243bdab8..10792a68 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
@@ -7,7 +7,7 @@
-
+
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..b26c8231 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
@@ -5,6 +5,11 @@
+
+
+
+
+
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 34ab05be..02dbb5da 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
@@ -5,6 +5,11 @@
+
+
+
+
+
498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)
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 4ff0b23d..9c09eaf5 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
@@ -5,6 +5,11 @@
+
+
+
+
+
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
@@ -64,6 +69,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 81963635..f3db85a9 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
@@ -5,6 +5,11 @@
+
+
+
+
+
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
index cbc7633e..b64d0675 100644
--- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
+++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd
@@ -10,6 +10,11 @@
+
+
+
+
+
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 f80a3d31..975b3c1c 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
@@ -5,6 +5,11 @@
+
+
+
+
+
742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)
diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
index 62fb8758..3c83742b 100644
--- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
+++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd
@@ -5,6 +5,11 @@
+
+
+
+
+
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
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 808dcd94..19a57355 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
@@ -5,6 +5,11 @@
+
+
+
+
+
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
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 a249cd7b..9cbf2795 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
@@ -5,6 +5,11 @@
+
+
+
+
+
ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)
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 0461eb78..2b7986c4 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
@@ -5,6 +5,11 @@
+
+
+
+
+
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
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 959588f3..bf57b212 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
@@ -6,6 +6,11 @@
+
+
+
+
+
@@ -19,6 +24,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 66e2a75f..33c4384d 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
@@ -10,6 +10,9 @@
+
+
+
@@ -32,7 +35,7 @@
-
+
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 69d59409..cd43f7d0 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -46,6 +46,7 @@
+
@@ -56,8 +57,14 @@
+
+
+
+
+
+
@@ -72,9 +79,12 @@
+
+
+
@@ -83,23 +93,38 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -160,13 +185,14 @@
+
-
-
-
-
+
+
+
+
@@ -182,8 +208,8 @@
-
+
@@ -194,8 +220,10 @@
+
+
@@ -205,6 +233,13 @@
+
+
+
+
+
+
+
@@ -217,9 +252,12 @@
+
+
+
@@ -227,20 +265,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -301,13 +354,14 @@
+
-
-
-
-
+
+
+
+
@@ -323,8 +377,8 @@
-
+
@@ -335,8 +389,10 @@
+
+
@@ -347,6 +403,13 @@
+
+
+
+
+
+
+
@@ -360,9 +423,12 @@
+
+
+
@@ -371,20 +437,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -445,13 +526,14 @@
+
-
-
-
-
+
+
+
+
@@ -467,8 +549,8 @@
-
+
@@ -479,8 +561,10 @@
+
+
@@ -491,6 +575,13 @@
+
+
+
+
+
+
+
@@ -503,9 +594,12 @@
+
+
+
@@ -514,20 +608,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -588,13 +697,14 @@
+
-
-
-
-
+
+
+
+
@@ -610,8 +720,8 @@
-
+
@@ -659,7 +769,7 @@
-
+
@@ -706,6 +816,7 @@
+
@@ -724,6 +835,8 @@
+
+
@@ -740,17 +853,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -759,9 +884,12 @@
+
+
+
@@ -778,13 +906,18 @@
-
+
+
+
+
+
+
@@ -850,22 +983,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -874,12 +1009,13 @@
-
+
+
@@ -896,6 +1032,7 @@
+
@@ -923,22 +1060,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -948,8 +1087,8 @@
-
+
@@ -970,22 +1109,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -995,12 +1136,13 @@
-
+
+
@@ -1017,6 +1159,7 @@
+
@@ -1044,22 +1187,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1070,8 +1215,8 @@
-
+
@@ -1092,22 +1237,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1118,12 +1265,13 @@
-
+
+
@@ -1140,6 +1288,7 @@
+
@@ -1167,22 +1316,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1194,8 +1345,8 @@
-
+
@@ -1216,22 +1367,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1243,12 +1396,13 @@
-
+
+
@@ -1263,6 +1417,7 @@
+
@@ -1290,22 +1445,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1318,8 +1475,8 @@
-
+
@@ -1341,22 +1498,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1373,8 +1532,8 @@
-
+
@@ -1420,6 +1579,7 @@
+
@@ -1437,6 +1597,8 @@
+
+
@@ -1448,18 +1610,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1468,15 +1644,19 @@
+
+
+
+
@@ -1486,13 +1666,18 @@
-
+
+
+
+
+
+
diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps
index 786339b7..dd861e35 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/typesystem.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps
index 7b348b1d..9a53f81a 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 202c9c87..1a5da49c 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -26,7 +36,7 @@
-
+
@@ -69,7 +79,7 @@
-
+
@@ -87,10 +97,11 @@
-
+
+
@@ -99,7 +110,7 @@
-
+
@@ -123,6 +134,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps
index 9ff50deb..241dc710 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/typesystem.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps
index c4ab0fe4..43091f05 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 6e0385e6..ea69bc4c 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -26,7 +36,7 @@
-
+
@@ -70,7 +80,7 @@
-
+
@@ -88,10 +98,11 @@
-
+
+
@@ -100,7 +111,7 @@
-
+
@@ -125,6 +136,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
index fc9f3bcd..a60b61a4 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps
@@ -2,7 +2,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..15c09bed 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 126c515e..419cf7db 100644
--- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
+++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -26,7 +36,7 @@
-
+
@@ -68,7 +78,7 @@
-
+
@@ -86,10 +96,11 @@
-
+
+
@@ -98,7 +109,7 @@
-
+
@@ -123,6 +134,7 @@
+
diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps
index 23bbdaaf..e460f92f 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/typesystem.mps b/samples/fitch/languages/samples.fitch/models/typesystem.mps
index f9b92258..466425c5 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 837e15f5..0ec80000 100644
--- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl
+++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -13,6 +18,11 @@
+
+
+
+
+
@@ -26,7 +36,7 @@
-
+
@@ -68,7 +78,7 @@
-
+
@@ -89,10 +99,11 @@
-
+
+
@@ -102,7 +113,7 @@
-
+
@@ -126,6 +137,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..72aacd82 100644
--- a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd
+++ b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd
@@ -5,6 +5,11 @@
+
+
+
+
+
422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build)
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 d561d58b..14a9774c 100644
--- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
+++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
@@ -7,6 +7,9 @@
+
+
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index d9d6498d..cb11af38 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -43,8 +43,10 @@
+
+
@@ -55,6 +57,13 @@
+
+
+
+
+
+
+
@@ -73,9 +82,11 @@
+
+
@@ -84,20 +95,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -120,7 +146,7 @@
-
+
@@ -174,7 +200,7 @@
-
+
@@ -239,6 +265,7 @@
+
@@ -249,6 +276,8 @@
+
+
@@ -264,16 +293,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -282,9 +323,12 @@
+
+
+
@@ -301,18 +345,25 @@
+
+
+
+
+
+
+
@@ -355,22 +406,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -379,12 +432,13 @@
-
+
+
@@ -393,6 +447,7 @@
+
@@ -416,22 +471,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -445,8 +502,8 @@
-
+
@@ -499,6 +556,7 @@
+
@@ -509,6 +567,8 @@
+
+
@@ -520,18 +580,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -540,15 +614,19 @@
+
+
+
+
@@ -557,18 +635,26 @@
+
+
+
+
+
+
+
+
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
index 6240d7f3..0e940fce 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
+++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -34,7 +39,7 @@
-
+
@@ -52,10 +57,11 @@
-
+
+
@@ -64,7 +70,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..a604ca63 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd
@@ -5,6 +5,11 @@
+
+
+
+
+
422c2909-59d6-41a9-b318-40e6256b250f(jetbrains.mps.ide.build)
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 167da163..738163ea 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd
@@ -7,6 +7,9 @@
+
+
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 6e5a5d71..3f33de63 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -43,16 +43,26 @@
+
+
+
+
+
+
+
+
+
+
@@ -68,22 +78,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -102,7 +132,7 @@
-
+
@@ -123,18 +153,25 @@
+
+
+
+
+
+
+
@@ -150,28 +187,43 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -190,7 +242,7 @@
-
+
@@ -265,7 +317,7 @@
-
+
@@ -331,7 +383,7 @@
-
+
@@ -395,6 +447,7 @@
+
@@ -402,6 +455,7 @@
+
@@ -412,6 +466,8 @@
+
+
@@ -432,6 +488,7 @@
+
@@ -439,6 +496,7 @@
+
@@ -456,9 +514,11 @@
+
+
@@ -475,6 +535,7 @@
+
@@ -483,7 +544,7 @@
-
+
@@ -492,6 +553,7 @@
+
@@ -537,22 +599,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -561,12 +625,13 @@
-
+
+
@@ -583,6 +648,7 @@
+
@@ -610,22 +676,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -634,14 +702,13 @@
-
-
-
+
+
@@ -657,6 +724,7 @@
+
@@ -686,22 +754,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -714,8 +784,8 @@
-
+
@@ -735,6 +805,7 @@
+
@@ -755,7 +826,6 @@
-
@@ -773,22 +843,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -802,8 +874,8 @@
-
+
@@ -823,6 +895,7 @@
+
@@ -857,22 +930,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -886,8 +961,8 @@
-
+
@@ -952,12 +1027,14 @@
+
+
@@ -968,6 +1045,8 @@
+
+
@@ -977,6 +1056,7 @@
+
@@ -987,6 +1067,7 @@
+
@@ -994,6 +1075,7 @@
+
@@ -1011,15 +1093,18 @@
+
+
+
@@ -1028,6 +1113,8 @@
+
+
@@ -1036,7 +1123,7 @@
-
+
@@ -1045,6 +1132,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 b06dd3f1..2347f1d2 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
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -29,7 +34,7 @@
-
+
@@ -42,16 +47,17 @@
-
+
+
-
+
@@ -78,6 +84,7 @@
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps
index c9036b96..65bbb00f 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps
@@ -7,7 +7,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps
index 5f46369d..a80964b0 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps
@@ -2,7 +2,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 3c238f17..914b16ba 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -5,6 +5,11 @@
+
+
+
+
+
@@ -29,7 +34,7 @@
-
+
@@ -43,16 +48,17 @@
-
+
+
-
+
@@ -79,6 +85,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 80357dbb..e46bca94 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,12 +7,12 @@
-
+
-
+
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 42784f91..9837f3f0 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
@@ -7,6 +7,9 @@
+
+
+
@@ -36,7 +39,7 @@
-
+
@@ -66,6 +69,7 @@
+
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
index 8cda4644..42d9a862 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps
@@ -9,7 +9,7 @@
-
+
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 73900025..c358823d 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
@@ -11,7 +11,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..2fcedd50 100644
--- a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd
+++ b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd
@@ -5,6 +5,11 @@
+
+
+
+
+
bc9cd1e7-827b-4d61-b111-d2c896dcae6f(jetbrains.mps.coderules.build)
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 9c38ae73..b9f33f1a 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd
@@ -7,6 +7,9 @@
+
+
+
@@ -36,7 +39,7 @@
-
+
@@ -66,6 +69,7 @@
+