diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
index 56c525f9..97b43045 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -742,9 +742,9 @@
-
+
+
-
@@ -2954,7 +2954,96 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
index 3e127513..df5cf508 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
@@ -594,7 +594,7 @@
-
+
@@ -616,7 +616,7 @@
-
+
@@ -885,7 +885,7 @@
-
+
@@ -899,7 +899,7 @@
-
+
@@ -912,7 +912,7 @@
-
+
@@ -956,7 +956,7 @@
-
+
@@ -975,7 +975,7 @@
-
+
@@ -1002,7 +1002,7 @@
-
+
@@ -1015,7 +1015,7 @@
-
+
@@ -1062,7 +1062,7 @@
-
+
@@ -1125,7 +1125,7 @@
-
+
@@ -1358,9 +1358,9 @@
-
+
+
-
@@ -1423,6 +1423,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1570,7 +1590,7 @@
-
+
@@ -1652,7 +1672,7 @@
-
+
@@ -1708,14 +1728,14 @@
-
+
-
+
@@ -1740,14 +1760,14 @@
-
+
-
+
@@ -1772,7 +1792,7 @@
-
+
@@ -2367,7 +2387,185 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2645,7 +2843,7 @@
-
+
@@ -2883,8 +3081,8 @@
-
+
@@ -2908,7 +3106,7 @@
-
+
@@ -2930,8 +3128,8 @@
-
+
@@ -2954,7 +3152,7 @@
-
+
@@ -2970,8 +3168,8 @@
-
+
@@ -3045,7 +3243,7 @@
-
+
@@ -3073,7 +3271,7 @@
-
+
@@ -3099,7 +3297,7 @@
-
+
@@ -3375,7 +3573,7 @@
-
+
@@ -3397,7 +3595,7 @@
-
+
@@ -3779,7 +3977,7 @@
-
+
@@ -5583,8 +5781,8 @@
-
+
@@ -5876,7 +6074,7 @@
-
+
@@ -5897,7 +6095,7 @@
-
+