diff --git a/.mps/modules.xml b/.mps/modules.xml
index e720db94..2157e852 100644
--- a/.mps/modules.xml
+++ b/.mps/modules.xml
@@ -7,6 +7,7 @@
+
diff --git a/build.gradle b/build.gradle
index 9bb6d345..00b8d35e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -179,6 +179,7 @@ ant.importBuild('build.xml') { antTarget ->
ant.properties.'ci.build.num' = "${buildNumber().find() ? buildNumber()[0][4] : '9999'}".toString()
ant.properties.'ci.build.tag' = "${buildNumber().find() ? buildNumber()[0][4] : 'SNAPSHOT'}".toString()
ant.properties.'ci.mps.release' = "${buildNumber().find() ? buildNumber()[0][1] : '212'}".toString()
+ant.properties.'mps.ant.log' = "debug"
// ensure 'setup' runs before 'fetchDependencies' and 'declare-mps-tasks'
'coderules-fetchDependencies' {
diff --git a/build.xml b/build.xml
index 1c438836..81ffb1ad 100644
--- a/build.xml
+++ b/build.xml
@@ -399,6 +399,7 @@
+
@@ -474,6 +475,7 @@
+
@@ -481,14 +483,16 @@
+
+
-
+
@@ -505,6 +509,7 @@
+
@@ -1016,15 +1021,8 @@
-
-
-
-
-
-
-
@@ -1096,16 +1094,7 @@
-
-
-
-
-
-
-
-
-
@@ -1123,6 +1112,8 @@
+
+
@@ -1221,6 +1212,152 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1404,13 +1541,17 @@
+
+
+
+
@@ -1446,6 +1587,7 @@
+
@@ -1532,21 +1674,7 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -1597,7 +1725,6 @@
-
@@ -1693,6 +1820,7 @@
+
@@ -1725,6 +1853,7 @@
+
@@ -2217,6 +2346,152 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2651,6 +2926,7 @@
+
@@ -2726,6 +3002,7 @@
+
@@ -2733,14 +3010,16 @@
+
+
-
+
@@ -2757,6 +3036,7 @@
+
@@ -2837,15 +3117,8 @@
-
-
-
-
-
-
-
@@ -2917,16 +3190,7 @@
-
-
-
-
-
-
-
-
-
@@ -2944,6 +3208,8 @@
+
+
@@ -3008,6 +3274,7 @@
+
@@ -3040,6 +3307,7 @@
+
@@ -3130,7 +3398,7 @@
-
+
@@ -3254,9 +3522,11 @@
+
+
@@ -3285,6 +3555,7 @@
+
@@ -3620,7 +3891,312 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3655,13 +4231,13 @@
-
-
+
+
@@ -3686,17 +4262,17 @@
-
+
-
+
@@ -3735,11 +4311,13 @@
-
+
+
+
@@ -3756,23 +4334,23 @@
+
-
+
-
-
+
-
+
@@ -3814,7 +4392,6 @@
-
@@ -3839,6 +4416,7 @@
+
@@ -3903,7 +4481,7 @@
-
+
@@ -3933,14 +4511,16 @@
-
+
+
+
@@ -3953,10 +4533,13 @@
+
+
+
@@ -3964,6 +4547,8 @@
+
+
@@ -4044,7 +4629,7 @@
-
+
@@ -4080,14 +4665,14 @@
-
-
-
-
-
+
+
+
+
+
@@ -4101,24 +4686,22 @@
-
-
+
+
-
-
-
+
-
+
@@ -4152,32 +4735,19 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -4185,41 +4755,11 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
+
@@ -4264,7 +4804,6 @@
-
@@ -4346,7 +4885,7 @@
-
+
@@ -4381,6 +4920,7 @@
+
@@ -4595,7 +5135,7 @@
-
+
@@ -4625,7 +5165,9 @@
+
+
@@ -4645,9 +5187,11 @@
+
+
@@ -4656,11 +5200,13 @@
+
+
-
+
@@ -4719,6 +5265,7 @@
+
@@ -5133,9 +5680,11 @@
+
+
@@ -5160,17 +5709,17 @@
-
+
+
-
@@ -5181,6 +5730,8 @@
+
+
@@ -5254,6 +5805,7 @@
+
diff --git a/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit b/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit
index c5c1ea7e..d5aeed34 100644
--- a/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit
+++ b/coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit
@@ -3,6 +3,7 @@
+
2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)
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 251653de..e773c736 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
@@ -26,13 +26,14 @@
a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)
- 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)
ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)
bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)
+ 500f1fd6-f17c-4da0-af24-99ec6137355c(jetbrains.mps.lang.types.generator)
+ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)
@@ -48,7 +49,9 @@
+
+
@@ -77,11 +80,13 @@
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps
index 078c6801..2d0bd634 100644
--- a/coderules/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps
@@ -8,11 +8,20 @@
-
+
+
+
+
+
+
+
+
+
+
@@ -20,6 +29,14 @@
+
+
+
+
+
+
+
+
@@ -30,21 +47,54 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -52,6 +102,10 @@
+
+
+
+
@@ -70,15 +124,28 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -99,10 +166,16 @@
+
+
+
+
+
+
@@ -111,6 +184,15 @@
+
+
+
+
+
+
+
+
+
@@ -123,8 +205,12 @@
+
+
+
+
-
+
@@ -133,7 +219,7 @@
-
+
@@ -203,5 +289,99 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
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 58585467..3cabaaeb 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
@@ -31,6 +31,13 @@
86ef8290-12bb-4ca7-947f-093788f263a9(jetbrains.mps.lang.project)
ffcd9ef5-e931-4da9-a8d1-eb9bf80d19b4(jetbrains.mps.lang.controlflow.runtime)
e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726)
+ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)
+ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
+ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
+ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)
+ 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)
+ 21d5540d-cd6b-44dd-b6ab-6835bf032803(jetbrains.mps.lang.coderules#4578927328670739933)
+ c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)
diff --git a/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps b/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps
new file mode 100644
index 00000000..6e81ffcb
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps
@@ -0,0 +1,392 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl b/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl
new file mode 100644
index 00000000..246b5bbc
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl
@@ -0,0 +1,186 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 86ef8290-12bb-4ca7-947f-093788f263a9(jetbrains.mps.lang.project)
+ f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)
+ 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)
+ 21d5540d-cd6b-44dd-b6ab-6835bf032803(jetbrains.mps.lang.coderules#4578927328670739933)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor)
+ f159adf4-3c93-40f9-9c5a-1f245a8697af(jetbrains.mps.lang.aspect)
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.behavior.mps b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.behavior.mps
new file mode 100644
index 00000000..ab3549f7
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.behavior.mps
@@ -0,0 +1,12 @@
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.constraints.mps b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.constraints.mps
new file mode 100644
index 00000000..6416873b
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.constraints.mps
@@ -0,0 +1,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.editor.mps b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.editor.mps
new file mode 100644
index 00000000..eb479933
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.editor.mps
@@ -0,0 +1,12 @@
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.structure.mps b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.structure.mps
new file mode 100644
index 00000000..82913575
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.structure.mps
@@ -0,0 +1,11 @@
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.typesystem.mps b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.typesystem.mps
new file mode 100644
index 00000000..1d5579f4
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.typesystem.mps
@@ -0,0 +1,11 @@
+
+
+
+
+
+
+
+
+
+
+
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 1d246ccd..fe932fb8 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
@@ -15,6 +15,7 @@
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor)
+ afc17aaf-3a3d-4d69-a38d-db90d5e858c6(jetbrains.mps.lang.types)
@@ -26,8 +27,8 @@
-
+
@@ -39,29 +40,23 @@
-
-
-
-
-
-
-
-
+
+
@@ -73,11 +68,13 @@
+
+
-
+
@@ -85,9 +82,8 @@
-
-
-
+
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
index dbdf7f30..cce151a5 100644
--- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
@@ -2,9 +2,10 @@
-
-
+
+
+
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 fb7f594f..5fb813a7 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
@@ -47,6 +47,7 @@
+
@@ -60,6 +61,7 @@
6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)
3a1f0f04-b5e0-43be-884e-b856bfdeca21(jetbrains.mps.typechecking.testlang)
1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)
+ afc17aaf-3a3d-4d69-a38d-db90d5e858c6(jetbrains.mps.lang.types)
@@ -73,6 +75,7 @@
+
@@ -106,7 +109,9 @@
+
+
@@ -117,13 +122,22 @@
+
+
+
+
+
+
+
+
+
diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index 930a21ac..192aced7 100644
--- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -5,11 +5,11 @@
-
-
+
+
@@ -141,6 +141,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -154,10 +167,6 @@
-
-
-
-
@@ -185,10 +194,6 @@
-
-
-
-
@@ -305,15 +310,6 @@
-
-
-
-
-
-
-
-
-
@@ -1266,49 +1262,21 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1322,47 +1290,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
@@ -1376,80 +1317,65 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
+
-
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
+
+
+
-
-
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
+
+
@@ -1461,58 +1387,5 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index 5fee6824..3cca7ee1 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -872,6 +872,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -951,6 +984,122 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -977,52 +1126,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1133,6 +1236,11 @@
+
+
+
+
+
@@ -1420,6 +1528,9 @@
+
+
+
@@ -1491,6 +1602,11 @@
+
+
+
+
+
@@ -1606,9 +1722,6 @@
-
-
-
@@ -1722,9 +1835,9 @@
-
-
-
+
+
+
@@ -2069,7 +2182,6 @@
-
@@ -2116,6 +2228,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2492,11 +2639,6 @@
-
-
-
-
-
@@ -2541,6 +2683,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -3402,6 +3554,9 @@
+
+
+
@@ -3618,6 +3773,9 @@
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.descriptor.aspects.types@genplan.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.descriptor.aspects.types@genplan.mps
index 50caa862..dd2d3f6c 100644
--- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.descriptor.aspects.types@genplan.mps
+++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.descriptor.aspects.types@genplan.mps
@@ -42,6 +42,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -49,21 +74,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -85,13 +95,6 @@
-
-
-
-
-
-
-
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 2feef96b..4bb7bc91 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -121,6 +121,7 @@
+
@@ -276,6 +277,7 @@
+
@@ -434,6 +436,7 @@
+
@@ -591,6 +594,7 @@
+
@@ -762,6 +766,7 @@
+
@@ -1486,6 +1491,7 @@
+
@@ -1523,6 +1529,7 @@
+
@@ -1567,6 +1574,7 @@
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 9dea70f8..8e525efc 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -123,6 +123,7 @@
+
@@ -254,6 +255,7 @@
+
@@ -543,6 +545,7 @@
+
@@ -583,6 +586,7 @@
+
@@ -627,6 +631,7 @@
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index 7aa64095..9a5bff21 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -115,6 +115,7 @@
+
@@ -211,6 +212,8 @@
+
+
@@ -218,7 +221,9 @@
+
+
@@ -230,6 +235,7 @@
+
@@ -240,6 +246,7 @@
+
@@ -251,17 +258,27 @@
+
+
+
+
+
+
+
+
+
+
@@ -361,6 +378,7 @@
+
@@ -607,6 +625,7 @@
+
@@ -761,6 +780,7 @@
+
@@ -915,6 +935,7 @@
+
@@ -1068,6 +1089,7 @@
+
@@ -1223,6 +1245,7 @@
+
@@ -1651,6 +1674,7 @@
+
@@ -1876,6 +1900,7 @@
+
@@ -2036,6 +2061,7 @@
+
@@ -2192,6 +2218,7 @@
+
@@ -2349,6 +2376,7 @@
+
@@ -2504,6 +2532,7 @@
+
@@ -2727,6 +2756,7 @@
+
@@ -2886,6 +2916,7 @@
+
@@ -3040,6 +3071,7 @@
+
@@ -3211,6 +3243,7 @@
+
@@ -3307,6 +3340,8 @@
+
+
@@ -3314,7 +3349,9 @@
+
+
@@ -3326,6 +3363,7 @@
+
@@ -3336,6 +3374,7 @@
+
@@ -3347,17 +3386,27 @@
+
+
+
+
+
+
+
+
+
+
@@ -3457,6 +3506,7 @@
+
@@ -3703,6 +3753,7 @@
+
@@ -3857,6 +3908,7 @@
+
@@ -4011,6 +4063,7 @@
+
@@ -4164,6 +4217,7 @@
+
@@ -4319,6 +4373,7 @@
+
@@ -4485,6 +4540,7 @@
+
@@ -4644,6 +4700,7 @@
+
@@ -4804,6 +4861,7 @@
+
@@ -4960,6 +5018,7 @@
+
@@ -5117,6 +5176,7 @@
+
@@ -5272,6 +5332,7 @@
+
@@ -5428,6 +5489,7 @@
+
@@ -5587,6 +5649,7 @@
+
@@ -5741,6 +5804,7 @@
+
@@ -5866,6 +5930,7 @@
+
@@ -9338,6 +9403,7 @@
+
@@ -9376,6 +9442,7 @@
+
@@ -9421,6 +9488,7 @@
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
index 480a2241..a8a56190 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
index a7b0facd..458697ca 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
@@ -31,10 +31,14 @@
+
+
+
+
@@ -44,20 +48,31 @@
+
+
+
+
+
+
+
+
+
+
+
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 fb1a51bb..37f2ecee 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
@@ -13,8 +13,7 @@
-
-
+