diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps
index a756e2eb..ee5b2d45 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps
@@ -8023,13 +8023,6 @@
-
-
-
-
-
-
-
@@ -8122,6 +8115,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8291,9 +8297,36 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -8321,6 +8354,14 @@
+
+
+
+
+
+
+
+