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 03b60235..b4591bfb 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
@@ -288,6 +288,7 @@
+
@@ -5364,119 +5365,148 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6642,6 +6672,12 @@
+
+
+
+
+
+
@@ -6685,9 +6721,35 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -6914,6 +6976,14 @@
+
+
+
+
+
+
+
+
@@ -6927,6 +6997,9 @@
+
+
+
@@ -6990,6 +7063,9 @@
+
+
+
@@ -7047,6 +7123,9 @@
+
+
+
@@ -7104,6 +7183,9 @@
+
+
+
@@ -7178,6 +7260,9 @@
+
+
+
@@ -8468,9 +8553,6 @@
-
-
-
@@ -8699,9 +8781,6 @@
-
-
-
@@ -9060,9 +9139,6 @@
-
-
-
@@ -9244,9 +9320,6 @@
-
-
-
@@ -14603,6 +14676,51 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14839,6 +14957,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14940,6 +15071,12 @@
+
+
+
+
+
+
@@ -15607,6 +15744,52 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17330,6 +17513,7 @@
+
@@ -17430,6 +17614,52 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17819,10 +18049,6 @@
-
-
-
-
@@ -17905,8 +18131,13 @@
-
-
+
+
+
+
+
+
+
@@ -18866,13 +19097,25 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index 080bb4c7..5d724794 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -2210,18 +2210,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
@@ -2502,10 +2490,10 @@
-
+
-
+
@@ -2536,7 +2524,7 @@
-
+
@@ -2555,6 +2543,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2835,11 +2835,11 @@
-
-
+
+
-
+
@@ -2854,17 +2854,6 @@
-
-
-
-
-
-
-
-
-
-
-