diff --git a/build.xml b/build.xml
index b3e9564a..b3acdd64 100644
--- a/build.xml
+++ b/build.xml
@@ -125,23 +125,11 @@
-
-
-
-
-
-
-
-
-
-
-
-
@@ -951,23 +939,11 @@
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1372,7 +1348,7 @@
-
+
@@ -1507,7 +1483,7 @@
-
+
@@ -1516,18 +1492,17 @@
+
+
+
+
-
-
-
-
-
@@ -1558,7 +1533,7 @@
-
+
@@ -1584,7 +1559,6 @@
-
@@ -1607,7 +1581,7 @@
-
+
@@ -1616,18 +1590,17 @@
+
+
+
+
-
-
-
-
-
@@ -1643,41 +1616,7 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -1687,18 +1626,17 @@
+
+
+
+
-
-
-
-
-
@@ -1718,7 +1656,7 @@
-
+
@@ -1746,7 +1684,6 @@
-
@@ -1782,7 +1719,7 @@
-
+
@@ -1811,7 +1748,6 @@
-
@@ -1844,7 +1780,7 @@
-
+
@@ -1865,7 +1801,6 @@
-
@@ -1889,7 +1824,7 @@
-
+
@@ -1898,18 +1833,17 @@
+
+
+
+
-
-
-
-
-
@@ -2038,7 +1972,7 @@
-
+
@@ -2067,7 +2001,6 @@
-
@@ -2110,7 +2043,7 @@
-
+
@@ -2132,7 +2065,6 @@
-
@@ -2163,7 +2095,7 @@
-
+
@@ -2185,7 +2117,6 @@
-
@@ -2210,7 +2141,9 @@
+
+
@@ -2264,7 +2197,7 @@
-
+
@@ -2286,7 +2219,6 @@
-
@@ -2328,7 +2260,7 @@
-
+
@@ -2355,7 +2287,6 @@
-
@@ -2606,7 +2537,6 @@
-
diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
index 5b27f643..29d3dc50 100644
--- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
+++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd
@@ -1,12 +1,10 @@
-
-
-
+
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
index 2787b461..56bc37cb 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
@@ -343,7 +343,7 @@
-
+
@@ -1284,6 +1284,12 @@
+
+
+
+
+
+
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
index fdb6bd39..99658e04 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
@@ -98,6 +98,8 @@
+
+
@@ -14406,6 +14408,316 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -16449,6 +16761,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -17092,6 +17423,38 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -19510,6 +19873,17 @@
+
+
+
+
+
+
+
+
+
+
+
@@ -20706,7 +21080,6 @@
-
@@ -20801,6 +21174,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20874,6 +21265,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20957,21 +21360,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -20992,7 +21430,7 @@
-
+
@@ -21033,7 +21471,7 @@
-
+
@@ -21116,21 +21554,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21189,7 +21662,7 @@
-
+
@@ -21230,7 +21703,7 @@
-
+
@@ -21260,21 +21733,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21333,7 +21841,7 @@
-
+
@@ -21421,21 +21929,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21456,7 +21999,7 @@
-
+
@@ -21490,21 +22033,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21529,7 +22107,7 @@
-
+
@@ -21559,21 +22137,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21594,7 +22207,7 @@
-
+
@@ -21628,21 +22241,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21667,7 +22315,7 @@
-
+
@@ -21697,21 +22345,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21736,7 +22419,7 @@
-
+
@@ -21770,21 +22453,56 @@
-
-
+
+
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -21809,7 +22527,7 @@
-
+
@@ -21988,6 +22706,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -22003,6 +22745,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -22021,6 +22773,15 @@
+
+
+
+
+
+
+
+
+
@@ -22028,8 +22789,8 @@
-
-
+
+
@@ -22041,6 +22802,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -23069,7 +23850,7 @@
-
+
@@ -23153,11 +23934,9 @@
-
-
-
+
@@ -23192,6 +23971,25 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -23545,22 +24343,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -23586,8 +24368,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23627,8 +24417,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23656,22 +24454,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -23697,8 +24479,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23738,8 +24528,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23770,22 +24568,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -23809,8 +24591,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23841,22 +24631,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -23880,8 +24654,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23912,22 +24694,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -23951,8 +24717,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -23988,8 +24762,16 @@
-
-
+
+
+
+
+
+
+
+
+
+
@@ -24032,6 +24814,12 @@
+
+
+
+
+
+
@@ -24097,6 +24885,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -24277,8 +25078,8 @@
+
-
@@ -24290,8 +25091,8 @@
+
-
@@ -24303,6 +25104,7 @@
+
@@ -24312,7 +25114,6 @@
-
@@ -24341,8 +25142,43 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -24354,7 +25190,6 @@
-
@@ -24451,6 +25286,7 @@
+
@@ -24468,7 +25304,6 @@
-
@@ -24760,6 +25595,7 @@
+
@@ -24777,7 +25613,6 @@
-
@@ -24879,6 +25714,7 @@
+
@@ -24890,7 +25726,6 @@
-
@@ -24963,6 +25798,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -25021,6 +25883,14 @@
+
+
+
+
+
+
+
+
@@ -25150,6 +26020,15 @@
+
+
+
+
+
+
+
+
+
@@ -28850,6 +29729,15 @@
+
+
+
+
+
+
+
+
+
@@ -28869,7 +29757,7 @@
-
+
@@ -28891,6 +29779,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -28901,7 +29812,7 @@
-
+
@@ -28917,7 +29828,7 @@
-
+
@@ -28937,7 +29848,7 @@
-
+
@@ -28951,6 +29862,16 @@
+
+
+
+
+
+
+
+
+
+