From 0e6a1103c702eeec13bd13f9398669f53435e8e6 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 4 Nov 2022 11:36:51 +0100
Subject: [PATCH] Types for j.m.l.extension languange

---
 ...nsionExt.generator.templates@generator.mps |  24 +
 .../jetbrains.mps.lang.extensionExt.mpl       | 144 +++
 ...tbrains.mps.lang.extensionExt.behavior.mps |  12 +
 ...ains.mps.lang.extensionExt.constraints.mps |  19 +
 ...jetbrains.mps.lang.extensionExt.editor.mps |  12 +
 ...brains.mps.lang.extensionExt.structure.mps |  10 +
 .../jetbrains.mps.lang.extensionExt.types.mps | 899 ++++++++++++++++++
 ...rains.mps.lang.extensionExt.typesystem.mps |  11 +
 8 files changed, 1131 insertions(+)
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/generator/templates/jetbrains.mps.lang.extensionExt.generator.templates@generator.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/jetbrains.mps.lang.extensionExt.mpl
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.behavior.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.constraints.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.editor.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.structure.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps
 create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.typesystem.mps

diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/generator/templates/jetbrains.mps.lang.extensionExt.generator.templates@generator.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/generator/templates/jetbrains.mps.lang.extensionExt.generator.templates@generator.mps
new file mode 100644
index 00000000..e4958232
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/generator/templates/jetbrains.mps.lang.extensionExt.generator.templates@generator.mps
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:e381ef0e-8cb1-44ef-b495-f4f455c10810(jetbrains.mps.lang.extensionExt.generator.templates@generator)">
+  <persistence version="9" />
+  <languages>
+    <devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
+  </languages>
+  <imports>
+    <import index="2d5j" ref="r:d0316513-88e2-459c-bb86-24c9b9d73351(jetbrains.mps.lang.extensionExt.structure)" />
+  </imports>
+  <registry>
+    <language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
+      <concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="bUwia" id="6ZRhjsG6TLI">
+    <property role="TrG5h" value="main" />
+  </node>
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/jetbrains.mps.lang.extensionExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/jetbrains.mps.lang.extensionExt.mpl
new file mode 100644
index 00000000..109c3542
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/jetbrains.mps.lang.extensionExt.mpl
@@ -0,0 +1,144 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<language namespace="jetbrains.mps.lang.extensionExt" uuid="2b5d81e3-eeee-46b4-bbad-18a882b8b6ca" languageVersion="0" moduleVersion="0">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <facets>
+    <facet type="java">
+      <classes generated="true" path="${module}/classes_gen" />
+    </facet>
+  </facets>
+  <accessoryModels />
+  <generators>
+    <generator alias="main" namespace="jetbrains.mps.lang.extensionExt.generator" uuid="ef7c3914-ebf3-4622-bccc-06a09ecc5ddf">
+      <models>
+        <modelRoot contentPath="${module}/generator" type="default">
+          <sourceRoot location="templates" />
+        </modelRoot>
+      </models>
+      <facets>
+        <facet type="java">
+          <classes generated="true" path="${module}/generator/classes_gen" />
+        </facet>
+      </facets>
+      <external-templates />
+      <languageVersions>
+        <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
+        <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+        <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
+        <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+        <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+        <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+        <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
+        <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="4" />
+        <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="2" />
+        <language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
+        <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+        <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
+        <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+        <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
+        <language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
+        <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+      </languageVersions>
+      <dependencyVersions>
+        <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+        <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+        <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+        <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+        <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
+        <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+        <module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
+        <module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
+        <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+        <module reference="c0080a47-7e37-4558-bee9-9ae18e690549(jetbrains.mps.lang.extension)" version="0" />
+        <module reference="2b5d81e3-eeee-46b4-bbad-18a882b8b6ca(jetbrains.mps.lang.extensionExt)" version="0" />
+        <module reference="ef7c3914-ebf3-4622-bccc-06a09ecc5ddf(jetbrains.mps.lang.extensionExt.generator)" version="0" />
+        <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+        <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
+        <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
+      </dependencyVersions>
+      <mapping-priorities />
+    </generator>
+  </generators>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
+    <language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
+    <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+    <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
+    <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+    <language slang="l:c7d5b9dd-a05f-4be2-bc73-f2e16994cc67:jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
+    <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+    <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+    <language slang="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" version="0" />
+    <language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
+    <language slang="l:f159adf4-3c93-40f9-9c5a-1f245a8697af:jetbrains.mps.lang.aspect" version="2" />
+    <language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
+    <language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
+    <language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
+    <language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
+    <language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />
+    <language slang="l:5dae8159-ab99-46bb-a40d-0cee30ee7018:jetbrains.mps.lang.constraints.rules.kinds" version="0" />
+    <language slang="l:134c38d4-e3af-4d9e-b069-1c7df0a4005d:jetbrains.mps.lang.constraints.rules.skeleton" version="0" />
+    <language slang="l:3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7:jetbrains.mps.lang.context" version="0" />
+    <language slang="l:ea3159bf-f48e-4720-bde2-86dba75f0d34:jetbrains.mps.lang.context.defs" version="0" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
+    <language slang="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" version="1" />
+    <language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
+    <language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="14" />
+    <language slang="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" version="0" />
+    <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="4" />
+    <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="2" />
+    <language slang="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" version="1" />
+    <language slang="l:ad93155d-79b2-4759-b10c-55123e763903:jetbrains.mps.lang.messages" version="0" />
+    <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="2" />
+    <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
+    <language slang="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" version="0" />
+    <language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
+    <language slang="l:b3551702-269c-4f05-ba61-58060cef4292:jetbrains.mps.lang.rulesAndMessages" version="0" />
+    <language slang="l:d8f591ec-4d86-4af2-9f92-a9e93c803ffa:jetbrains.mps.lang.scopes" version="0" />
+    <language slang="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" version="1" />
+    <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
+    <language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="9" />
+    <language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
+    <language slang="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" version="1" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+    <language slang="l:4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462:jetbrains.mps.lang.typechecking" version="1" />
+    <language slang="l:afc17aaf-3a3d-4d69-a38d-db90d5e858c6:jetbrains.mps.lang.types" version="0" />
+    <language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="5" />
+    <language slang="l:c9d137c4-3259-44f8-80ff-33ab2b506ee4:jetbrains.mps.lang.util.order" version="0" />
+    <language slang="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" version="13" />
+  </languageVersions>
+  <dependencyVersions>
+    <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+    <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+    <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+    <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
+    <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+    <module reference="88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence)" version="0" />
+    <module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
+    <module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
+    <module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
+    <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+    <module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
+    <module reference="c0080a47-7e37-4558-bee9-9ae18e690549(jetbrains.mps.lang.extension)" version="0" />
+    <module reference="2b5d81e3-eeee-46b4-bbad-18a882b8b6ca(jetbrains.mps.lang.extensionExt)" version="0" />
+    <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+    <module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
+    <module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
+    <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
+  </dependencyVersions>
+  <extendedLanguages>
+    <extendedLanguage>0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)</extendedLanguage>
+    <extendedLanguage>c0080a47-7e37-4558-bee9-9ae18e690549(jetbrains.mps.lang.extension)</extendedLanguage>
+  </extendedLanguages>
+</language>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.behavior.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.behavior.mps
new file mode 100644
index 00000000..a752b7c9
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.behavior.mps
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:f03efaf9-a820-4f56-8706-15b755c5f7bf(jetbrains.mps.lang.extensionExt.behavior)">
+  <persistence version="9" />
+  <languages>
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="19" />
+    <use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.constraints.mps
new file mode 100644
index 00000000..4657428c
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.constraints.mps
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:09f03dbc-e49b-404b-8f00-96746a2ba7bb(jetbrains.mps.lang.extensionExt.constraints)">
+  <persistence version="9" />
+  <languages>
+    <use id="5dae8159-ab99-46bb-a40d-0cee30ee7018" name="jetbrains.mps.lang.constraints.rules.kinds" version="0" />
+    <use id="ea3159bf-f48e-4720-bde2-86dba75f0d34" name="jetbrains.mps.lang.context.defs" version="0" />
+    <use id="e51810c5-7308-4642-bcb6-469e61b5dd18" name="jetbrains.mps.lang.constraints.msg.specification" version="0" />
+    <use id="134c38d4-e3af-4d9e-b069-1c7df0a4005d" name="jetbrains.mps.lang.constraints.rules.skeleton" version="0" />
+    <use id="b3551702-269c-4f05-ba61-58060cef4292" name="jetbrains.mps.lang.rulesAndMessages" version="0" />
+    <use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="6" />
+    <use id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts" version="0" />
+    <use id="3ad5badc-1d9c-461c-b7b1-fa2fcd0a0ae7" name="jetbrains.mps.lang.context" version="0" />
+    <use id="ad93155d-79b2-4759-b10c-55123e763903" name="jetbrains.mps.lang.messages" version="0" />
+    <devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.editor.mps
new file mode 100644
index 00000000..d547bc58
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.editor.mps
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:8fb6f613-eae5-4d19-8260-0e321a948964(jetbrains.mps.lang.extensionExt.editor)">
+  <persistence version="9" />
+  <languages>
+    <use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="14" />
+    <use id="aee9cad2-acd4-4608-aef2-0004f6a1cdbd" name="jetbrains.mps.lang.actions" version="4" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.structure.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.structure.mps
new file mode 100644
index 00000000..fed89ad0
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.structure.mps
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:d0316513-88e2-459c-bb86-24c9b9d73351(jetbrains.mps.lang.extensionExt.structure)">
+  <persistence version="9" />
+  <languages>
+    <devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps
new file mode 100644
index 00000000..d74a0280
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps
@@ -0,0 +1,899 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:a790ecb9-0534-4751-8c9e-91009b8b26cf(jetbrains.mps.lang.extensionExt.types)">
+  <persistence version="9" />
+  <languages>
+    <use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="1" />
+    <devkit ref="888618cf-7697-4adc-80cd-8c6ea3486ef7(jetbrains.mps.devkit.aspect.types)" />
+  </languages>
+  <imports>
+    <import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.baseLanguageExt.types)" />
+    <import index="v54s" ref="r:2a0fe383-d602-4f5b-813c-e41afdbbb97e(jetbrains.mps.lang.extension.structure)" />
+    <import index="yh6q" ref="r:14dbdd37-ab02-4407-8e3c-3308d6f4fbba(jetbrains.mps.baseLanguage.sequence.types)" />
+    <import index="bmr5" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel.structure(MPS.Core/)" />
+    <import index="tpek" ref="r:00000000-0000-4000-0000-011c895902c0(jetbrains.mps.baseLanguage.behavior)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
+      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+      </concept>
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+    </language>
+    <language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
+      <concept id="5455284157994012186" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitLink" flags="ng" index="2pIpSj">
+        <reference id="5455284157994012188" name="link" index="2pIpSl" />
+        <child id="1595412875168045827" name="initValue" index="28nt2d" />
+      </concept>
+      <concept id="5455284157993863837" name="jetbrains.mps.lang.quotation.structure.NodeBuilder" flags="nn" index="2pJPEk">
+        <child id="5455284157993863838" name="quotedNode" index="2pJPEn" />
+      </concept>
+      <concept id="5455284157993863840" name="jetbrains.mps.lang.quotation.structure.NodeBuilderNode" flags="nn" index="2pJPED">
+        <reference id="5455284157993910961" name="concept" index="2pJxaS" />
+        <child id="5455284157993911099" name="values" index="2pJxcM" />
+      </concept>
+      <concept id="8182547171709752110" name="jetbrains.mps.lang.quotation.structure.NodeBuilderExpression" flags="nn" index="36biLy">
+        <child id="8182547171709752112" name="expression" index="36biLW" />
+      </concept>
+    </language>
+    <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
+      <concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
+        <child id="8456919074574710741" name="code" index="37jj2" />
+      </concept>
+      <concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
+        <child id="6399471711045617306" name="dataType" index="3vLBG7" />
+        <child id="3063948360254832884" name="declaration" index="3XD1gS" />
+      </concept>
+      <concept id="8829335963593820278" name="jetbrains.mps.logic.structure.LogicalVariable" flags="ng" index="a7P8L">
+        <reference id="8829335963593822893" name="declaration" index="a7OzE" />
+      </concept>
+      <concept id="8829335963591572611" name="jetbrains.mps.logic.structure.LogicalVariableDeclaration" flags="ng" index="aZer4" />
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
+      <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
+        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
+        <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
+      </concept>
+      <concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
+      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
+        <property id="1238684351431" name="asCast" index="1BlNFB" />
+      </concept>
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking">
+      <concept id="7505246501517185035" name="jetbrains.mps.lang.typechecking.structure.TypeTermDeclaration" flags="ng" index="3iyMRA">
+        <child id="7505246501517407186" name="builder" index="3i_WSZ" />
+      </concept>
+      <concept id="7505246501517142009" name="jetbrains.mps.lang.typechecking.structure.TypeTermTable" flags="ng" index="3iyXCk" />
+      <concept id="7505246501517400215" name="jetbrains.mps.lang.typechecking.structure.TypeNodeBuilder" flags="ng" index="3i_YlU">
+        <child id="7505246501517414874" name="body" index="3i_UKR" />
+      </concept>
+      <concept id="1722266558648635144" name="jetbrains.mps.lang.typechecking.structure.FeatureReferenceExpression" flags="ng" index="1NbZt7">
+        <reference id="1722266558648637849" name="feature" index="1NbY7m" />
+      </concept>
+    </language>
+    <language id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules">
+      <concept id="1618328391714763069" name="jetbrains.mps.lang.coderules.structure.MacroTable" flags="ng" index="0oKg$">
+        <reference id="6097203247219331496" name="extends" index="3tg4Y$" />
+        <child id="1618328391714763070" name="macro" index="0oKgB" />
+      </concept>
+      <concept id="1149537088067116625" name="jetbrains.mps.lang.coderules.structure.NodeRefItem" flags="ng" index="h$QuP">
+        <reference id="1149537088067125001" name="ref" index="h$OrH" />
+      </concept>
+      <concept id="861509610434242029" name="jetbrains.mps.lang.coderules.structure.TermConstructor" flags="ng" index="ns1u0">
+        <reference id="861509610434243078" name="decl" index="ns1xF" />
+        <child id="861509610434243076" name="override" index="ns1xD" />
+      </concept>
+      <concept id="861509610434243104" name="jetbrains.mps.lang.coderules.structure.TermTable" flags="ng" index="ns1xd">
+        <reference id="8966267790978924106" name="extended" index="2efqH6" />
+        <child id="861509610434243105" name="contents" index="ns1xc" />
+      </concept>
+      <concept id="861509610434243081" name="jetbrains.mps.lang.coderules.structure.TermDeclaration" flags="ng" index="ns1x$">
+        <reference id="861509610434243089" name="prototype" index="ns1xW" />
+        <child id="861509610434243084" name="template" index="ns1xx" />
+      </concept>
+      <concept id="861509610434276450" name="jetbrains.mps.lang.coderules.structure.TermTemplate" flags="ng" index="nspSf">
+        <child id="861509610434276451" name="feature" index="nspSe" />
+      </concept>
+      <concept id="861509610434294982" name="jetbrains.mps.lang.coderules.structure.ValueFeature" flags="ng" index="nssqF">
+        <child id="1722266558649369683" name="type" index="1NczKs" />
+      </concept>
+      <concept id="861509610434289827" name="jetbrains.mps.lang.coderules.structure.ChildFeature" flags="ng" index="nstbe" />
+      <concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
+        <reference id="861509610434435672" name="feature" index="nsMwP" />
+        <child id="1149537088045275069" name="item" index="iSaTp" />
+      </concept>
+      <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
+        <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
+        <child id="6691972578451986151" name="input" index="2t_VXX" />
+      </concept>
+      <concept id="8335224865066015764" name="jetbrains.mps.lang.coderules.structure.RulesList" flags="ng" index="AVZre">
+        <reference id="3541122455446356437" name="extends" index="2YbDB9" />
+        <child id="3575255234175157601" name="template" index="1nK1Vg" />
+      </concept>
+      <concept id="2381360340662937504" name="jetbrains.mps.lang.coderules.structure.TermType" flags="ig" index="32pEOW" />
+      <concept id="6097203247156088058" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputSpecification" flags="ng" index="3ixlbQ">
+        <reference id="6097203247156276310" name="applicableConcept" index="3ixz9q" />
+        <child id="6097203247156107501" name="input" index="3ix8rx" />
+      </concept>
+      <concept id="6097203247156229793" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputDeclaration" flags="ng" index="3ixQyH" />
+      <concept id="6097203247155932548" name="jetbrains.mps.lang.coderules.structure.ExpandMacroTemplate" flags="ng" index="3iyZe8">
+        <reference id="6097203247158702389" name="prototype" index="3iRiWT" />
+        <child id="6097203247156392058" name="inputSpec" index="3iweTQ" />
+        <child id="6097203247156492735" name="code" index="3iwQuN" />
+        <child id="6097203247156594418" name="variable" index="3iJhzY" />
+        <child id="6097203247216428965" name="logical" index="3tb1AD" />
+      </concept>
+      <concept id="8455178808320440061" name="jetbrains.mps.lang.coderules.structure.TermConstraint" flags="ng" index="1j3QaD">
+        <child id="8455178808320440237" name="term" index="1j3QfT" />
+      </concept>
+      <concept id="8455178808320440462" name="jetbrains.mps.lang.coderules.structure.IsGroundTermConstraint" flags="ng" index="1j3QNq" />
+      <concept id="6097203247183580433" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputReference" flags="ng" index="3j8tct">
+        <reference id="6097203247183580434" name="declaration" index="3j8tcu" />
+      </concept>
+      <concept id="6097203247182936001" name="jetbrains.mps.lang.coderules.structure.ExpandMacroConstraint" flags="ng" index="3jbYBd">
+        <reference id="6097203247182937177" name="template" index="3jbY9l" />
+        <child id="6097203247182937145" name="input" index="3jbY8P" />
+        <child id="6097203247182937143" name="logical" index="3jbY8V" />
+      </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
+      <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
+        <child id="4814011019633607808" name="parameter" index="0Rg$4" />
+        <child id="3575255234174969659" name="guard" index="1nLNMa" />
+        <child id="3575255234174969658" name="head" index="1nLNMb" />
+        <child id="7674753015762572651" name="body" index="3xSepv" />
+      </concept>
+      <concept id="3575255234174969615" name="jetbrains.mps.lang.coderules.structure.RuleTemplate" flags="ng" index="1nLNMY">
+        <child id="3575255234174969633" name="input" index="1nLNMg" />
+        <child id="3575255234174969628" name="code" index="1nLNMH" />
+      </concept>
+      <concept id="3575255234174969664" name="jetbrains.mps.lang.coderules.structure.ConstraintRuleStatement" flags="ng" index="1nLNNL">
+        <child id="3575255234174969665" name="rule" index="1nLNNK" />
+      </concept>
+      <concept id="8908809128801951597" name="jetbrains.mps.lang.coderules.structure.MacroBodyLogicalDeclaration" flags="ng" index="3uniRu" />
+      <concept id="7674753015762572646" name="jetbrains.mps.lang.coderules.structure.BodyBlock" flags="ng" index="3xSepi">
+        <child id="7674753015762572647" name="body" index="3xSepj" />
+      </concept>
+      <concept id="7368070394769089081" name="jetbrains.mps.lang.coderules.structure.RuleInputDeclaration" flags="ng" index="3A20r5" />
+      <concept id="7368070394769139970" name="jetbrains.mps.lang.coderules.structure.RuleInputReference" flags="ng" index="3A2sRY">
+        <reference id="7368070394769213644" name="declaration" index="3A2yKK" />
+      </concept>
+      <concept id="7368070394770780974" name="jetbrains.mps.lang.coderules.structure.UnifiesConstraint" flags="ng" index="3A8Hvi">
+        <child id="7368070394770793930" name="value" index="3A8w4Q" />
+        <child id="7368070394770793388" name="assignee" index="3A8wtg" />
+      </concept>
+      <concept id="7368070394766963750" name="jetbrains.mps.lang.coderules.structure.Head" flags="ng" index="3Aq93q">
+        <property id="7368070394767443940" name="keep" index="3ArMco" />
+      </concept>
+      <concept id="7368070394766963523" name="jetbrains.mps.lang.coderules.structure.RuleComponent" flags="ng" index="3Aq9uZ">
+        <child id="2316688792939037645" name="logic" index="3Ip0Jz" />
+      </concept>
+      <concept id="7368070394766966158" name="jetbrains.mps.lang.coderules.structure.Guard" flags="ng" index="3Aq9_M" />
+      <concept id="7368070394766966388" name="jetbrains.mps.lang.coderules.structure.Body" flags="ng" index="3Aq9E8" />
+      <concept id="7368070394766978092" name="jetbrains.mps.lang.coderules.structure.EmitConstraintStatement" flags="ng" index="3Aqczg">
+        <child id="7368070394767031348" name="constraint" index="3Aqpz8" />
+      </concept>
+      <concept id="7368070394767045637" name="jetbrains.mps.lang.coderules.structure.UserConstraint" flags="ng" index="3Aqt3T">
+        <reference id="7368070394767091750" name="template" index="3AqCNq" />
+        <child id="7368070394768117915" name="argument" index="3AunhB" />
+      </concept>
+      <concept id="1534124788579507963" name="jetbrains.mps.lang.coderules.structure.OriginSpec" flags="ng" index="3Hbl2A">
+        <child id="1534124788579511329" name="origin" index="3Hbm9W" />
+      </concept>
+      <concept id="1553157749316176827" name="jetbrains.mps.lang.coderules.structure.PatternLogicalVariable" flags="ng" index="1HFMs5">
+        <child id="5131913661993028915" name="variable" index="1uarlU" />
+        <child id="5131913661993028917" name="value" index="1uarlW" />
+      </concept>
+      <concept id="2316688792938826204" name="jetbrains.mps.lang.coderules.structure.ConstraintLogicalClause" flags="ng" index="3I6s7M">
+        <child id="2316688792938826214" name="constraint" index="3I6s78" />
+      </concept>
+      <concept id="2316688792938825384" name="jetbrains.mps.lang.coderules.structure.LogicalClauseList" flags="ng" index="3I6sU6">
+        <child id="2316688792938825385" name="clauses" index="3I6sU7" />
+      </concept>
+      <concept id="965748826975413063" name="jetbrains.mps.lang.coderules.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
+    </language>
+  </registry>
+  <node concept="AVZre" id="6ZRhjsG74BX">
+    <property role="TrG5h" value="Check" />
+    <ref role="2YbDB9" to="kqnc:34$A1Mf51rY" resolve="TypeOf" />
+    <node concept="1nLNMY" id="6ZRhjsG7ey0" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_extensionFieldReference" />
+      <node concept="3clFbS" id="6ZRhjsG7ey1" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsG7ezN" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsG7ezO" role="1nLNNK">
+            <node concept="3Aq93q" id="6ZRhjsG7fP1" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6ZRhjsG7fP2" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsG7fYQ" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsG7fYP" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6ZRhjsG7g2d" role="3xSepv">
+              <node concept="3Aq9E8" id="6ZRhjsG7g2e" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7g2f" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7g3$" role="3I6sU7">
+                    <node concept="3jbYBd" id="6ZRhjsG7g3x" role="3I6s78">
+                      <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                      <node concept="2OqwBi" id="6ZRhjsG7nUu" role="3jbY8P">
+                        <node concept="2OqwBi" id="6ZRhjsG7guc" role="2Oq$k0">
+                          <node concept="3A2sRY" id="6ZRhjsG7gdl" role="2Oq$k0">
+                            <ref role="3A2yKK" node="6ZRhjsG7ey3" resolve="efr" />
+                          </node>
+                          <node concept="3TrEf2" id="6ZRhjsG7lAh" role="2OqNvi">
+                            <ref role="3Tt5mk" to="v54s:66AaOfxkOUv" resolve="declaration" />
+                          </node>
+                        </node>
+                        <node concept="3TrEf2" id="6ZRhjsG7rjc" role="2OqNvi">
+                          <ref role="3Tt5mk" to="v54s:66AaOfxkOUt" resolve="fieldType" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsG7rmh" role="3jbY8V">
+                        <ref role="a7OzE" node="6ZRhjsG7g7N" resolve="Type" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="6ZRhjsG7rq3" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7rq4" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7rRo" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsG7rRn" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6ZRhjsG7rV6" role="3AunhB">
+                        <node concept="3A2sRY" id="6ZRhjsG7rV5" role="37jj2">
+                          <ref role="3A2yKK" node="6ZRhjsG7ey3" resolve="efr" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsG7s1a" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsG7g7N" resolve="Type" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7g7M" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7g7N" role="3XD1gS">
+                <property role="TrG5h" value="Type" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsG7g9y" role="3vLBG7" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6ZRhjsG7ey2" role="1nLNMg">
+        <ref role="2t_S0q" to="v54s:66AaOfxkOUu" resolve="ExtensionFieldReference" />
+        <node concept="3A20r5" id="6ZRhjsG7ey3" role="2t_VXX">
+          <property role="TrG5h" value="efr" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6ZRhjsG7HHa" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_extensionPointExpression" />
+      <node concept="3clFbS" id="6ZRhjsG7HHb" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsG7HKf" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsG7HKg" role="1nLNNK">
+            <node concept="3xSepi" id="6ZRhjsG7Ixd" role="3xSepv">
+              <node concept="3Aq9E8" id="6ZRhjsG8xb1" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG8xb2" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG8xbr" role="3I6sU7">
+                    <node concept="3jbYBd" id="6ZRhjsG8xbo" role="3I6s78">
+                      <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                      <node concept="a7P8L" id="6ZRhjsG8xbS" role="3jbY8V">
+                        <ref role="a7OzE" node="6ZRhjsG8xbJ" resolve="ObjType" />
+                      </node>
+                      <node concept="2OqwBi" id="6ZRhjsG8x8y" role="3jbY8P">
+                        <node concept="2OqwBi" id="6ZRhjsG8w_B" role="2Oq$k0">
+                          <node concept="3A2sRY" id="6ZRhjsG8wl5" role="2Oq$k0">
+                            <ref role="3A2yKK" node="6ZRhjsG7HHd" resolve="epe" />
+                          </node>
+                          <node concept="3TrEf2" id="6ZRhjsG8x7$" role="2OqNvi">
+                            <ref role="3Tt5mk" to="v54s:5JRjEZJSeHl" resolve="extensionPoint" />
+                          </node>
+                        </node>
+                        <node concept="3TrEf2" id="6ZRhjsG8xac" role="2OqNvi">
+                          <ref role="3Tt5mk" to="v54s:6XJvNHU5VOb" resolve="objectType" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="6ZRhjsG7I$M" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7I$N" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7IBr" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsG7IBq" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6ZRhjsG7ICK" role="3AunhB">
+                        <node concept="3A2sRY" id="6ZRhjsG7ICI" role="37jj2">
+                          <ref role="3A2yKK" node="6ZRhjsG7HHd" resolve="epe" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6ZRhjsG7IZ4" role="3AunhB">
+                        <ref role="ns1xF" node="6ZRhjsG7IgK" resolve="extensionPoint" />
+                        <node concept="nsMwS" id="6ZRhjsG7IZz" role="ns1xD">
+                          <ref role="nsMwP" node="6ZRhjsG7Is$" resolve="extensionPoint" />
+                          <node concept="37jhX" id="6ZRhjsG7J2R" role="iSaTp">
+                            <node concept="2OqwBi" id="6ZRhjsG7J3K" role="37jj2">
+                              <node concept="3A2sRY" id="6ZRhjsG7J2Q" role="2Oq$k0">
+                                <ref role="3A2yKK" node="6ZRhjsG7HHd" resolve="epe" />
+                              </node>
+                              <node concept="3TrEf2" id="6ZRhjsG7JEc" role="2OqNvi">
+                                <ref role="3Tt5mk" to="v54s:5JRjEZJSeHl" resolve="extensionPoint" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="6ZRhjsG8wkX" role="ns1xD">
+                          <ref role="nsMwP" node="6ZRhjsG7TPl" resolve="object" />
+                          <node concept="a7P8L" id="6ZRhjsG8xkt" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG8xbJ" resolve="ObjType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="6ZRhjsG7HKH" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6ZRhjsG7HKI" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsG7HO$" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsG7HOz" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7HRH" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7HRI" role="3XD1gS">
+                <property role="TrG5h" value="Type" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsG8xbJ" role="3XD1gS">
+                <property role="TrG5h" value="ObjType" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsG7HTt" role="3vLBG7" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6ZRhjsG7HHc" role="1nLNMg">
+        <ref role="2t_S0q" to="v54s:5JRjEZJSe_0" resolve="ExtensionPointExpression" />
+        <node concept="3A20r5" id="6ZRhjsG7HHd" role="2t_VXX">
+          <property role="TrG5h" value="epe" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6ZRhjsG7spp" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_extensionObjectGetter" />
+      <node concept="3clFbS" id="6ZRhjsG7spq" role="1nLNMH">
+        <node concept="3Hbl2A" id="6ZRhjsG7Hbo" role="3cqZAp">
+          <node concept="3clFbS" id="6ZRhjsG7Hbq" role="9aQI4">
+            <node concept="1nLNNL" id="6ZRhjsG7srK" role="3cqZAp">
+              <node concept="1nLNMm" id="6ZRhjsG7srL" role="1nLNNK">
+                <node concept="3Aq93q" id="6ZRhjsG7sse" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="6ZRhjsG7ssf" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="6ZRhjsG7stV" role="3I6sU7">
+                      <node concept="3Aqt3T" id="6ZRhjsG7stU" role="3I6s78">
+                        <ref role="3AqCNq" to="kqnc:34$A1MfabR$" resolve="checkAll" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3xSepi" id="6ZRhjsG7suM" role="3xSepv">
+                  <node concept="3Aq9E8" id="6ZRhjsG7suN" role="3xSepj">
+                    <node concept="3I6sU6" id="6ZRhjsG7suO" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="6ZRhjsG7swz" role="3I6sU7">
+                        <node concept="3jbYBd" id="6ZRhjsG7sww" role="3I6s78">
+                          <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                          <node concept="2OqwBi" id="6ZRhjsG7z5f" role="3jbY8P">
+                            <node concept="2OqwBi" id="6ZRhjsG7wct" role="2Oq$k0">
+                              <node concept="1PxgMI" id="6ZRhjsG7w9d" role="2Oq$k0">
+                                <property role="1BlNFB" value="true" />
+                                <node concept="chp4Y" id="6ZRhjsG7wbd" role="3oSUPX">
+                                  <ref role="cht4Q" to="v54s:3f064wGFUBk" resolve="ExtensionDeclaration" />
+                                </node>
+                                <node concept="2OqwBi" id="6ZRhjsG7sCU" role="1m5AlR">
+                                  <node concept="3A2sRY" id="6ZRhjsG7sCj" role="2Oq$k0">
+                                    <ref role="3A2yKK" node="6ZRhjsG7sps" resolve="eog" />
+                                  </node>
+                                  <node concept="1mfA1w" id="6ZRhjsG7w3P" role="2OqNvi" />
+                                </node>
+                              </node>
+                              <node concept="3TrEf2" id="6ZRhjsG7ywe" role="2OqNvi">
+                                <ref role="3Tt5mk" to="v54s:3f064wGFUBl" resolve="extensionPoint" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="6ZRhjsG7_qp" role="2OqNvi">
+                              <ref role="3Tt5mk" to="v54s:6XJvNHU5VOb" resolve="objectType" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="6ZRhjsG7sA_" role="3jbY8V">
+                            <ref role="a7OzE" node="6ZRhjsG7syj" resolve="OType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="6ZRhjsG7_sC" role="3xSepj">
+                    <node concept="3I6sU6" id="6ZRhjsG7_sD" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="6ZRhjsG7CVU" role="3I6sU7">
+                        <node concept="3jbYBd" id="6ZRhjsG7CVR" role="3I6s78">
+                          <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                          <node concept="2OqwBi" id="6ZRhjsG7D7E" role="3jbY8P">
+                            <node concept="3A2sRY" id="6ZRhjsG7D74" role="2Oq$k0">
+                              <ref role="3A2yKK" node="6ZRhjsG7sps" resolve="eog" />
+                            </node>
+                            <node concept="2qgKlT" id="6ZRhjsG7Gzb" role="2OqNvi">
+                              <ref role="37wK5l" to="tpek:hEwIGRD" resolve="getExpectedReturnType" />
+                            </node>
+                          </node>
+                          <node concept="a7P8L" id="6ZRhjsG7D6a" role="3jbY8V">
+                            <ref role="a7OzE" node="6ZRhjsG7D1_" resolve="EType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="6ZRhjsG7GG8" role="3xSepj">
+                    <node concept="3I6sU6" id="6ZRhjsG7GG9" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="6ZRhjsG7GJu" role="3I6sU7">
+                        <node concept="3Aqt3T" id="6ZRhjsG7GJt" role="3I6s78">
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                          <node concept="a7P8L" id="6ZRhjsG7GLb" role="3AunhB">
+                            <ref role="a7OzE" node="6ZRhjsG7D1_" resolve="EType" />
+                          </node>
+                          <node concept="a7P8L" id="6ZRhjsG7GNm" role="3AunhB">
+                            <ref role="a7OzE" node="6ZRhjsG7syj" resolve="OType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3xSepi" id="6ZRhjsG7CNc" role="3xSepv">
+                  <node concept="3Aq9E8" id="6ZRhjsG7CNd" role="3xSepj">
+                    <node concept="3I6sU6" id="6ZRhjsG7CNe" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="6ZRhjsG7GRC" role="3I6sU7">
+                        <node concept="1lHd6T" id="6ZRhjsG7GRB" role="3I6s78">
+                          <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                          <node concept="Xl_RD" id="6ZRhjsG7GST" role="1ljv2e">
+                            <property role="Xl_RC" value="expected type incompatible with declared type" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="6ZRhjsG7syi" role="0Rg$4">
+                  <node concept="aZer4" id="6ZRhjsG7syj" role="3XD1gS">
+                    <property role="TrG5h" value="OType" />
+                  </node>
+                  <node concept="aZer4" id="6ZRhjsG7D1_" role="3XD1gS">
+                    <property role="TrG5h" value="EType" />
+                  </node>
+                  <node concept="32pEOW" id="6ZRhjsG7sze" role="3vLBG7" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3A2sRY" id="6ZRhjsG7HeF" role="3Hbm9W">
+            <ref role="3A2yKK" node="6ZRhjsG7sps" resolve="eog" />
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6ZRhjsG7spr" role="1nLNMg">
+        <ref role="2t_S0q" to="v54s:6XJvNHU5Sl_" resolve="ExtensionObjectGetter" />
+        <node concept="3A20r5" id="6ZRhjsG7sps" role="2t_VXX">
+          <property role="TrG5h" value="eog" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6ZRhjsG7KQJ" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_getExtensionObjectsOperation" />
+      <node concept="3clFbS" id="6ZRhjsG7KQK" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsG7KV4" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsG7KV5" role="1nLNNK">
+            <node concept="3Aq93q" id="6ZRhjsG7KVy" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="6ZRhjsG7KVz" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsG7KXf" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsG7KXe" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="6ZRhjsG7KYY" role="3AunhB">
+                      <node concept="2OqwBi" id="6ZRhjsG7KZV" role="37jj2">
+                        <node concept="3A2sRY" id="6ZRhjsG7KYW" role="2Oq$k0">
+                          <ref role="3A2yKK" node="6ZRhjsG7KQM" resolve="geoo" />
+                        </node>
+                        <node concept="2qgKlT" id="6ZRhjsG7OXt" role="2OqNvi">
+                          <ref role="37wK5l" to="tpek:hEwIP$m" resolve="getOperand" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6ZRhjsG7PaT" role="3AunhB">
+                      <ref role="a7OzE" node="6ZRhjsG7OZD" resolve="OpndType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7OZC" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7OZD" role="3XD1gS">
+                <property role="TrG5h" value="OpndType" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsG7U6c" role="3XD1gS">
+                <property role="TrG5h" value="ObjType" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsG7P2A" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7Rml" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7Rmm" role="3XD1gS">
+                <property role="TrG5h" value="EP" />
+              </node>
+              <node concept="3Tqbb2" id="6ZRhjsG7Rvr" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6ZRhjsG7Pd5" role="3xSepv">
+              <node concept="3Aq9E8" id="6ZRhjsG7Pd6" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7Pd7" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7R87" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsG7R86" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <node concept="a7P8L" id="6ZRhjsG7R8c" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsG7OZD" resolve="OpndType" />
+                      </node>
+                      <node concept="ns1u0" id="6ZRhjsG7RiY" role="3AunhB">
+                        <ref role="ns1xF" node="6ZRhjsG7IgK" resolve="extensionPoint" />
+                        <node concept="nsMwS" id="6ZRhjsG7U3h" role="ns1xD">
+                          <ref role="nsMwP" node="6ZRhjsG7TPl" resolve="object" />
+                          <node concept="a7P8L" id="6ZRhjsG7U9Z" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG7U6c" resolve="ObjType" />
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="6ZRhjsG7Rjs" role="ns1xD">
+                          <ref role="nsMwP" node="6ZRhjsG7Is$" resolve="extensionPoint" />
+                          <node concept="a7P8L" id="6ZRhjsG7R$2" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG7Rmm" resolve="EP" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="6ZRhjsG7Uc7" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7Uc8" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7UeM" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsG7UeL" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                      <node concept="37jhX" id="6ZRhjsG7Ug7" role="3AunhB">
+                        <node concept="3A2sRY" id="6ZRhjsG7Ug5" role="37jj2">
+                          <ref role="3A2yKK" node="6ZRhjsG7KQM" resolve="geoo" />
+                        </node>
+                      </node>
+                      <node concept="ns1u0" id="6ZRhjsG7Vo$" role="3AunhB">
+                        <ref role="ns1xF" to="yh6q:3MFPGC50Ab3" resolve="sequence" />
+                        <node concept="nsMwS" id="6ZRhjsG7Vp3" role="ns1xD">
+                          <ref role="nsMwP" to="yh6q:3MFPGC50Aiu" resolve="elem" />
+                          <node concept="a7P8L" id="6ZRhjsG7Vs2" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG7U6c" resolve="ObjType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="6ZRhjsG7PM_" role="1nLNMa">
+              <node concept="3I6sU6" id="6ZRhjsG7PMA" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsG7POj" role="3I6sU7">
+                  <node concept="1j3QNq" id="6ZRhjsG7POh" role="3I6s78">
+                    <node concept="a7P8L" id="6ZRhjsG7PPZ" role="1j3QfT">
+                      <ref role="a7OzE" node="6ZRhjsG7OZD" resolve="OpndType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6ZRhjsG7KQL" role="1nLNMg">
+        <ref role="2t_S0q" to="v54s:2KgYA8kbJt7" resolve="GetExtensionObjectsOperation" />
+        <node concept="3A20r5" id="6ZRhjsG7KQM" role="2t_VXX">
+          <property role="TrG5h" value="geoo" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="3iyXCk" id="6ZRhjsG7IbW">
+    <property role="TrG5h" value="Terms" />
+    <ref role="2efqH6" to="kqnc:JOGAOsVt29" resolve="Terms" />
+    <node concept="3iyMRA" id="6ZRhjsG7IgK" role="ns1xc">
+      <property role="TrG5h" value="extensionPoint" />
+      <ref role="ns1xW" to="kqnc:4lCLOtwq2MF" resolve="type" />
+      <node concept="nspSf" id="6ZRhjsG7IgL" role="ns1xx">
+        <node concept="nstbe" id="6ZRhjsG7TPl" role="nspSe">
+          <property role="TrG5h" value="object" />
+        </node>
+        <node concept="nssqF" id="6ZRhjsG7Is$" role="nspSe">
+          <property role="TrG5h" value="extensionPoint" />
+          <node concept="3Tqbb2" id="6ZRhjsG7Itu" role="1NczKs">
+            <ref role="ehGHo" to="v54s:3f064wGFUBm" resolve="ExtensionPointDeclaration" />
+          </node>
+        </node>
+      </node>
+      <node concept="3i_YlU" id="6ZRhjsG7ItF" role="3i_WSZ">
+        <node concept="2pJPEk" id="6ZRhjsG7ItK" role="3i_UKR">
+          <node concept="2pJPED" id="6ZRhjsG7ItM" role="2pJPEn">
+            <ref role="2pJxaS" to="v54s:2KgYA8kbFkS" resolve="ExtensionPointType" />
+            <node concept="2pIpSj" id="6ZRhjsG7Iu8" role="2pJxcM">
+              <ref role="2pIpSl" to="v54s:2KgYA8kbFkT" resolve="extensionPoint" />
+              <node concept="36biLy" id="6ZRhjsG7Iul" role="28nt2d">
+                <node concept="1NbZt7" id="6ZRhjsG7Iux" role="36biLW">
+                  <ref role="1NbY7m" node="6ZRhjsG7Is$" resolve="extensionPoint" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="AVZre" id="6ZRhjsG7WMy">
+    <property role="TrG5h" value="Converts" />
+    <ref role="2YbDB9" to="kqnc:24Vro6cM_J$" resolve="ConversionMain" />
+    <node concept="1nLNMY" id="6ZRhjsG7X4x" role="1nK1Vg">
+      <property role="TrG5h" value="extensionPointType_convertsTo_classifier" />
+      <node concept="3clFbS" id="6ZRhjsG7X4y" role="1nLNMH">
+        <node concept="1nLNNL" id="6ZRhjsG7XwN" role="3cqZAp">
+          <node concept="1nLNMm" id="6ZRhjsG7XwO" role="1nLNNK">
+            <node concept="3Aq93q" id="6ZRhjsG7Xxh" role="1nLNMb">
+              <node concept="3I6sU6" id="6ZRhjsG7Xxi" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6ZRhjsG7X$c" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6ZRhjsG7X$b" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="6ZRhjsG7Zqf" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsG7Y4w" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsG7Y0i" resolve="EType" />
+                      </node>
+                      <node concept="ns1u0" id="6ZRhjsG7ZrF" role="1uarlW">
+                        <ref role="ns1xF" node="6ZRhjsG7IgK" resolve="extensionPoint" />
+                        <node concept="nsMwS" id="6ZRhjsG7Zs7" role="ns1xD">
+                          <ref role="nsMwP" node="6ZRhjsG7TPl" resolve="object" />
+                          <node concept="a7P8L" id="6ZRhjsG7Z_O" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG7ZvQ" resolve="ObjType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="6ZRhjsG7Y6H" role="3AunhB">
+                      <node concept="a7P8L" id="6ZRhjsG7Y6D" role="1uarlU">
+                        <ref role="a7OzE" node="6ZRhjsG7XPm" resolve="SuperType" />
+                      </node>
+                      <node concept="ns1u0" id="6ZRhjsG7Y87" role="1uarlW">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6ZRhjsG7ZM8" role="3AunhB">
+                      <ref role="a7OzE" node="6ZRhjsG7X_x" resolve="Opt" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7XPl" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7Y0i" role="3XD1gS">
+                <property role="TrG5h" value="ExtType" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsG7ZvQ" role="3XD1gS">
+                <property role="TrG5h" value="ObjType" />
+              </node>
+              <node concept="aZer4" id="6ZRhjsG7XPm" role="3XD1gS">
+                <property role="TrG5h" value="SuperType" />
+              </node>
+              <node concept="32pEOW" id="6ZRhjsG7XQk" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6ZRhjsG7X_w" role="0Rg$4">
+              <node concept="aZer4" id="6ZRhjsG7X_x" role="3XD1gS">
+                <property role="TrG5h" value="Opt" />
+              </node>
+              <node concept="3uibUv" id="6ZRhjsG7XL0" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6ZRhjsG7Y9O" role="3xSepv">
+              <node concept="3Aq9E8" id="6ZRhjsG7Y9P" role="3xSepj">
+                <node concept="3I6sU6" id="6ZRhjsG7Y9Q" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6ZRhjsG7Ybz" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6ZRhjsG7Yby" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="ns1u0" id="6ZRhjsG7YdE" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="6ZRhjsG7Zhc" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="h$QuP" id="6ZRhjsG7ZmW" role="iSaTp">
+                            <ref role="h$OrH" to="bmr5:~ExtensionPoint" resolve="ExtensionPoint" />
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="6ZRhjsG7YOz" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
+                          <node concept="a7P8L" id="6ZRhjsG7ZCm" role="iSaTp">
+                            <ref role="a7OzE" node="6ZRhjsG7ZvQ" resolve="ObjType" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsG7ZJm" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsG7XPm" resolve="SuperType" />
+                      </node>
+                      <node concept="a7P8L" id="6ZRhjsG7ZEZ" role="3AunhB">
+                        <ref role="a7OzE" node="6ZRhjsG7X_x" resolve="Opt" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="6ZRhjsG7X4z" role="1nLNMg">
+        <ref role="2t_S0q" to="v54s:2KgYA8kbFkS" resolve="ExtensionPointType" />
+        <node concept="3A20r5" id="6ZRhjsG7X4$" role="2t_VXX">
+          <property role="TrG5h" value="ept" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="0oKg$" id="6ZRhjsG8xk$">
+    <property role="TrG5h" value="Types" />
+    <ref role="3tg4Y$" to="kqnc:E1U1n2RerB" resolve="Types" />
+    <node concept="3iyZe8" id="6ZRhjsG8xEC" role="0oKgB">
+      <ref role="3iRiWT" to="kqnc:5itBwMau8m1" resolve="lift" />
+      <node concept="3clFbS" id="6ZRhjsG8xED" role="3iwQuN">
+        <node concept="3clFbJ" id="6ZRhjsG8PVf" role="3cqZAp">
+          <node concept="3clFbS" id="6ZRhjsG8PVh" role="3clFbx">
+            <node concept="3Aqczg" id="6ZRhjsG8Qra" role="3cqZAp">
+              <node concept="3A8Hvi" id="6ZRhjsG8Qrb" role="3Aqpz8">
+                <node concept="a7P8L" id="6ZRhjsG8Qrc" role="3A8wtg">
+                  <ref role="a7OzE" node="6ZRhjsG8xEG" resolve="Type" />
+                </node>
+                <node concept="ns1u0" id="6ZRhjsG8Qrd" role="3A8w4Q">
+                  <ref role="ns1xF" node="6ZRhjsG7IgK" resolve="extensionPoint" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6ZRhjsG8QCI" role="3cqZAp" />
+          </node>
+          <node concept="3clFbC" id="6ZRhjsG8Qh4" role="3clFbw">
+            <node concept="10Nm6u" id="6ZRhjsG8QpR" role="3uHU7w" />
+            <node concept="3j8tct" id="6ZRhjsG8PZK" role="3uHU7B">
+              <ref role="3j8tcu" node="6ZRhjsG8xEI" resolve="ept" />
+            </node>
+          </node>
+          <node concept="9aQIb" id="6ZRhjsG8Q_d" role="9aQIa">
+            <node concept="3clFbS" id="6ZRhjsG8Q_e" role="9aQI4">
+              <node concept="3Aqczg" id="6ZRhjsG8xFz" role="3cqZAp">
+                <node concept="3jbYBd" id="6ZRhjsG8xFw" role="3Aqpz8">
+                  <ref role="3jbY9l" to="kqnc:5itBwMau8m1" resolve="lift" />
+                  <node concept="2OqwBi" id="6ZRhjsG8ySr" role="3jbY8P">
+                    <node concept="2OqwBi" id="6ZRhjsG8xWz" role="2Oq$k0">
+                      <node concept="3j8tct" id="6ZRhjsG8xG4" role="2Oq$k0">
+                        <ref role="3j8tcu" node="6ZRhjsG8xEI" resolve="ept" />
+                      </node>
+                      <node concept="3TrEf2" id="6ZRhjsG8yu$" role="2OqNvi">
+                        <ref role="3Tt5mk" to="v54s:2KgYA8kbFkT" resolve="extensionPoint" />
+                      </node>
+                    </node>
+                    <node concept="3TrEf2" id="6ZRhjsG8zjz" role="2OqNvi">
+                      <ref role="3Tt5mk" to="v54s:6XJvNHU5VOb" resolve="objectType" />
+                    </node>
+                  </node>
+                  <node concept="a7P8L" id="6ZRhjsG8xFY" role="3jbY8V">
+                    <ref role="a7OzE" node="6ZRhjsG8xFI" resolve="ObjType" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aqczg" id="6ZRhjsG8$5Z" role="3cqZAp">
+                <node concept="3A8Hvi" id="6ZRhjsG8$5T" role="3Aqpz8">
+                  <node concept="a7P8L" id="6ZRhjsG8$v8" role="3A8wtg">
+                    <ref role="a7OzE" node="6ZRhjsG8xEG" resolve="Type" />
+                  </node>
+                  <node concept="ns1u0" id="6ZRhjsG8$vl" role="3A8w4Q">
+                    <ref role="ns1xF" node="6ZRhjsG7IgK" resolve="extensionPoint" />
+                    <node concept="nsMwS" id="6ZRhjsG8$vo" role="ns1xD">
+                      <ref role="nsMwP" node="6ZRhjsG7Is$" resolve="extensionPoint" />
+                      <node concept="37jhX" id="6ZRhjsG8$vv" role="iSaTp">
+                        <node concept="2OqwBi" id="6ZRhjsG8$vT" role="37jj2">
+                          <node concept="3j8tct" id="6ZRhjsG8$vt" role="2Oq$k0">
+                            <ref role="3j8tcu" node="6ZRhjsG8xEI" resolve="ept" />
+                          </node>
+                          <node concept="3TrEf2" id="6ZRhjsG8$wW" role="2OqNvi">
+                            <ref role="3Tt5mk" to="v54s:2KgYA8kbFkT" resolve="extensionPoint" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="nsMwS" id="6ZRhjsG8$wZ" role="ns1xD">
+                      <ref role="nsMwP" node="6ZRhjsG7TPl" resolve="object" />
+                      <node concept="a7P8L" id="6ZRhjsG8$Ue" role="iSaTp">
+                        <ref role="a7OzE" node="6ZRhjsG8xFI" resolve="ObjType" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3uniRu" id="6ZRhjsG8xEE" role="3tb1AD">
+        <node concept="32pEOW" id="6ZRhjsG8xEF" role="3vLBG7" />
+        <node concept="aZer4" id="6ZRhjsG8xEG" role="3XD1gS">
+          <property role="TrG5h" value="Type" />
+        </node>
+      </node>
+      <node concept="3ixlbQ" id="6ZRhjsG8xEH" role="3iweTQ">
+        <ref role="3ixz9q" to="v54s:2KgYA8kbFkS" resolve="ExtensionPointType" />
+        <node concept="3ixQyH" id="6ZRhjsG8xEI" role="3ix8rx">
+          <property role="TrG5h" value="ept" />
+        </node>
+      </node>
+      <node concept="3uniRu" id="6ZRhjsG8xFH" role="3iJhzY">
+        <node concept="aZer4" id="6ZRhjsG8xFI" role="3XD1gS">
+          <property role="TrG5h" value="ObjType" />
+        </node>
+        <node concept="32pEOW" id="6ZRhjsG8xFP" role="3vLBG7" />
+      </node>
+    </node>
+  </node>
+</model>
+
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.typesystem.mps
new file mode 100644
index 00000000..5b3c15ae
--- /dev/null
+++ b/samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.typesystem.mps
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:96659431-1662-4791-89fd-bab4ac7fbacf(jetbrains.mps.lang.extensionExt.typesystem)">
+  <persistence version="9" />
+  <languages>
+    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="5" />
+    <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+