diff --git a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps
index af1bca81..d3a18469 100644
--- a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps
+++ b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/ast.mps
@@ -4,9 +4,9 @@
+
-
@@ -102,8 +102,8 @@
-
-
+
+
@@ -133,8 +133,8 @@
-
-
+
+
@@ -391,8 +391,8 @@
-
-
+
+
@@ -418,8 +418,8 @@
-
-
+
+
@@ -472,8 +472,9 @@
-
-
+
+
+
@@ -491,8 +492,8 @@
-
-
+
+
@@ -506,8 +507,8 @@
-
-
+
+
@@ -562,6 +563,7 @@
+
@@ -611,6 +613,7 @@
+
@@ -634,6 +637,7 @@
+
@@ -690,6 +694,7 @@
+
@@ -703,11 +708,235 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -728,8 +957,8 @@
-
-
+
+
@@ -776,8 +1005,8 @@
-
-
+
+
@@ -793,8 +1022,8 @@
-
-
+
+
@@ -824,8 +1053,8 @@
-
-
+
+
@@ -841,6 +1070,99 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -919,6 +1241,68 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -929,8 +1313,8 @@
-
-
+
+
@@ -997,6 +1381,103 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1042,6 +1523,110 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1051,8 +1636,8 @@
-
-
+
+
@@ -1101,6 +1686,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1123,11 +1735,62 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
@@ -1235,6 +1898,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1408,8 +2083,9 @@
-
-
+
+
+
diff --git a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps
index 9b6168be..c624148e 100644
--- a/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps
+++ b/solutions/jetbrains.mps.unification/models/jetbrains/mps/unification/tree.mps
@@ -217,7 +217,27 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -275,6 +295,12 @@
+
+
+
+
+
+
@@ -377,6 +403,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -470,6 +510,40 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -522,7 +596,7 @@
-
+
@@ -569,6 +643,15 @@
+
+
+
+
+
+
+
+
+
@@ -625,10 +708,8 @@
-
-
-
-
+
+
@@ -747,6 +828,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -764,7 +861,7 @@
-
+
@@ -772,19 +869,37 @@
-
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1012,6 +1127,112 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1425,6 +1646,12 @@
+
+
+
+
+
+
@@ -1579,6 +1806,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1766,6 +2007,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1819,7 +2088,7 @@
-
+
@@ -2232,5 +2501,32 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+