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 7926406c..a6ea855a 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
@@ -62,6 +62,7 @@
+
@@ -83,9 +84,6 @@
-
-
-
@@ -102,10 +100,6 @@
-
-
-
-
@@ -328,7 +322,6 @@
-
@@ -416,6 +409,7 @@
+
@@ -504,10 +498,6 @@
-
-
-
-
@@ -525,7 +515,6 @@
-
@@ -542,9 +531,6 @@
-
-
-
@@ -7355,55 +7341,15 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7420,19 +7366,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7496,6 +7429,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7636,32 +7594,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -7766,15 +7698,6 @@
-
-
-
-
-
-
-
-
-
@@ -7817,14 +7740,6 @@
-
-
-
-
-
-
-
-
@@ -7869,14 +7784,8 @@
-
-
-
-
-
-
-
+
@@ -8396,17 +8305,17 @@
-
-
+
+
-
+
-
-
+
+
-
+
@@ -8421,14 +8330,8 @@
-
-
-
-
-
-
-
+
@@ -9003,15 +8906,9 @@
-
-
-
-
-
-
@@ -9349,18 +9246,9 @@
-
-
-
-
-
-
-
-
-
@@ -9745,18 +9633,9 @@
-
-
-
-
-
-
-
-
-
@@ -10253,18 +10132,9 @@
-
-
-
-
-
-
-
-
-
@@ -10711,7 +10581,7 @@
-
+
@@ -10719,6 +10589,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10727,12 +10621,8 @@
-
-
-
-
-
-
+
+
@@ -10803,7 +10693,7 @@
-
+
@@ -10853,13 +10743,8 @@
-
-
-
-
-
-
-
+
+
@@ -10878,8 +10763,13 @@
-
-
+
+
+
+
+
+
+
@@ -15633,6 +15523,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15722,6 +15640,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15810,6 +15756,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -15877,7 +15850,6 @@
-
@@ -15893,6 +15865,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16014,6 +16029,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16135,6 +16193,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17730,26 +17824,24 @@
-
-
-
-
-
-
-
+
+
+
+
+
-
-
+
+
-
-
+
+
-
-
+
+
@@ -17762,17 +17854,19 @@
-
-
-
-
-
+
+
+
+
+
-
-
+
+
-
+
+
+
@@ -17781,28 +17875,12 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
@@ -20878,24 +20956,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -21322,16 +21382,8 @@
-
-
-
-
-
-
-
-
-
-
+
+
@@ -21341,56 +21393,34 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21921,11 +21951,6 @@
-
-
-
-
-