diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
index 0520e901..e99405e2 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -12,6 +12,7 @@
+
@@ -19,41 +20,116 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -62,14 +138,24 @@
+
+
+
+
+
+
+
+
+
+
@@ -88,6 +174,9 @@
+
+
+
@@ -1375,5 +1464,561 @@
+
+
+
+
+
+
+
+
+
+
+
+
+