diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index 7ba42a7a..2d966a4d 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -5797,21 +5797,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -6082,6 +6067,12 @@
+
+
+
+
+
+
@@ -6103,8 +6094,11 @@
-
-
+
+
+
+
+
@@ -6223,19 +6217,45 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
@@ -6378,6 +6398,52 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6493,7 +6559,77 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6511,12 +6647,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6533,13 +6699,8 @@
+
-
-
-
-
-
-
@@ -12231,6 +12392,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12517,6 +12694,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -12961,6 +13154,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13404,6 +13613,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14135,6 +14360,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+