diff --git a/build.xml b/build.xml
index 64391fd2..31fb93f8 100644
--- a/build.xml
+++ b/build.xml
@@ -984,6 +984,7 @@
+
@@ -2356,6 +2357,7 @@
+
@@ -3796,7 +3798,7 @@
-
+
@@ -3824,6 +3826,7 @@
+
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
index d99fbc6a..742e2860 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
@@ -929,6 +929,12 @@
+
+
+
+
+
+
@@ -1994,7 +2000,7 @@
-
+
@@ -2016,6 +2022,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+