diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
index 155a6960..b32e47ab 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
@@ -169,6 +169,9 @@
+
+
+
@@ -176,15 +179,18 @@
+
-
-
+
+
+
-
+
+
@@ -654,6 +660,7 @@
+
@@ -1189,8 +1196,14 @@
-
+
+
+
+
+
+
+
@@ -3296,8 +3309,9 @@
-
+
+
@@ -3311,22 +3325,161 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3357,14 +3510,23 @@
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
@@ -3380,6 +3542,9 @@
+
+
+
@@ -3388,6 +3553,12 @@
+
+
+
+
+
+
@@ -3399,9 +3570,12 @@
-
-
-
+
+
+
+
+
+
@@ -3421,9 +3595,12 @@
-
-
-
+
+
+
+
+
+
@@ -3431,12 +3608,44 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -3456,6 +3665,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3469,16 +3721,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
@@ -3489,8 +3759,13 @@
-
-
+
+
+
+
+
+
+
@@ -3567,7 +3842,7 @@
-
+
@@ -3645,12 +3920,18 @@
+
+
+
+
+
+
-
+
@@ -3661,8 +3942,13 @@
-
-
+
+
+
+
+
+
+
@@ -3691,11 +3977,39 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
@@ -3716,7 +4030,7 @@
-
+
@@ -3734,6 +4048,49 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -3763,21 +4120,40 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
@@ -3825,12 +4201,12 @@
-
+
-
+
@@ -3871,12 +4247,12 @@
-
+
-
+
@@ -3884,16 +4260,26 @@
-
+
-
-
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
@@ -3903,6 +4289,13 @@
+
+
+
+
+
+
+
@@ -3912,12 +4305,23 @@
+
+
+
+
+
-
+
+
+
+
+
+
+
@@ -8017,7 +8421,15 @@
-
+
+
+
+
+
+
+
+
+
@@ -8051,6 +8463,14 @@
+
+
+
+
+
+
+
+
@@ -8668,8 +9088,14 @@
-
+
+
+
+
+
+
+
@@ -8970,37 +9396,26 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -9191,7 +9606,39 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20654,19 +21101,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -22481,14 +22915,14 @@
-
-
+
+
-
-
+
+
@@ -22982,5 +23416,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+