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 c38fe254..0f0b275a 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
@@ -61,6 +61,7 @@
+
@@ -6033,33 +6034,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -12057,9 +12031,9 @@
-
-
-
+
+
+
@@ -12073,18 +12047,13 @@
-
-
-
-
-
-
-
+
+
-
+
@@ -12094,16 +12063,11 @@
-
+
-
-
-
-
-
-
-
+
+
@@ -12111,18 +12075,13 @@
-
-
-
-
-
-
-
+
+
-
+
@@ -12133,7 +12092,7 @@
-
+
@@ -12142,7 +12101,7 @@
-
+
@@ -12171,7 +12130,7 @@
-
+
@@ -12255,7 +12214,7 @@
-
+
@@ -16064,7 +16023,7 @@
-
+
@@ -16089,8 +16048,13 @@
-
-
+
+
+
+
+
+
+
@@ -16098,7 +16062,56 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16134,7 +16147,7 @@
-
+
@@ -16209,7 +16222,7 @@
-
+
@@ -16264,7 +16277,7 @@
-
+
@@ -16293,7 +16306,7 @@
-
+
@@ -16416,49 +16429,29 @@
-
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
-
+
@@ -16467,7 +16460,7 @@
-
+
@@ -16599,69 +16592,27 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
@@ -16674,7 +16625,7 @@
-
+
@@ -16688,23 +16639,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -16979,7 +16913,7 @@
-
+
@@ -17004,8 +16938,13 @@
-
-
+
+
+
+
+
+
+
@@ -17048,7 +16987,7 @@
-
+
@@ -17124,7 +17063,7 @@
-
+
@@ -17179,7 +17118,7 @@
-
+
@@ -17275,7 +17214,7 @@
-
+
@@ -17356,7 +17295,7 @@
-
+
@@ -17385,7 +17324,7 @@
-
+
@@ -17719,7 +17658,7 @@
-
+
@@ -17768,7 +17707,7 @@
-
+
@@ -17806,7 +17745,7 @@
-
+
@@ -18110,7 +18049,7 @@
-
+
@@ -18315,7 +18254,7 @@
-
+
@@ -18344,7 +18283,7 @@
-
+