diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
index 6ca12dc8..025fbc1e 100644
--- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
+++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps
@@ -1265,7 +1265,7 @@
-
+
@@ -1352,7 +1352,7 @@
-
+
@@ -1378,7 +1378,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
index 74b6a80b..92dffa1a 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -2350,8 +2350,8 @@
-
+
@@ -2368,7 +2368,7 @@
-
+
@@ -3203,7 +3203,7 @@
-
+
@@ -3229,7 +3229,7 @@
-
+
@@ -3254,7 +3254,7 @@
-
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/structure.mps b/logic/languages/jetbrains.mps.logic/languageModels/structure.mps
index 09b0bdbf..3413131b 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -256,7 +256,7 @@
-
+
@@ -303,6 +303,12 @@
+
+
+
+
+
+
diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index 7f3fb0ee..d1d7fb49 100644
--- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -299,7 +299,7 @@
-
+
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
index 517dbda8..0bc7668f 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
@@ -11332,7 +11332,7 @@
-
+
@@ -11394,7 +11394,7 @@
-
+
@@ -11424,7 +11424,7 @@
-
+
@@ -13304,7 +13304,7 @@
-
+
@@ -13412,7 +13412,7 @@
-
+
@@ -13437,7 +13437,7 @@
-
+