diff --git a/.mps/migration.xml b/.mps/migration.xml
index 333ddb4a..d88115b1 100644
--- a/.mps/migration.xml
+++ b/.mps/migration.xml
@@ -8,6 +8,8 @@
+
+
diff --git a/build.xml b/build.xml
index 13acbedd..42aa4a87 100644
--- a/build.xml
+++ b/build.xml
@@ -54,13 +54,14 @@
-
-
+
+
+
@@ -70,8 +71,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -109,6 +133,9 @@
+
+
+
@@ -147,6 +174,9 @@
+
+
+
@@ -193,6 +223,9 @@
+
+
+
@@ -202,8 +235,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -245,6 +302,9 @@
+
+
+
@@ -283,6 +343,9 @@
+
+
+
@@ -311,19 +374,16 @@
-
-
-
-
-
-
+
+
+
@@ -366,6 +426,9 @@
+
+
+
@@ -375,8 +438,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -408,22 +494,21 @@
-
-
-
-
+
+
+
@@ -464,6 +549,9 @@
+
+
+
@@ -534,23 +622,16 @@
-
-
-
-
-
-
-
@@ -572,13 +653,13 @@
-
+
@@ -650,9 +731,9 @@
+
-
@@ -665,13 +746,9 @@
-
-
-
-
+
-
@@ -702,9 +779,9 @@
+
-
@@ -719,13 +796,9 @@
-
-
-
-
+
-
@@ -766,10 +839,7 @@
-
-
-
-
+
@@ -801,13 +871,10 @@
+
-
-
-
-
-
+
@@ -832,9 +899,9 @@
+
-
@@ -853,27 +920,25 @@
-
-
-
-
+
-
+
+
-
+
@@ -898,9 +963,9 @@
+
-
@@ -920,22 +985,19 @@
-
-
-
-
+
-
+
-
+
@@ -954,8 +1016,6 @@
-
-
@@ -963,11 +1023,13 @@
+
+
+
-
@@ -982,13 +1044,9 @@
-
-
-
-
+
-
@@ -1012,8 +1070,6 @@
-
-
@@ -1021,11 +1077,13 @@
+
+
+
-
@@ -1044,13 +1102,9 @@
-
-
-
-
+
-
@@ -1081,9 +1135,9 @@
+
-
@@ -1096,16 +1150,12 @@
+
-
-
-
-
-
+
-
@@ -1126,8 +1176,6 @@
-
-
@@ -1135,11 +1183,13 @@
+
+
+
-
@@ -1148,10 +1198,7 @@
-
-
-
-
+
@@ -1178,9 +1225,9 @@
+
-
@@ -1196,13 +1243,9 @@
-
-
-
-
+
-
@@ -1235,9 +1278,9 @@
+
-
@@ -1254,13 +1297,9 @@
-
-
-
-
+
-
@@ -1283,8 +1322,6 @@
-
-
@@ -1292,11 +1329,13 @@
+
+
+
-
@@ -1315,10 +1354,7 @@
-
-
-
-
+
@@ -1360,12 +1396,8 @@
-
-
-
-
+
-
diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index 2fa2ec63..6ca12dc8 100644
--- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -6,8 +6,8 @@
-
-
+
+
@@ -222,8 +222,8 @@
-
+
@@ -1299,7 +1299,6 @@
-
@@ -1311,6 +1310,9 @@
+
+
+
@@ -1410,7 +1412,6 @@
-
@@ -1422,6 +1423,9 @@
+
+
+
diff --git a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
index 2d300610..8833ff2f 100644
--- a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
+++ b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl
@@ -18,12 +18,8 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -33,7 +29,7 @@
-
+
@@ -44,8 +40,8 @@
-
+
@@ -87,13 +83,8 @@
35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
-
-
-
+
@@ -102,17 +93,17 @@
-
-
+
+
-
+
-
+
-
+
@@ -126,7 +117,6 @@
-
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/actions.mps b/logic/languages/jetbrains.mps.logic/languageModels/actions.mps
index 867bf6a0..dc6a0dfb 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/actions.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/actions.mps
@@ -2,621 +2,14 @@
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
index 86d22a2c..4ec86500 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps
@@ -2,7 +2,7 @@
-
+
@@ -74,10 +74,13 @@
+
+
+
-
+
@@ -174,11 +177,13 @@
-
+
+
+
@@ -238,11 +243,13 @@
-
+
+
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps b/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps
index bf6a966c..3899bc7e 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps
@@ -2,7 +2,7 @@
-
+
@@ -125,7 +125,7 @@
-
+
@@ -134,12 +134,12 @@
-
+
+
-
@@ -172,8 +172,8 @@
-
+
@@ -439,16 +439,16 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
+
+
@@ -462,116 +462,118 @@
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
-
-
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
+
-
+
-
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
-
+
+
-
+
-
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -583,34 +585,34 @@
-
-
-
+
+
+
-
+
-
-
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
+
-
+
@@ -619,68 +621,72 @@
-
+
-
-
-
+
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
+
-
-
-
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
+
-
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -692,34 +698,34 @@
-
-
-
+
+
+
-
+
-
-
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
+
-
+
@@ -729,50 +735,50 @@
-
-
-
+
+
+
-
-
+
+
-
-
-
+
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
-
+
-
+
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
index cdae3a19..56c525f9 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -2,8 +2,8 @@
-
-
+
+
@@ -386,8 +386,8 @@
-
+
@@ -411,7 +411,6 @@
-
@@ -427,6 +426,7 @@
+
@@ -1032,8 +1032,10 @@
-
+
+
+
@@ -1080,8 +1082,10 @@
-
+
+
+
@@ -1296,8 +1300,10 @@
-
+
+
+
@@ -1347,8 +1353,10 @@
-
+
+
+
@@ -1403,10 +1411,12 @@
-
+
+
+
@@ -1785,10 +1795,12 @@
-
+
+
+
@@ -1888,10 +1900,12 @@
-
+
+
+
@@ -2009,10 +2023,12 @@
-
+
+
+
@@ -2061,7 +2077,6 @@
-
@@ -2069,8 +2084,11 @@
+
+
+
-
+
@@ -2084,11 +2102,13 @@
-
+
+
+
@@ -2110,7 +2130,6 @@
-
@@ -2118,8 +2137,11 @@
+
+
+
-
+
@@ -2133,11 +2155,13 @@
-
+
+
+
@@ -2498,7 +2522,7 @@
-
+
@@ -3008,6 +3032,7 @@
+
@@ -3196,10 +3221,12 @@
-
+
+
+
@@ -3311,6 +3338,7 @@
+
@@ -3389,6 +3417,7 @@
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
index 67f9437e..763820b3 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps
@@ -3,8 +3,8 @@
-
-
+
+
@@ -146,11 +146,11 @@
-
+
@@ -383,7 +383,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index e7457640..7f3fb0ee 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -154,8 +154,8 @@
-
+
@@ -643,13 +643,15 @@
-
+
+
+
@@ -693,13 +695,15 @@
-
+
+
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
index 2154d8d4..333af1f4 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
+++ b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd
@@ -10,12 +10,8 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -23,7 +19,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
index 038920cf..3045bced 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
index cc8b26ec..a5316097 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
index 320f92fe..01156d32 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
index 1ac6ef99..de42c11e 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
index ad6bcde7..68a0e389 100644
--- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
+++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
index 0052c135..bbaac64c 100644
--- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
+++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
@@ -25,8 +25,7 @@
498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)
-
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
index b82dc5b3..5c7eb29b 100644
--- a/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
+++ b/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd
@@ -19,12 +19,8 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -34,7 +30,7 @@
-
+
@@ -44,8 +40,8 @@
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
index c0054106..47ab1da6 100644
--- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
+++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
index 907afe0b..ca43a100 100644
--- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
+++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
index 1b5e1adf..242a2624 100644
--- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
+++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps
@@ -4,7 +4,7 @@
-
+
@@ -161,7 +161,7 @@
-
+
diff --git a/test.xml b/test.xml
index 27a8a59c..3d5f828a 100644
--- a/test.xml
+++ b/test.xml
@@ -40,13 +40,14 @@
-
-
+
+
+
@@ -56,8 +57,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -106,6 +130,9 @@
+
+
+
@@ -115,8 +142,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -148,22 +199,21 @@
-
-
-
-
+
+
+
@@ -203,6 +253,9 @@
+
+
+
@@ -241,6 +294,9 @@
+
+
+
@@ -269,19 +325,16 @@
-
-
-
-
-
-
+
+
+
@@ -322,6 +375,9 @@
+
+
+
@@ -360,6 +416,9 @@
+
+
+
@@ -402,6 +461,9 @@
+
+
+
@@ -431,22 +493,21 @@
-
-
-
-
+
+
+
@@ -482,16 +543,16 @@
-
-
-
+
+
+
@@ -501,8 +562,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -545,6 +629,9 @@
+
+
+
@@ -574,6 +661,9 @@
+
+
+
@@ -606,8 +696,6 @@
-
-
@@ -617,6 +705,9 @@
+
+
+
@@ -652,6 +743,9 @@
+
+
+
@@ -688,13 +782,14 @@
-
-
+
+
+
@@ -704,8 +799,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -781,10 +899,6 @@
-
-
-
-
@@ -800,7 +914,6 @@
-
@@ -822,6 +935,7 @@
+
@@ -910,9 +1024,9 @@
+
-
@@ -925,13 +1039,9 @@
-
-
-
-
+
-
@@ -962,9 +1072,9 @@
+
-
@@ -979,13 +1089,9 @@
-
-
-
-
+
-
@@ -1026,10 +1132,7 @@
-
-
-
-
+
@@ -1061,13 +1164,10 @@
+
-
-
-
-
-
+
@@ -1093,9 +1193,9 @@
+
-
@@ -1109,6 +1209,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1117,22 +1229,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1157,9 +1253,9 @@
+
-
@@ -1178,27 +1274,25 @@
-
-
-
-
+
-
+
+
-
+
@@ -1223,9 +1317,9 @@
+
-
@@ -1245,22 +1339,19 @@
-
-
-
-
+
-
+
-
+
@@ -1279,8 +1370,6 @@
-
-
@@ -1288,11 +1377,13 @@
+
+
+
-
@@ -1307,13 +1398,9 @@
-
-
-
-
+
-
@@ -1337,8 +1424,6 @@
-
-
@@ -1346,11 +1431,13 @@
+
+
+
-
@@ -1369,13 +1456,9 @@
-
-
-
-
+
-
@@ -1406,9 +1489,9 @@
+
-
@@ -1421,16 +1504,12 @@
+
-
-
-
-
-
+
-
@@ -1451,8 +1530,6 @@
-
-
@@ -1460,11 +1537,13 @@
+
+
+
-
@@ -1473,10 +1552,7 @@
-
-
-
-
+
@@ -1492,8 +1568,6 @@
-
-
@@ -1501,11 +1575,13 @@
+
+
+
-
@@ -1524,10 +1600,7 @@
-
-
-
-
+
@@ -1569,12 +1642,8 @@
-
-
-
-
+
-
@@ -1605,22 +1674,18 @@
+
-
-
-
-
-
+
-
@@ -1658,9 +1723,9 @@
+
-
@@ -1668,10 +1733,7 @@
-
-
-
-
+
@@ -1700,9 +1762,9 @@
+
-
@@ -1720,13 +1782,9 @@
-
-
-
-
+
-
@@ -1756,9 +1814,9 @@
+
-
@@ -1766,13 +1824,9 @@
-
-
-
-
+
-
@@ -1815,9 +1869,9 @@
+
-
@@ -1834,26 +1888,14 @@
-
-
-
-
-
-
-
-
+
-
-
-
-
-
+
-
@@ -1868,6 +1910,14 @@
+
+
+
+
+
+
+
+
@@ -1893,9 +1943,9 @@
+
-
@@ -1914,26 +1964,14 @@
-
-
-
-
-
-
-
-
-
+
-
-
-
-
+
-
@@ -1947,6 +1985,14 @@
+
+
+
+
+
+
+
+
@@ -1972,9 +2018,9 @@
+
-
@@ -1994,26 +2040,14 @@
-
-
-
-
-
-
-
-
-
-
-
-
+
-
@@ -2028,6 +2062,14 @@
+
+
+
+
+
+
+
+
@@ -2050,9 +2092,6 @@
-
-
-
diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl
index aef983ca..2ebab711 100644
--- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl
+++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl
@@ -14,12 +14,8 @@
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -29,7 +25,7 @@
-
+
@@ -39,8 +35,8 @@
-
+
@@ -59,29 +55,23 @@
9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
-
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
-
-
-
+
+
+
-
-
+
-
+
@@ -94,8 +84,8 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps
index 7588fdf6..fe6fe107 100644
--- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps
+++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps
index 70b154ac..ffb12fd2 100644
--- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps
+++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps
index b27dc957..252c8ce2 100644
--- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps
+++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps
index 00a8da24..0cb8b22a 100644
--- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps
+++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps
@@ -10,8 +10,8 @@
-
-
+
+
@@ -387,8 +387,8 @@
-
+
@@ -1496,7 +1496,6 @@
-
@@ -1508,6 +1507,9 @@
+
+
+
@@ -2234,10 +2236,12 @@
-
+
+
+
@@ -2658,10 +2662,12 @@
-
+
+
+
@@ -3386,7 +3392,6 @@
-
@@ -3398,6 +3403,9 @@
+
+
+
@@ -3716,7 +3724,6 @@
-
@@ -3728,6 +3735,9 @@
+
+
+
@@ -4113,7 +4123,6 @@
-
@@ -4125,6 +4134,9 @@
+
+
+
@@ -4271,7 +4283,6 @@
-
@@ -4283,6 +4294,9 @@
+
+
+
@@ -6491,10 +6505,12 @@
-
+
+
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
index 3616c84c..95f1d462 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
+++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
@@ -14,12 +14,8 @@
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -29,7 +25,7 @@
-
+
@@ -52,13 +48,8 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor)
-
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -67,17 +58,17 @@
-
-
+
+
-
+
-
+
-
+
@@ -88,11 +79,11 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps
index 8546073b..d9641a8a 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps
index 0faa0df2..80059984 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
index 829adeae..49ed17bf 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps
@@ -2,7 +2,7 @@
-
+
@@ -86,7 +86,7 @@
-
+
@@ -148,7 +148,7 @@
-
+
diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
index f63fedcd..4a859dac 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps
@@ -86,13 +86,13 @@
-
+
@@ -276,7 +276,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd
index 79e1c6b9..ef0c1d28 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd
@@ -16,19 +16,16 @@
742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)
-
-
+
-
-
-
+
@@ -42,9 +39,9 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps
index b290124b..207ad83c 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps
@@ -3,8 +3,8 @@
-
-
+
+
@@ -60,7 +60,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps
index 68f98753..7f4fd518 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps
@@ -4,8 +4,8 @@
-
-
+
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps
index a95034a1..2a747b03 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps
index f71926b6..52df2d15 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps
index 79e854c6..dd2a0863 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps
index d970dbb5..5725929b 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps
index 41119243..0294c6bc 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps
@@ -3,8 +3,8 @@
-
-
+
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd
index d97dab33..315a7f8d 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd
@@ -10,8 +10,7 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
-
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps
index 645c6021..447e6418 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps
index a572a076..7b274945 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps
index 2d2303a0..1913c45d 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps
index d1dfdf3c..d7f195bf 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps
index 7b95eec3..29a4a9b0 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps
index e1c4e131..d4f6fd16 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd
index 20fc8d38..5f0e2296 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd
@@ -16,15 +16,14 @@
b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)
-
-
+
-
+
@@ -35,9 +34,9 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps
index 039f6cb6..8ccc8d81 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps
@@ -5,9 +5,9 @@
-
+
-
+
@@ -265,9 +265,12 @@
+
+
+
-
+
@@ -596,10 +599,12 @@
-
+
+
+
@@ -681,10 +686,12 @@
-
+
+
+
@@ -766,10 +773,12 @@
-
+
+
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd
index 19338593..2e0887cc 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd
@@ -11,13 +11,12 @@
-
+
-
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps
index 72a19906..c43fbfee 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps
@@ -4,7 +4,7 @@
-
+
@@ -664,12 +664,6 @@
-
-
-
-
-
-
@@ -765,6 +759,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -1940,12 +1944,6 @@
-
-
-
-
-
-
@@ -2041,6 +2039,16 @@
+
+
+
+
+
+
+
+
+
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd
index f64962ac..088a15bf 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd
@@ -12,12 +12,8 @@
ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)
f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -26,7 +22,7 @@
-
+
@@ -36,8 +32,8 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
index 0b8f54e7..fa334b6f 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
@@ -4,9 +4,9 @@
-
+
-
+
@@ -170,8 +170,8 @@
-
+
@@ -734,10 +734,12 @@
-
+
+
+
@@ -758,10 +760,12 @@
-
+
+
+
@@ -787,10 +791,12 @@
-
+
+
+
@@ -939,10 +945,12 @@
-
+
+
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd
index 1212e450..c9cccf97 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd
@@ -19,13 +19,8 @@
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
-
-
-
+
@@ -36,7 +31,7 @@
-
+
@@ -50,10 +45,10 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps
index b767e4f6..3d3420c3 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps
@@ -6,8 +6,8 @@
-
-
+
+
@@ -164,7 +164,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd
index a5cd7453..042b7661 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd
@@ -24,13 +24,8 @@
bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime)
274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper)
-
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
-
-
-
+
@@ -43,7 +38,7 @@
-
+
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
index bda6ddea..8ff48ff9 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
@@ -9,8 +9,8 @@
-
-
+
+
@@ -95,7 +95,6 @@
-
@@ -579,9 +578,12 @@
+
+
+
-
+
@@ -4947,10 +4949,12 @@
-
+
+
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
index 26553401..d5520fd8 100644
--- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
+++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl
@@ -18,13 +18,8 @@
26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)
2bdcefec-ba49-4b32-ab50-ebc7a41d5090(jetbrains.mps.lang.smodel#1139186730696)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
- a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)
-
-
-
+
@@ -36,7 +31,7 @@
-
+
@@ -46,11 +41,10 @@
-
-
+
@@ -82,12 +76,8 @@
-
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
-
-
-
+
@@ -96,13 +86,13 @@
-
-
+
+
-
+
-
+
@@ -113,7 +103,7 @@
-
+
@@ -125,10 +115,10 @@
-
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps
index afed81da..b400b19f 100644
--- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps
index 6feff073..861d74ca 100644
--- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
index bc401196..faf74c7a 100644
--- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps
@@ -2,7 +2,7 @@
-
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
index 3482d3e6..2fb56416 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
@@ -8,7 +8,7 @@
-
+
@@ -559,8 +559,8 @@
-
+
@@ -1704,8 +1704,10 @@
-
+
+
+
@@ -1739,8 +1741,10 @@
-
+
+
+
@@ -2174,8 +2178,10 @@
-
+
+
+
@@ -2469,8 +2475,10 @@
-
+
+
+
@@ -2814,11 +2822,13 @@
-
+
+
+
@@ -3088,10 +3098,12 @@
-
+
+
+
@@ -3149,10 +3161,12 @@
-
+
+
+
@@ -3827,10 +3841,12 @@
-
+
+
+
@@ -3861,10 +3877,12 @@
-
+
+
+
@@ -5188,8 +5206,10 @@
-
+
+
+
@@ -5646,8 +5666,10 @@
-
+
+
+
@@ -5912,11 +5934,13 @@
-
+
+
+
@@ -6262,13 +6286,15 @@
-
+
+
+
@@ -6796,7 +6822,6 @@
-
@@ -6806,6 +6831,9 @@
+
+
+
@@ -6948,8 +6976,10 @@
-
+
+
+
@@ -6963,19 +6993,23 @@
-
-
+
+
+
+
+
+
@@ -7379,13 +7413,15 @@
-
+
+
+
@@ -8472,7 +8508,6 @@
-
@@ -8484,6 +8519,9 @@
+
+
+
@@ -8589,7 +8627,6 @@
-
@@ -8601,6 +8638,9 @@
+
+
+
@@ -8730,13 +8770,15 @@
-
+
+
+
@@ -15995,13 +16037,15 @@
-
+
+
+
@@ -16020,13 +16064,15 @@
-
+
+
+
@@ -17190,8 +17236,10 @@
-
+
+
+
@@ -18671,11 +18719,13 @@
-
+
+
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl
index 4b46f583..5bca08fc 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl
@@ -29,13 +29,8 @@
96ee7a94-411d-4cf8-9b94-96cad7e52411(jetbrains.mps.baseLanguage.jdk7)
9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
- a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)
-
-
-
+
@@ -51,10 +46,11 @@
-
+
+
@@ -63,18 +59,17 @@
-
+
-
@@ -84,6 +79,7 @@
+
@@ -108,12 +104,8 @@
7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)
3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)
-
- fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)
- 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
-
-
+
@@ -126,14 +118,14 @@
-
+
-
+
-
+
-
+
@@ -145,11 +137,12 @@
-
+
+
@@ -163,7 +156,6 @@
-
@@ -172,7 +164,6 @@
-
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps
index cff884a3..6655124b 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps
@@ -2,7 +2,7 @@
-
+
@@ -20,7 +20,6 @@
-
@@ -168,8 +167,8 @@
-
+
@@ -403,13 +402,15 @@
-
+
+
+
@@ -427,13 +428,15 @@
-
+
+
+
@@ -487,13 +490,15 @@
-
+
+
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
index 272b9691..ad3240f5 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
@@ -2,7 +2,7 @@
-
+
@@ -22,9 +22,6 @@
-
-
-
@@ -116,7 +113,7 @@
-
+
@@ -141,9 +138,10 @@
-
+
+
@@ -202,72 +200,74 @@
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -286,74 +286,76 @@
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
+
+
+
+
+
-
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
+
-
+
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
+
-
+
@@ -361,49 +363,51 @@
-
-
-
+
+
+
-
-
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
+
+
+
+
+
-
+
-
+
-
+
-
+
@@ -411,58 +415,62 @@
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
-
+
-
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -482,19 +490,19 @@
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
+
+
+
+
+
@@ -502,47 +510,49 @@
-
-
-
-
-
-
+
+
+
+
+
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
-
+
+
+
+
@@ -551,19 +561,19 @@
-
+
-
-
-
+
+
+
-
+
-
-
-
-
-
+
+
+
+
+
@@ -580,52 +590,54 @@
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -645,52 +657,54 @@
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
+
-
-
+
+
-
-
-
+
+
+
-
+
-
-
-
-
+
+
+
+
-
-
-
+
+
+
+
+
-
+
@@ -710,15 +724,18 @@
-
-
-
-
-
+
+
+
+