diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
index b95f968b..10c35b59 100644
--- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
+++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps
@@ -8,6 +8,7 @@
+
@@ -25,6 +26,9 @@
+
+
+
@@ -144,6 +148,7 @@
+
@@ -884,6 +889,10 @@
+
+
+
+