diff --git a/build.xml b/build.xml
index c5fa46fb..7cf7992d 100644
--- a/build.xml
+++ b/build.xml
@@ -998,6 +998,7 @@
+
@@ -1008,8 +1009,12 @@
+
+
+
+
@@ -1017,6 +1022,7 @@
+
@@ -1026,6 +1032,7 @@
+
@@ -1040,6 +1047,7 @@
+
@@ -1047,6 +1055,7 @@
+
@@ -1392,13 +1401,16 @@
+
+
+
@@ -1652,6 +1664,7 @@
+
@@ -1662,20 +1675,25 @@
+
+
+
+
+
@@ -1686,19 +1704,29 @@
+
+
+
+
+
+
+
+
+
+
@@ -2791,6 +2819,7 @@
+
@@ -2801,8 +2830,12 @@
+
+
+
+
@@ -2810,6 +2843,7 @@
+
@@ -2819,6 +2853,7 @@
+
@@ -2833,6 +2868,7 @@
+
@@ -2840,6 +2876,7 @@
+
@@ -2954,6 +2991,7 @@
+
@@ -2964,20 +3002,25 @@
+
+
+
+
+
@@ -2988,19 +3031,29 @@
+
+
+
+
+
+
+
+
+
+
@@ -3130,6 +3183,7 @@
+
@@ -3239,6 +3293,7 @@
+
@@ -3255,7 +3310,6 @@
-
@@ -4982,6 +5036,7 @@
+
@@ -5093,6 +5148,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 10a36c61..ada0e60c 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
@@ -1,5 +1,5 @@
-
+
@@ -119,6 +119,10 @@
+
+ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
+ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
+
@@ -142,14 +146,17 @@
+
+
+
@@ -173,6 +180,7 @@
+
diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps
new file mode 100644
index 00000000..6560d45a
--- /dev/null
+++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps
@@ -0,0 +1,460 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
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 5b2ca812..18377a64 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
@@ -870,6 +870,36 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -950,9 +980,9 @@
-
+
@@ -1111,6 +1141,16 @@
+
+
+
+
+
+
+
+
+
+