diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index a55c8c12..e04c3842 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -3897,7 +3897,7 @@ - + @@ -3914,6 +3914,9 @@ + + + @@ -3946,18 +3949,29 @@ - + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps index a88b178a..c37bc1d5 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps @@ -4246,13 +4246,16 @@ - + + + + @@ -4262,7 +4265,7 @@ - + @@ -4279,6 +4282,9 @@ + + + @@ -4295,6 +4301,14 @@ + + + + + + + + @@ -4316,13 +4330,16 @@ - + + + + @@ -4332,7 +4349,7 @@ - + @@ -4349,6 +4366,9 @@ + + + @@ -4365,6 +4385,14 @@ + + + + + + + + @@ -4379,7 +4407,7 @@ - + @@ -4396,6 +4424,9 @@ + + + @@ -4426,6 +4457,14 @@ + + + + + + + + @@ -4435,7 +4474,7 @@ - + @@ -4452,6 +4491,9 @@ + + + @@ -4482,6 +4524,14 @@ + + + + + + + + @@ -4495,7 +4545,7 @@ - + @@ -4528,6 +4578,9 @@ + + + @@ -4567,6 +4620,14 @@ + + + + + + + + @@ -4580,7 +4641,7 @@ - + @@ -4600,6 +4661,9 @@ + + + @@ -4621,7 +4685,7 @@ - + @@ -4636,11 +4700,22 @@ + + + + + + + + + + + @@ -4654,7 +4729,7 @@ - + @@ -4687,6 +4762,9 @@ + + + @@ -4726,6 +4804,14 @@ + + + + + + + + @@ -4739,7 +4825,7 @@ - + @@ -4772,6 +4858,9 @@ + + + @@ -4811,6 +4900,14 @@ + + + + + + + + @@ -4824,7 +4921,7 @@ - + @@ -4857,6 +4954,9 @@ + + + @@ -4896,6 +4996,14 @@ + + + + + + + + @@ -4909,7 +5017,7 @@ - + @@ -4958,6 +5066,9 @@ + + + @@ -5014,6 +5125,14 @@ + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps index 36a88a64..2da5a61d 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps @@ -259,7 +259,7 @@ - + @@ -308,6 +308,9 @@ + + + @@ -348,6 +351,9 @@ + + + @@ -359,11 +365,22 @@ + + + + + + + + + + + @@ -623,6 +640,9 @@ + + + @@ -651,18 +671,29 @@ + + + + + + + + - + + + + @@ -674,6 +705,9 @@ + + + @@ -709,6 +743,9 @@ + + + @@ -722,6 +759,14 @@ + + + + + + + + @@ -767,6 +812,9 @@ + + + @@ -780,6 +828,14 @@ + + + + + + + + @@ -810,6 +866,12 @@ + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps index 304cfe7b..c9bace79 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps @@ -225,7 +225,7 @@ - + @@ -258,6 +258,9 @@ + + + @@ -282,18 +285,29 @@ - + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index f0667cc0..a5873f8b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -7863,6 +7863,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -39752,6 +39773,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -39771,16 +39849,8 @@ - - - - - - - - - - + + @@ -39795,6 +39865,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -39816,6 +39925,9 @@ + + + @@ -39829,6 +39941,14 @@ + + + + + + + + @@ -39841,26 +39961,8 @@ - - - - - - - - - - - - - - - - - - - - + + @@ -40909,9 +41011,17 @@ + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps index 5a46dc15..8bb77143 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -49,6 +49,9 @@ + + + @@ -1360,7 +1363,7 @@ - + @@ -1385,6 +1388,9 @@ + + + @@ -1398,6 +1404,14 @@ + + + + + + + + @@ -1411,7 +1425,7 @@ - + @@ -1436,6 +1450,9 @@ + + + @@ -1449,6 +1466,14 @@ + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps index 8386790c..81a5757a 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps @@ -15616,7 +15616,7 @@ - + @@ -15631,10 +15631,21 @@ + + + + + + + + + + + @@ -15644,7 +15655,7 @@ - + @@ -15659,10 +15670,21 @@ + + + + + + + + + + + @@ -15672,7 +15694,7 @@ - + @@ -15687,10 +15709,21 @@ + + + + + + + + + + + @@ -15700,7 +15733,7 @@ - + @@ -15715,10 +15748,21 @@ + + + + + + + + + + + @@ -15728,7 +15772,7 @@ - + @@ -15743,10 +15787,21 @@ + + + + + + + + + + + @@ -15756,7 +15811,7 @@ - + @@ -15771,10 +15826,21 @@ + + + + + + + + + + + @@ -15784,7 +15850,7 @@ - + @@ -15799,10 +15865,21 @@ + + + + + + + + + + + @@ -15816,7 +15893,7 @@ - + @@ -15831,10 +15908,21 @@ + + + + + + + + + + + @@ -15844,7 +15932,7 @@ - + @@ -15856,6 +15944,9 @@ + + + @@ -15880,7 +15971,7 @@ - + @@ -15895,11 +15986,22 @@ + + + + + + + + + + + @@ -15910,7 +16012,7 @@ - + @@ -15922,6 +16024,9 @@ + + + @@ -15937,7 +16042,7 @@ - + @@ -15952,11 +16057,22 @@ + + + + + + + + + + + @@ -15967,7 +16083,7 @@ - + @@ -15987,6 +16103,9 @@ + + + @@ -16008,7 +16127,7 @@ - + @@ -16023,11 +16142,22 @@ + + + + + + + + + + + @@ -16037,7 +16167,7 @@ - + @@ -16049,6 +16179,9 @@ + + + @@ -16064,7 +16197,7 @@ - + @@ -16079,11 +16212,22 @@ + + + + + + + + + + + @@ -16093,7 +16237,7 @@ - + @@ -16105,6 +16249,9 @@ + + + @@ -16120,7 +16267,7 @@ - + @@ -16135,11 +16282,22 @@ + + + + + + + + + + + @@ -16149,7 +16307,7 @@ - + @@ -16161,6 +16319,9 @@ + + + @@ -16176,7 +16337,7 @@ - + @@ -16191,11 +16352,22 @@ + + + + + + + + + + + @@ -16205,7 +16377,7 @@ - + @@ -16217,6 +16389,9 @@ + + + @@ -16232,7 +16407,7 @@ - + @@ -16247,11 +16422,22 @@ + + + + + + + + + + + @@ -16261,7 +16447,7 @@ - + @@ -16273,6 +16459,9 @@ + + + @@ -16288,7 +16477,7 @@ - + @@ -16303,11 +16492,22 @@ + + + + + + + + + + + @@ -16323,7 +16523,7 @@ - + @@ -16348,6 +16548,9 @@ + + + @@ -16386,7 +16589,7 @@ - + @@ -16401,6 +16604,9 @@ + + + @@ -16409,7 +16615,7 @@ - + @@ -16424,6 +16630,9 @@ + + + @@ -16434,6 +16643,14 @@ + + + + + + + + @@ -16462,7 +16679,7 @@ - + @@ -16474,6 +16691,9 @@ + + + @@ -16484,6 +16704,14 @@ + + + + + + + + @@ -16503,7 +16731,7 @@ - + @@ -16528,6 +16756,9 @@ + + + @@ -16558,6 +16789,14 @@ + + + + + + + + @@ -16567,7 +16806,7 @@ - + @@ -16592,6 +16831,9 @@ + + + @@ -16611,6 +16853,14 @@ + + + + + + + + @@ -16627,7 +16877,7 @@ - + @@ -16660,6 +16910,9 @@ + + + @@ -16699,6 +16952,14 @@ + + + + + + + + @@ -16713,7 +16974,7 @@ - + @@ -16728,6 +16989,9 @@ + + + @@ -16749,6 +17013,14 @@ + + + + + + + + @@ -16774,7 +17046,7 @@ - + @@ -16805,6 +17077,9 @@ + + + @@ -16820,7 +17095,7 @@ - + @@ -16835,11 +17110,22 @@ + + + + + + + + + + + @@ -16861,7 +17147,7 @@ - + @@ -16892,6 +17178,9 @@ + + + @@ -16907,7 +17196,7 @@ - + @@ -16922,11 +17211,22 @@ + + + + + + + + + + + @@ -16948,7 +17248,7 @@ - + @@ -16971,6 +17271,9 @@ + + + @@ -16986,7 +17289,7 @@ - + @@ -17001,11 +17304,22 @@ + + + + + + + + + + + @@ -17019,7 +17333,7 @@ - + @@ -17050,6 +17364,9 @@ + + + @@ -17074,7 +17391,7 @@ - + @@ -17097,11 +17414,22 @@ + + + + + + + + + + + @@ -17115,7 +17443,7 @@ - + @@ -17146,6 +17474,9 @@ + + + @@ -17170,7 +17501,7 @@ - + @@ -17193,11 +17524,22 @@ + + + + + + + + + + + @@ -17211,7 +17553,7 @@ - + @@ -17242,6 +17584,9 @@ + + + @@ -17266,7 +17611,7 @@ - + @@ -17289,11 +17634,22 @@ + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index b265e73c..7d40cf8a 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -45,6 +45,9 @@ + + + @@ -970,7 +973,7 @@ - + @@ -990,6 +993,9 @@ + + + @@ -1008,7 +1014,7 @@ - + @@ -1035,11 +1041,22 @@ + + + + + + + + + + + @@ -1053,7 +1070,7 @@ - + @@ -1068,10 +1085,21 @@ + + + + + + + + + + +