diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
index 60543090..0a182777 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps
@@ -11183,9 +11183,9 @@
-
+
-
+
@@ -11235,11 +11235,11 @@
-
+
-
+
@@ -11279,7 +11279,7 @@
-
+
@@ -11349,6 +11349,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -11451,7 +11471,7 @@
-
+
@@ -11467,7 +11487,7 @@
-
+
@@ -12340,7 +12360,7 @@
-
+
@@ -12559,9 +12579,9 @@
-
+
-
+
@@ -12574,7 +12594,7 @@
-
+
@@ -12596,7 +12616,7 @@
-
+
@@ -12754,7 +12774,7 @@
-
+
@@ -12827,7 +12847,7 @@
-
+
@@ -12898,7 +12918,7 @@
-
+
@@ -12969,7 +12989,7 @@
-
+
@@ -13041,10 +13061,10 @@
-
+
-
+
@@ -13125,7 +13145,7 @@
-
+
@@ -13137,6 +13157,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13190,17 +13230,6 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -13209,9 +13238,9 @@
-
+
-
+
@@ -13224,12 +13253,12 @@
-
+
-
+
@@ -13267,7 +13296,7 @@
-
+
@@ -13374,7 +13403,7 @@
-
+
@@ -13478,10 +13507,10 @@
-
+
-
+
@@ -13499,7 +13528,7 @@
-
+
@@ -13559,6 +13588,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -13757,36 +13806,36 @@
-
+
-
-
-
-
+
+
+
+
-
+
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
+
+
+
-
+
-
+
@@ -13806,13 +13855,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -13832,7 +13902,7 @@
-
+
@@ -14034,7 +14104,7 @@
-
+
@@ -14054,7 +14124,7 @@
-
+
@@ -14094,7 +14164,7 @@
-
+
@@ -14216,7 +14286,7 @@
-
+
@@ -14225,7 +14295,7 @@
-
+
@@ -14248,7 +14318,7 @@
-
+
@@ -14282,7 +14352,7 @@
-
+
@@ -14320,7 +14390,7 @@
-
+
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 72896686..4cd097d0 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
@@ -518,6 +518,7 @@
+
@@ -9362,11 +9363,11 @@
-
+
-
+
@@ -9378,7 +9379,7 @@
-
+
@@ -12734,7 +12735,7 @@
-
+
@@ -12745,7 +12746,7 @@
-
+
@@ -12755,7 +12756,7 @@
-
+
@@ -12767,7 +12768,7 @@
-
+
@@ -12904,10 +12905,10 @@
-
+
-
+
@@ -13181,7 +13182,7 @@
-
+
@@ -13341,7 +13342,7 @@
-
+
@@ -13411,7 +13412,7 @@
-
+
@@ -13545,12 +13546,12 @@
-
+
-
+
@@ -13567,7 +13568,7 @@
-
+
@@ -13576,7 +13577,7 @@
-
+
@@ -13584,19 +13585,19 @@
-
+
-
+
-
+
@@ -13609,12 +13610,12 @@
-
+
-
+
@@ -13626,7 +13627,7 @@
-
+
@@ -13634,19 +13635,19 @@
-
+
-
+
-
+
@@ -13654,7 +13655,7 @@
-
+
@@ -13797,7 +13798,7 @@
-
+
@@ -13936,7 +13937,7 @@
-
+
@@ -14052,7 +14053,7 @@
-
+
@@ -14094,7 +14095,7 @@
-
+
@@ -14136,7 +14137,7 @@
-
+
@@ -14178,7 +14179,7 @@
-
+
@@ -16429,39 +16430,120 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+