diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index e7454c00..9d06f7c9 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -202,6 +202,7 @@ + @@ -282,9 +283,7 @@ - - - + @@ -366,6 +365,11 @@ + + + + + @@ -605,6 +609,15 @@ + + + + + + + + + @@ -695,6 +708,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -730,6 +796,17 @@ + + + + + + + + + + + @@ -777,6 +854,17 @@ + + + + + + + + + + + @@ -828,6 +916,21 @@ + + + + + + + + + + + + + + + @@ -842,89 +945,111 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - + + + + + + + + + + - - - - - - - + + + + + + + - - + + - - + + + + + + + + + + + + + + + + - - - - + + + + - + - - + + - + - - - + + + - - - - + + + + - + - - + + + + + + + + + + + + + + + + + @@ -933,76 +1058,124 @@ - + - + - + - - - - - - + + + + + + - - + + + + + + + + + + - + - - - + + + - - - - + + + + - + - - + + - - - - - - - + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + + + + + + + + + + + + @@ -1011,13 +1184,197 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1056,6 +1413,17 @@ + + + + + + + + + + + @@ -1064,6 +1432,11 @@ + + + + + @@ -1152,6 +1525,17 @@ + + + + + + + + + + + @@ -1217,6 +1601,19 @@ + + + + + + + + + + + + + @@ -1264,6 +1661,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1313,6 +1737,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1359,6 +1808,11 @@ + + + + + @@ -1401,6 +1855,22 @@ + + + + + + + + + + + + + + + + @@ -1474,6 +1944,17 @@ + + + + + + + + + + + @@ -1680,9 +2161,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1730,6 +2242,14 @@ + + + + + + + + @@ -1804,6 +2324,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1816,6 +2363,17 @@ + + + + + + + + + + + @@ -1866,6 +2424,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3507,15 +4090,14 @@ - - - - + + + - - - + + + @@ -3630,24 +4212,23 @@ - - - - + + + - - - - + + + + - + - - + + @@ -3768,24 +4349,23 @@ - - - - + + + - - - - + + + + - + - - + + @@ -4306,6 +4886,15 @@ + + + + + + + + + @@ -4315,6 +4904,18 @@ + + + + + + + + + + + + @@ -4324,34 +4925,952 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4359,174 +5878,436 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + + + + + + + + + + - + - - - + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + - - - - - - + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4658,8 +6439,26 @@ + + + + + + + + + + + + + + + + + +