diff --git a/.mps/modules.xml b/.mps/modules.xml
index 651381e1..1f696e16 100644
--- a/.mps/modules.xml
+++ b/.mps/modules.xml
@@ -30,6 +30,7 @@
       <modulePath path="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd" folder="typesystem2" />
       <modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/jetbrains.mps.lang.typesystem2.helper.msd" folder="typesystem2" />
       <modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd" folder="typesystem2" />
+      <modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd" folder="typesystem2" />
     </projectModules>
   </component>
 </project>
\ No newline at end of file
diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
index 8ad80e94..1c04a125 100644
--- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
@@ -4822,12 +4822,17 @@
                         <node concept="2ShNRf" id="3GlpCDSzA$U" role="37vLTx">
                           <node concept="1pGfFk" id="3GlpCDSzA$V" role="2ShVmc">
                             <ref role="37wK5l" to="hano:3GlpCDSychS" resolve="TemplatesApplication" />
-                            <node concept="2OqwBi" id="3GlpCDSzA$W" role="37wK5m">
-                              <node concept="Xjq3P" id="3GlpCDSzA$X" role="2Oq$k0">
-                                <ref role="1HBi2w" node="1pPth$l_TFV" resolve="TypecheckingHelper" />
+                            <node concept="2OqwBi" id="6QH_LDt8BRg" role="37wK5m">
+                              <node concept="2OqwBi" id="3GlpCDSzA$W" role="2Oq$k0">
+                                <node concept="Xjq3P" id="3GlpCDSzA$X" role="2Oq$k0">
+                                  <ref role="1HBi2w" node="1pPth$l_TFV" resolve="TypecheckingHelper" />
+                                </node>
+                                <node concept="2OwXpG" id="3GlpCDSzA$Y" role="2OqNvi">
+                                  <ref role="2Oxat5" node="1pPth$lA2Na" resolve="mpsProject" />
+                                </node>
                               </node>
-                              <node concept="2OwXpG" id="3GlpCDSzA$Y" role="2OqNvi">
-                                <ref role="2Oxat5" node="1pPth$lA2Na" resolve="mpsProject" />
+                              <node concept="liA8E" id="6QH_LDt8DvY" role="2OqNvi">
+                                <ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
                               </node>
                             </node>
                           </node>
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd
index bb82aa01..25366979 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd
@@ -14,7 +14,8 @@
     <dependency reexport="false">ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)</dependency>
     <dependency reexport="true">9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)</dependency>
     <dependency reexport="false">35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin)</dependency>
-    <dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
+    <dependency reexport="true">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
+    <dependency reexport="false">274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper)</dependency>
   </dependencies>
   <usedDevKits>
     <usedDevKit>fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)</usedDevKit>
@@ -48,6 +49,7 @@
     <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
     <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
     <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+    <module reference="274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper)" version="0" />
     <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
     <module reference="9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)" version="0" />
     <module reference="35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin)" version="0" />
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps
index 0c2d5a7d..e4e112d1 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps
@@ -32,7 +32,10 @@
     <import index="tpcu" ref="r:00000000-0000-4000-0000-011c89590282(jetbrains.mps.lang.core.behavior)" />
     <import index="z1c3" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.project(MPS.Platform/)" />
     <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
-    <import index="z1c4" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
+    <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
+    <import index="umch" ref="r:4caa22a9-5195-4617-8800-5f9f74cc4480(jetbrains.mps.lang.typesystem2.helper.plugin)" />
+    <import index="zx3l" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.core(jetbrains.mps.logic.reactor/)" />
+    <import index="cmfw" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.event(MPS.OpenAPI/)" />
   </imports>
   <registry>
     <language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
@@ -59,6 +62,7 @@
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
       </concept>
+      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
@@ -280,6 +284,7 @@
         <child id="1200830928149" name="expression" index="2n6tg2" />
       </concept>
       <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
         <child id="1199569916463" name="body" index="1bW5cS" />
       </concept>
     </language>
@@ -314,6 +319,7 @@
       <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
         <child id="1145404616321" name="leftExpression" index="2JrQYb" />
       </concept>
+      <concept id="1171310072040" name="jetbrains.mps.lang.smodel.structure.Node_GetContainingRootOperation" flags="nn" index="2Rxl7S" />
       <concept id="1171500988903" name="jetbrains.mps.lang.smodel.structure.Node_GetChildrenOperation" flags="nn" index="32TBzR" />
       <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
         <child id="1177027386292" name="conceptArgument" index="cj9EA" />
@@ -334,6 +340,9 @@
       </concept>
     </language>
     <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
+        <child id="1204796294226" name="closure" index="23t8la" />
+      </concept>
       <concept id="1176906603202" name="jetbrains.mps.baseLanguage.collections.structure.BinaryOperation" flags="nn" index="56pJg">
         <child id="1176906787974" name="rightExpression" index="576Qk" />
       </concept>
@@ -372,6 +381,7 @@
       <concept id="1227008614712" name="jetbrains.mps.baseLanguage.collections.structure.LinkedListCreator" flags="nn" index="2Jqq0_" />
       <concept id="1227022179634" name="jetbrains.mps.baseLanguage.collections.structure.AddLastElementOperation" flags="nn" index="2Ke9KJ" />
       <concept id="1227026082377" name="jetbrains.mps.baseLanguage.collections.structure.RemoveFirstElementOperation" flags="nn" index="2Kt2Hk" />
+      <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
       <concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
       <concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
@@ -386,6 +396,12 @@
       </concept>
       <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
       <concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
+      <concept id="1208542034276" name="jetbrains.mps.baseLanguage.collections.structure.MapClearOperation" flags="nn" index="1yHZxX" />
+      <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
+      <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
+        <child id="1197932505799" name="map" index="3ElQJh" />
+        <child id="1197932525128" name="key" index="3ElVtu" />
+      </concept>
       <concept id="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
       <concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
       <concept id="5686963296372573083" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerType" flags="in" index="3O5elB">
@@ -5715,9 +5731,9 @@
     <node concept="2tJIrI" id="3GlpCDSxTK1" role="jymVt" />
     <node concept="3clFbW" id="3GlpCDSychS" role="jymVt">
       <node concept="37vLTG" id="3GlpCDSy8gs" role="3clF46">
-        <property role="TrG5h" value="mpsProject" />
-        <node concept="3uibUv" id="3GlpCDSya8J" role="1tU5fm">
-          <ref role="3uigEE" to="z1c3:~MPSProject" resolve="MPSProject" />
+        <property role="TrG5h" value="repository" />
+        <node concept="3uibUv" id="6QH_LDt88i_" role="1tU5fm">
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
         </node>
       </node>
       <node concept="3cqZAl" id="3GlpCDSychU" role="3clF45" />
@@ -5727,12 +5743,12 @@
           <node concept="37vLTI" id="3GlpCDSycQh" role="3clFbG">
             <node concept="2OqwBi" id="3GlpCDSycWA" role="37vLTJ">
               <node concept="Xjq3P" id="3GlpCDSycXx" role="2Oq$k0" />
-              <node concept="2OwXpG" id="3GlpCDSycWD" role="2OqNvi">
-                <ref role="2Oxat5" node="3GlpCDSycQb" resolve="mpsProject" />
+              <node concept="2OwXpG" id="6QH_LDt88VP" role="2OqNvi">
+                <ref role="2Oxat5" node="6QH_LDt87Wj" resolve="repository" />
               </node>
             </node>
             <node concept="37vLTw" id="3GlpCDSycQl" role="37vLTx">
-              <ref role="3cqZAo" node="3GlpCDSy8gs" resolve="mpsProject" />
+              <ref role="3cqZAo" node="3GlpCDSy8gs" resolve="repository" />
             </node>
           </node>
         </node>
@@ -5773,13 +5789,8 @@
                   <node concept="37vLTw" id="4xTpErk25DG" role="37wK5m">
                     <ref role="3cqZAo" node="4xTpErk1pjv" resolve="lang" />
                   </node>
-                  <node concept="2OqwBi" id="3GlpCDS_niO" role="37wK5m">
-                    <node concept="37vLTw" id="3GlpCDSy4Fu" role="2Oq$k0">
-                      <ref role="3cqZAo" node="3GlpCDSycQb" resolve="mpsProject" />
-                    </node>
-                    <node concept="liA8E" id="3GlpCDS_ode" role="2OqNvi">
-                      <ref role="37wK5l" to="z1c4:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
-                    </node>
+                  <node concept="37vLTw" id="6QH_LDt891f" role="37wK5m">
+                    <ref role="3cqZAo" node="6QH_LDt87Wj" resolve="repository" />
                   </node>
                 </node>
                 <node concept="37vLTw" id="4xTpErk1zEl" role="37vLTJ">
@@ -6105,14 +6116,1970 @@
       </node>
     </node>
     <node concept="3Tm1VV" id="3GlpCDSxTG8" role="1B3o_S" />
-    <node concept="312cEg" id="3GlpCDSycQb" role="jymVt">
-      <property role="TrG5h" value="mpsProject" />
-      <node concept="3Tm6S6" id="3GlpCDSycQc" role="1B3o_S" />
-      <node concept="3uibUv" id="3GlpCDSycQe" role="1tU5fm">
-        <ref role="3uigEE" to="z1c3:~MPSProject" resolve="MPSProject" />
+    <node concept="312cEg" id="6QH_LDt87Wj" role="jymVt">
+      <property role="TrG5h" value="repository" />
+      <node concept="3Tm6S6" id="6QH_LDt87Wk" role="1B3o_S" />
+      <node concept="3uibUv" id="6QH_LDt88hL" role="1tU5fm">
+        <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
       </node>
     </node>
     <node concept="2tJIrI" id="3GlpCDSyAm6" role="jymVt" />
   </node>
+  <node concept="312cEu" id="4Z$O9mrQIzg">
+    <property role="TrG5h" value="TypecheckingSession" />
+    <node concept="2tJIrI" id="4Z$O9mrQIzE" role="jymVt" />
+    <node concept="3clFbW" id="4Z$O9mrTNJK" role="jymVt">
+      <node concept="37vLTG" id="4Z$O9mrTNK9" role="3clF46">
+        <property role="TrG5h" value="unit" />
+        <node concept="H_c77" id="4Z$O9mrTNKu" role="1tU5fm" />
+      </node>
+      <node concept="3cqZAl" id="4Z$O9mrTNJM" role="3clF45" />
+      <node concept="3Tmbuc" id="4Z$O9mrTY5k" role="1B3o_S" />
+      <node concept="3clFbS" id="4Z$O9mrTNJO" role="3clF47" />
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrTNRx" role="jymVt" />
+    <node concept="3clFb_" id="7kaxm0sExBe" role="jymVt">
+      <property role="TrG5h" value="execute" />
+      <node concept="37vLTG" id="7kaxm0sExCc" role="3clF46">
+        <property role="TrG5h" value="computable" />
+        <node concept="3uibUv" id="7kaxm0sExDf" role="1tU5fm">
+          <ref role="3uigEE" to="18ew:~Computable" resolve="Computable" />
+          <node concept="16syzq" id="7kaxm0sExE_" role="11_B2D">
+            <ref role="16sUi3" node="7kaxm0sExDN" resolve="T" />
+          </node>
+        </node>
+      </node>
+      <node concept="16syzq" id="7kaxm0sExFe" role="3clF45">
+        <ref role="16sUi3" node="7kaxm0sExDN" resolve="T" />
+      </node>
+      <node concept="3Tm1VV" id="7kaxm0sExBh" role="1B3o_S" />
+      <node concept="3clFbS" id="7kaxm0sExBi" role="3clF47">
+        <node concept="3clFbF" id="7kaxm0sExHm" role="3cqZAp">
+          <node concept="2OqwBi" id="7kaxm0sExSv" role="3clFbG">
+            <node concept="37vLTw" id="7kaxm0sExHl" role="2Oq$k0">
+              <ref role="3cqZAo" node="7kaxm0sExCc" resolve="computable" />
+            </node>
+            <node concept="liA8E" id="7kaxm0sEy11" role="2OqNvi">
+              <ref role="37wK5l" to="18ew:~Computable.compute():java.lang.Object" resolve="compute" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="7kaxm0sExDN" role="16eVyc">
+        <property role="TrG5h" value="T" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrQIzN" role="jymVt" />
+    <node concept="3Tm1VV" id="4Z$O9mrQIzh" role="1B3o_S" />
+  </node>
+  <node concept="312cEu" id="4Z$O9mrQIzY">
+    <property role="TrG5h" value="Typechecking" />
+    <node concept="2tJIrI" id="4Z$O9mrQI$u" role="jymVt" />
+    <node concept="Wx3nA" id="4Z$O9mrTGv9" role="jymVt">
+      <property role="TrG5h" value="ourTypecheckings" />
+      <node concept="3Tm6S6" id="4Z$O9mrTGvb" role="1B3o_S" />
+      <node concept="_YKpA" id="4Z$O9mrTGQp" role="1tU5fm">
+        <node concept="3uibUv" id="4Z$O9mrTGQP" role="_ZDj9">
+          <ref role="3uigEE" node="4Z$O9mrQIzY" resolve="Typechecking" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="4Z$O9mrTN7O" role="33vP2m">
+        <node concept="Tc6Ow" id="4Z$O9mrTN6Q" role="2ShVmc">
+          <node concept="3uibUv" id="4Z$O9mrTN6R" role="HW$YZ">
+            <ref role="3uigEE" node="4Z$O9mrQIzY" resolve="Typechecking" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrTG7X" role="jymVt" />
+    <node concept="2YIFZL" id="4Z$O9mrQIG1" role="jymVt">
+      <property role="TrG5h" value="get" />
+      <node concept="37vLTG" id="4Z$O9mrQIH4" role="3clF46">
+        <property role="TrG5h" value="repository" />
+        <node concept="3uibUv" id="4Z$O9mrQIHU" role="1tU5fm">
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="4Z$O9mrQIIr" role="3clF45">
+        <ref role="3uigEE" node="4Z$O9mrQIzY" resolve="Typechecking" />
+      </node>
+      <node concept="3Tm1VV" id="4Z$O9mrQIG4" role="1B3o_S" />
+      <node concept="3clFbS" id="4Z$O9mrQIG5" role="3clF47">
+        <node concept="3cpWs8" id="4Z$O9mrTJM7" role="3cqZAp">
+          <node concept="3cpWsn" id="4Z$O9mrTJM8" role="3cpWs9">
+            <property role="TrG5h" value="typechecking" />
+            <node concept="3uibUv" id="4Z$O9mrTJLY" role="1tU5fm">
+              <ref role="3uigEE" node="4Z$O9mrQIzY" resolve="Typechecking" />
+            </node>
+            <node concept="2OqwBi" id="4Z$O9mrTJM9" role="33vP2m">
+              <node concept="37vLTw" id="4Z$O9mrTJMa" role="2Oq$k0">
+                <ref role="3cqZAo" node="4Z$O9mrTGv9" resolve="ourTypecheckings" />
+              </node>
+              <node concept="1z4cxt" id="4Z$O9mrTJMb" role="2OqNvi">
+                <node concept="1bVj0M" id="4Z$O9mrTJMc" role="23t8la">
+                  <node concept="3clFbS" id="4Z$O9mrTJMd" role="1bW5cS">
+                    <node concept="3clFbF" id="4Z$O9mrTJMe" role="3cqZAp">
+                      <node concept="3clFbC" id="4Z$O9mrTJMf" role="3clFbG">
+                        <node concept="37vLTw" id="4Z$O9mrTJMg" role="3uHU7w">
+                          <ref role="3cqZAo" node="4Z$O9mrQIH4" resolve="repository" />
+                        </node>
+                        <node concept="2OqwBi" id="4Z$O9mrTJMh" role="3uHU7B">
+                          <node concept="37vLTw" id="4Z$O9mrTJMi" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4Z$O9mrTJMk" resolve="it" />
+                          </node>
+                          <node concept="2OwXpG" id="4Z$O9mrTJMj" role="2OqNvi">
+                            <ref role="2Oxat5" node="4Z$O9mrQIM1" resolve="repository" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="Rh6nW" id="4Z$O9mrTJMk" role="1bW2Oz">
+                    <property role="TrG5h" value="it" />
+                    <node concept="2jxLKc" id="4Z$O9mrTJMl" role="1tU5fm" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="4Z$O9mrTJU8" role="3cqZAp">
+          <node concept="3clFbS" id="4Z$O9mrTJUa" role="3clFbx">
+            <node concept="3clFbF" id="4Z$O9mrTK8Z" role="3cqZAp">
+              <node concept="37vLTI" id="4Z$O9mrTKfv" role="3clFbG">
+                <node concept="2ShNRf" id="4Z$O9mrTKjl" role="37vLTx">
+                  <node concept="1pGfFk" id="4Z$O9mrTKh8" role="2ShVmc">
+                    <ref role="37wK5l" node="4Z$O9mrQIJn" resolve="Typechecking" />
+                    <node concept="37vLTw" id="4Z$O9mrTKnN" role="37wK5m">
+                      <ref role="3cqZAo" node="4Z$O9mrQIH4" resolve="repository" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="37vLTw" id="4Z$O9mrTK8X" role="37vLTJ">
+                  <ref role="3cqZAo" node="4Z$O9mrTJM8" resolve="typechecking" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="4Z$O9mrTKqT" role="3cqZAp">
+              <node concept="2OqwBi" id="4Z$O9mrTMkk" role="3clFbG">
+                <node concept="37vLTw" id="4Z$O9mrTKqR" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4Z$O9mrTGv9" resolve="ourTypecheckings" />
+                </node>
+                <node concept="TSZUe" id="4Z$O9mrTMPv" role="2OqNvi">
+                  <node concept="37vLTw" id="4Z$O9mrTMVS" role="25WWJ7">
+                    <ref role="3cqZAo" node="4Z$O9mrTJM8" resolve="typechecking" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbC" id="4Z$O9mrTK4Z" role="3clFbw">
+            <node concept="10Nm6u" id="4Z$O9mrTK6B" role="3uHU7w" />
+            <node concept="37vLTw" id="4Z$O9mrTJWU" role="3uHU7B">
+              <ref role="3cqZAo" node="4Z$O9mrTJM8" resolve="typechecking" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4Z$O9mrTGUA" role="3cqZAp">
+          <node concept="37vLTw" id="4Z$O9mrTJMm" role="3clFbG">
+            <ref role="3cqZAo" node="4Z$O9mrTJM8" resolve="typechecking" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrQI$H" role="jymVt" />
+    <node concept="3clFbW" id="4Z$O9mrQIJn" role="jymVt">
+      <node concept="37vLTG" id="4Z$O9mrQIKs" role="3clF46">
+        <property role="TrG5h" value="repository" />
+        <node concept="3uibUv" id="4Z$O9mrQIL_" role="1tU5fm">
+          <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="4Z$O9mrQIJp" role="3clF45" />
+      <node concept="3Tm6S6" id="4Z$O9mrQIJU" role="1B3o_S" />
+      <node concept="3clFbS" id="4Z$O9mrQIJr" role="3clF47">
+        <node concept="3clFbF" id="4Z$O9mrQIM5" role="3cqZAp">
+          <node concept="37vLTI" id="4Z$O9mrQIM7" role="3clFbG">
+            <node concept="2OqwBi" id="4Z$O9mrQIPy" role="37vLTJ">
+              <node concept="Xjq3P" id="4Z$O9mrQIQd" role="2Oq$k0" />
+              <node concept="2OwXpG" id="4Z$O9mrQIP_" role="2OqNvi">
+                <ref role="2Oxat5" node="4Z$O9mrQIM1" resolve="repository" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="4Z$O9mrQIMb" role="37vLTx">
+              <ref role="3cqZAo" node="4Z$O9mrQIKs" resolve="repository" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrQJbQ" role="jymVt" />
+    <node concept="3clFb_" id="4Z$O9mrQJgp" role="jymVt">
+      <property role="TrG5h" value="cachedTypes" />
+      <node concept="37vLTG" id="4Z$O9mrQJle" role="3clF46">
+        <property role="TrG5h" value="unit" />
+        <node concept="H_c77" id="4Z$O9mrQJmG" role="1tU5fm" />
+      </node>
+      <node concept="3uibUv" id="6QH_LDtfl7H" role="3clF45">
+        <ref role="3uigEE" node="6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+      </node>
+      <node concept="3Tm1VV" id="4Z$O9mrQJgs" role="1B3o_S" />
+      <node concept="3clFbS" id="4Z$O9mrQJgt" role="3clF47">
+        <node concept="3cpWs8" id="4Z$O9mrTdLb" role="3cqZAp">
+          <node concept="3cpWsn" id="4Z$O9mrTdLc" role="3cpWs9">
+            <property role="TrG5h" value="holder" />
+            <node concept="3uibUv" id="4Z$O9mrTdKT" role="1tU5fm">
+              <ref role="3uigEE" node="4Z$O9mrQJw7" resolve="Typechecking.TypeCacheHolder" />
+            </node>
+            <node concept="2OqwBi" id="4Z$O9mrTdLd" role="33vP2m">
+              <node concept="37vLTw" id="4Z$O9mrTdLe" role="2Oq$k0">
+                <ref role="3cqZAo" node="4Z$O9mrTa0z" resolve="cacheHolders" />
+              </node>
+              <node concept="1z4cxt" id="4Z$O9mrTdLf" role="2OqNvi">
+                <node concept="1bVj0M" id="4Z$O9mrTdLg" role="23t8la">
+                  <node concept="3clFbS" id="4Z$O9mrTdLh" role="1bW5cS">
+                    <node concept="3clFbF" id="4Z$O9mrTdLi" role="3cqZAp">
+                      <node concept="3clFbC" id="4Z$O9mrTdLj" role="3clFbG">
+                        <node concept="37vLTw" id="4Z$O9mrTdLk" role="3uHU7w">
+                          <ref role="3cqZAo" node="4Z$O9mrQJle" resolve="unit" />
+                        </node>
+                        <node concept="2OqwBi" id="4Z$O9mrTdLl" role="3uHU7B">
+                          <node concept="37vLTw" id="4Z$O9mrTdLm" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4Z$O9mrTdLo" resolve="it" />
+                          </node>
+                          <node concept="2OwXpG" id="4Z$O9mrTdLn" role="2OqNvi">
+                            <ref role="2Oxat5" node="4Z$O9mrQJ_R" resolve="unit" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="Rh6nW" id="4Z$O9mrTdLo" role="1bW2Oz">
+                    <property role="TrG5h" value="it" />
+                    <node concept="2jxLKc" id="4Z$O9mrTdLp" role="1tU5fm" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="4Z$O9mrTei$" role="3cqZAp">
+          <node concept="3clFbS" id="4Z$O9mrTeiA" role="3clFbx">
+            <node concept="3cpWs6" id="4Z$O9mrTssv" role="3cqZAp">
+              <node concept="10Nm6u" id="4Z$O9mrTsPB" role="3cqZAk" />
+            </node>
+          </node>
+          <node concept="22lmx$" id="4Z$O9mrTr10" role="3clFbw">
+            <node concept="3fqX7Q" id="4Z$O9mrTs6e" role="3uHU7w">
+              <node concept="2OqwBi" id="4Z$O9mrTs6g" role="3fr31v">
+                <node concept="37vLTw" id="4Z$O9mrTs6h" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4Z$O9mrTdLc" resolve="holder" />
+                </node>
+                <node concept="liA8E" id="4Z$O9mrTs6i" role="2OqNvi">
+                  <ref role="37wK5l" node="4Z$O9mrQJB5" resolve="isUpToDate" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbC" id="4Z$O9mrTe_O" role="3uHU7B">
+              <node concept="37vLTw" id="4Z$O9mrTeu6" role="3uHU7B">
+                <ref role="3cqZAo" node="4Z$O9mrTdLc" resolve="holder" />
+              </node>
+              <node concept="10Nm6u" id="4Z$O9mrTeB5" role="3uHU7w" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4Z$O9mrTeNb" role="3cqZAp">
+          <node concept="2OqwBi" id="4Z$O9mrTf4e" role="3clFbG">
+            <node concept="37vLTw" id="4Z$O9mrTeN9" role="2Oq$k0">
+              <ref role="3cqZAo" node="4Z$O9mrTdLc" resolve="holder" />
+            </node>
+            <node concept="2OwXpG" id="4Z$O9mrTf9S" role="2OqNvi">
+              <ref role="2Oxat5" node="4Z$O9mrQJ$h" resolve="cache" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtbs4g" role="jymVt" />
+    <node concept="3clFb_" id="6QH_LDtbsGz" role="jymVt">
+      <property role="TrG5h" value="updateCachedTypes" />
+      <node concept="37vLTG" id="6QH_LDtbCgW" role="3clF46">
+        <property role="TrG5h" value="unit" />
+        <node concept="H_c77" id="6QH_LDtbD0m" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="6QH_LDtbza3" role="3clF46">
+        <property role="TrG5h" value="updater" />
+        <node concept="3uibUv" id="6QH_LDtb_b8" role="1tU5fm">
+          <ref role="3uigEE" node="6QH_LDtb$zi" resolve="Typechecking.TypeCacheUpdate" />
+        </node>
+      </node>
+      <node concept="3uibUv" id="6QH_LDtflOm" role="3clF45">
+        <ref role="3uigEE" node="6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+      </node>
+      <node concept="3Tm1VV" id="6QH_LDtbsGA" role="1B3o_S" />
+      <node concept="3clFbS" id="6QH_LDtbsGB" role="3clF47">
+        <node concept="3clFbF" id="6QH_LDtbMb8" role="3cqZAp">
+          <node concept="2OqwBi" id="6QH_LDtbM$i" role="3clFbG">
+            <node concept="1rXfSq" id="6QH_LDtbMb6" role="2Oq$k0">
+              <ref role="37wK5l" node="4Z$O9mrQJ13" resolve="newSession" />
+              <node concept="37vLTw" id="6QH_LDtbMsH" role="37wK5m">
+                <ref role="3cqZAo" node="6QH_LDtbCgW" resolve="unit" />
+              </node>
+            </node>
+            <node concept="liA8E" id="6QH_LDtbMFl" role="2OqNvi">
+              <ref role="37wK5l" node="7kaxm0sExBe" resolve="execute" />
+              <node concept="1bVj0M" id="6QH_LDtbMJX" role="37wK5m">
+                <node concept="3clFbS" id="6QH_LDtbMJY" role="1bW5cS">
+                  <node concept="3clFbH" id="6QH_LDtbMLK" role="3cqZAp" />
+                  <node concept="3cpWs8" id="6QH_LDtbDEY" role="3cqZAp">
+                    <node concept="3cpWsn" id="6QH_LDtbDEZ" role="3cpWs9">
+                      <property role="TrG5h" value="holder" />
+                      <node concept="3uibUv" id="6QH_LDtbDF0" role="1tU5fm">
+                        <ref role="3uigEE" node="4Z$O9mrQJw7" resolve="Typechecking.TypeCacheHolder" />
+                      </node>
+                      <node concept="2OqwBi" id="6QH_LDtbDF1" role="33vP2m">
+                        <node concept="37vLTw" id="6QH_LDtbDF2" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4Z$O9mrTa0z" resolve="cacheHolders" />
+                        </node>
+                        <node concept="1z4cxt" id="6QH_LDtbDF3" role="2OqNvi">
+                          <node concept="1bVj0M" id="6QH_LDtbDF4" role="23t8la">
+                            <node concept="3clFbS" id="6QH_LDtbDF5" role="1bW5cS">
+                              <node concept="3clFbF" id="6QH_LDtbDF6" role="3cqZAp">
+                                <node concept="3clFbC" id="6QH_LDtbDF7" role="3clFbG">
+                                  <node concept="37vLTw" id="6QH_LDtbDF8" role="3uHU7w">
+                                    <ref role="3cqZAo" node="6QH_LDtbCgW" resolve="unit" />
+                                  </node>
+                                  <node concept="2OqwBi" id="6QH_LDtbDF9" role="3uHU7B">
+                                    <node concept="37vLTw" id="6QH_LDtbDFa" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="6QH_LDtbDFc" resolve="it" />
+                                    </node>
+                                    <node concept="2OwXpG" id="6QH_LDtbDFb" role="2OqNvi">
+                                      <ref role="2Oxat5" node="4Z$O9mrQJ_R" resolve="unit" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Rh6nW" id="6QH_LDtbDFc" role="1bW2Oz">
+                              <property role="TrG5h" value="it" />
+                              <node concept="2jxLKc" id="6QH_LDtbDFd" role="1tU5fm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbJ" id="6QH_LDtbDFe" role="3cqZAp">
+                    <node concept="3clFbS" id="6QH_LDtbDFf" role="3clFbx">
+                      <node concept="3SKdUt" id="3u5wJteqwu" role="3cqZAp">
+                        <node concept="3SKdUq" id="3u5wJteqww" role="3SKWNk">
+                          <property role="3SKdUp" value="FIXME: the cache must be cleared at some point" />
+                        </node>
+                      </node>
+                      <node concept="3clFbF" id="6QH_LDtbDFg" role="3cqZAp">
+                        <node concept="37vLTI" id="6QH_LDtbDFh" role="3clFbG">
+                          <node concept="2ShNRf" id="6QH_LDtbDFi" role="37vLTx">
+                            <node concept="1pGfFk" id="6QH_LDtbDFj" role="2ShVmc">
+                              <ref role="37wK5l" node="4Z$O9mrTmmf" resolve="Typechecking.TypeCacheHolder" />
+                              <node concept="37vLTw" id="6QH_LDtbDFk" role="37wK5m">
+                                <ref role="3cqZAo" node="6QH_LDtbCgW" resolve="unit" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="6QH_LDtbDFl" role="37vLTJ">
+                            <ref role="3cqZAo" node="6QH_LDtbDEZ" resolve="holder" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbF" id="6QH_LDte1kl" role="3cqZAp">
+                        <node concept="2OqwBi" id="6QH_LDte3gr" role="3clFbG">
+                          <node concept="37vLTw" id="6QH_LDte1kj" role="2Oq$k0">
+                            <ref role="3cqZAo" node="4Z$O9mrTa0z" resolve="cacheHolders" />
+                          </node>
+                          <node concept="TSZUe" id="6QH_LDte3YJ" role="2OqNvi">
+                            <node concept="37vLTw" id="6QH_LDte4jK" role="25WWJ7">
+                              <ref role="3cqZAo" node="6QH_LDtbDEZ" resolve="holder" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbC" id="6QH_LDtbDFm" role="3clFbw">
+                      <node concept="37vLTw" id="6QH_LDtbDFn" role="3uHU7B">
+                        <ref role="3cqZAo" node="6QH_LDtbDEZ" resolve="holder" />
+                      </node>
+                      <node concept="10Nm6u" id="6QH_LDtbDFo" role="3uHU7w" />
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6QH_LDtbDD$" role="3cqZAp" />
+                  <node concept="3cpWs8" id="6QH_LDtbC5c" role="3cqZAp">
+                    <node concept="3cpWsn" id="6QH_LDtbC5d" role="3cpWs9">
+                      <property role="TrG5h" value="newCache" />
+                      <node concept="3uibUv" id="6QH_LDtbC5b" role="1tU5fm">
+                        <ref role="3uigEE" node="6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+                      </node>
+                      <node concept="2ShNRf" id="6QH_LDtbC5e" role="33vP2m">
+                        <node concept="1pGfFk" id="6QH_LDtbC5f" role="2ShVmc">
+                          <ref role="37wK5l" node="6QH_LDtcxgh" resolve="Typechecking.UpdatableTypeCache" />
+                          <node concept="37vLTw" id="6QH_LDtbC5g" role="37wK5m">
+                            <ref role="3cqZAo" node="4Z$O9mrQIM1" resolve="repository" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="6QH_LDtbADa" role="3cqZAp">
+                    <node concept="2OqwBi" id="6QH_LDtbAKn" role="3clFbG">
+                      <node concept="37vLTw" id="6QH_LDtbAD9" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6QH_LDtbza3" resolve="updater" />
+                      </node>
+                      <node concept="liA8E" id="6QH_LDtbAVc" role="2OqNvi">
+                        <ref role="37wK5l" node="6QH_LDtb_6x" resolve="doUpdate" />
+                        <node concept="37vLTw" id="6QH_LDtbC5h" role="37wK5m">
+                          <ref role="3cqZAo" node="6QH_LDtbC5d" resolve="newCache" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6QH_LDtbCeT" role="3cqZAp" />
+                  <node concept="3clFbF" id="6QH_LDtbFf5" role="3cqZAp">
+                    <node concept="2OqwBi" id="6QH_LDtbFf6" role="3clFbG">
+                      <node concept="37vLTw" id="6QH_LDtbFf7" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6QH_LDtbDEZ" resolve="holder" />
+                      </node>
+                      <node concept="liA8E" id="6QH_LDtbFf8" role="2OqNvi">
+                        <ref role="37wK5l" node="4Z$O9mrTz4F" resolve="setCache" />
+                        <node concept="37vLTw" id="6QH_LDtbG1R" role="37wK5m">
+                          <ref role="3cqZAo" node="6QH_LDtbC5d" resolve="newCache" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbF" id="6QH_LDtbFfa" role="3cqZAp">
+                    <node concept="37vLTw" id="6QH_LDtbGIu" role="3clFbG">
+                      <ref role="3cqZAo" node="6QH_LDtbC5d" resolve="newCache" />
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6QH_LDtbOyN" role="3cqZAp" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtbscb" role="jymVt" />
+    <node concept="3clFb_" id="4Z$O9mrQJ13" role="jymVt">
+      <property role="TrG5h" value="newSession" />
+      <node concept="37vLTG" id="4Z$O9mrQJ9w" role="3clF46">
+        <property role="TrG5h" value="unit" />
+        <node concept="H_c77" id="4Z$O9mrQJaW" role="1tU5fm" />
+      </node>
+      <node concept="3uibUv" id="4Z$O9mrQJ31" role="3clF45">
+        <ref role="3uigEE" node="4Z$O9mrQIzg" resolve="TypecheckingSession" />
+      </node>
+      <node concept="3Tm1VV" id="4Z$O9mrQJ16" role="1B3o_S" />
+      <node concept="3clFbS" id="4Z$O9mrQJ17" role="3clF47">
+        <node concept="3clFbF" id="4Z$O9mrTNlk" role="3cqZAp">
+          <node concept="2ShNRf" id="4Z$O9mrTNli" role="3clFbG">
+            <node concept="1pGfFk" id="4Z$O9mrTNPy" role="2ShVmc">
+              <ref role="37wK5l" node="4Z$O9mrTNJK" resolve="TypecheckingSession" />
+              <node concept="37vLTw" id="4Z$O9mrTNQM" role="37wK5m">
+                <ref role="3cqZAo" node="4Z$O9mrQJ9w" resolve="unit" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrTfe4" role="jymVt" />
+    <node concept="3HP615" id="6QH_LDtfe19" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="TrG5h" value="TypeCache" />
+      <node concept="2tJIrI" id="6QH_LDtffII" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtffJj" role="jymVt">
+        <property role="1EzhhJ" value="true" />
+        <property role="TrG5h" value="typeOf" />
+        <node concept="37vLTG" id="6QH_LDtffNl" role="3clF46">
+          <property role="TrG5h" value="node" />
+          <node concept="3Tqbb2" id="6QH_LDtffQf" role="1tU5fm" />
+        </node>
+        <node concept="3Tqbb2" id="6QH_LDtfine" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtffJm" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtffJn" role="3clF47" />
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtffK6" role="jymVt" />
+      <node concept="3Tm1VV" id="6QH_LDtfe1a" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtfd9y" role="jymVt" />
+    <node concept="3HP615" id="6QH_LDtb$zi" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="TrG5h" value="TypeCacheUpdate" />
+      <node concept="2tJIrI" id="6QH_LDtb_5J" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtb_6x" role="jymVt">
+        <property role="1EzhhJ" value="true" />
+        <property role="TrG5h" value="doUpdate" />
+        <node concept="37vLTG" id="6QH_LDtb_7x" role="3clF46">
+          <property role="TrG5h" value="typesCache" />
+          <node concept="3uibUv" id="6QH_LDtb_88" role="1tU5fm">
+            <ref role="3uigEE" node="6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+          </node>
+        </node>
+        <node concept="3cqZAl" id="6QH_LDtb_6z" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtb_6$" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtb_6_" role="3clF47" />
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtb_5O" role="jymVt" />
+      <node concept="3Tm1VV" id="6QH_LDtb$zj" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtcxVb" role="jymVt" />
+    <node concept="312cEu" id="6QH_LDtcxgf" role="jymVt">
+      <property role="TrG5h" value="UpdatableTypeCache" />
+      <node concept="2tJIrI" id="6QH_LDtcxgg" role="jymVt" />
+      <node concept="3clFbW" id="6QH_LDtcxgh" role="jymVt">
+        <node concept="37vLTG" id="6QH_LDtcxgi" role="3clF46">
+          <property role="TrG5h" value="repository" />
+          <node concept="3uibUv" id="6QH_LDtcxgj" role="1tU5fm">
+            <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+          </node>
+        </node>
+        <node concept="3cqZAl" id="6QH_LDtcxgk" role="3clF45" />
+        <node concept="3Tm6S6" id="6QH_LDtcCCx" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtcxgm" role="3clF47">
+          <node concept="3clFbF" id="6QH_LDtcxgn" role="3cqZAp">
+            <node concept="37vLTI" id="6QH_LDtcxgo" role="3clFbG">
+              <node concept="2OqwBi" id="6QH_LDtcxgp" role="37vLTx">
+                <node concept="2YIFZM" id="6QH_LDtcxgq" role="2Oq$k0">
+                  <ref role="1Pybhc" to="umch:2zU3cYqxbbL" resolve="TypesModelManager" />
+                  <ref role="37wK5l" to="umch:2zU3cYqxb_u" resolve="get" />
+                  <node concept="37vLTw" id="6QH_LDtcxgr" role="37wK5m">
+                    <ref role="3cqZAo" node="6QH_LDtcxgi" resolve="repository" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="6QH_LDtcxgs" role="2OqNvi">
+                  <ref role="37wK5l" to="umch:2zU3cYq$52j" resolve="emptyModel" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="6QH_LDtcxgt" role="37vLTJ">
+                <node concept="Xjq3P" id="6QH_LDtcxgu" role="2Oq$k0" />
+                <node concept="2OwXpG" id="6QH_LDtcxgv" role="2OqNvi">
+                  <ref role="2Oxat5" node="6QH_LDtcxh0" resolve="typesModelOwner" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtcxgw" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtcxgx" role="jymVt">
+        <property role="TrG5h" value="typesModel" />
+        <node concept="H_c77" id="6QH_LDtcxgy" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtcxgz" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtcxg$" role="3clF47">
+          <node concept="3clFbF" id="6QH_LDtcxg_" role="3cqZAp">
+            <node concept="2OqwBi" id="6QH_LDtcxgA" role="3clFbG">
+              <node concept="37vLTw" id="6QH_LDtcxgB" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtcxh0" resolve="typesModelOwner" />
+              </node>
+              <node concept="liA8E" id="6QH_LDtcxgC" role="2OqNvi">
+                <ref role="37wK5l" to="umch:2zU3cYq$9HD" resolve="model" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtcxgD" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtcxgE" role="jymVt">
+        <property role="TrG5h" value="clear" />
+        <node concept="3cqZAl" id="6QH_LDtcxgF" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtcxgG" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtcxgH" role="3clF47">
+          <node concept="3clFbF" id="6QH_LDtcxgI" role="3cqZAp">
+            <node concept="2OqwBi" id="6QH_LDtcxgJ" role="3clFbG">
+              <node concept="37vLTw" id="6QH_LDtcxgK" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtcxh0" resolve="typesModelOwner" />
+              </node>
+              <node concept="liA8E" id="6QH_LDtcxgL" role="2OqNvi">
+                <ref role="37wK5l" to="umch:2zU3cYq$$V4" resolve="clear" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="6QH_LDtcPAS" role="3cqZAp">
+            <node concept="2OqwBi" id="6QH_LDtcPXw" role="3clFbG">
+              <node concept="37vLTw" id="6QH_LDtcPAQ" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtcJq4" resolve="typeNodes" />
+              </node>
+              <node concept="1yHZxX" id="6QH_LDtcQtN" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtcCVX" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtcYUC" role="jymVt">
+        <property role="TrG5h" value="putType" />
+        <node concept="37vLTG" id="6QH_LDtd1QE" role="3clF46">
+          <property role="TrG5h" value="ref" />
+          <node concept="3uibUv" id="6QH_LDtd2q6" role="1tU5fm">
+            <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+          </node>
+        </node>
+        <node concept="37vLTG" id="6QH_LDtd2re" role="3clF46">
+          <property role="TrG5h" value="type" />
+          <node concept="3Tqbb2" id="6QH_LDtd2YG" role="1tU5fm" />
+        </node>
+        <node concept="3cqZAl" id="6QH_LDtcYUE" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtcYUF" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtcYUG" role="3clF47">
+          <node concept="3clFbF" id="6QH_LDtde1j" role="3cqZAp">
+            <node concept="37vLTI" id="6QH_LDtdeVn" role="3clFbG">
+              <node concept="37vLTw" id="6QH_LDtdeYh" role="37vLTx">
+                <ref role="3cqZAo" node="6QH_LDtd2re" resolve="type" />
+              </node>
+              <node concept="3EllGN" id="6QH_LDtdeIn" role="37vLTJ">
+                <node concept="37vLTw" id="6QH_LDtdeN7" role="3ElVtu">
+                  <ref role="3cqZAo" node="6QH_LDtd1QE" resolve="ref" />
+                </node>
+                <node concept="37vLTw" id="6QH_LDtde1i" role="3ElQJh">
+                  <ref role="3cqZAo" node="6QH_LDtcJq4" resolve="typeNodes" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtcX_k" role="jymVt" />
+      <node concept="3clFb_" id="6QH_LDtcxgN" role="jymVt">
+        <property role="TrG5h" value="typeOf" />
+        <node concept="37vLTG" id="6QH_LDtcxgO" role="3clF46">
+          <property role="TrG5h" value="node" />
+          <node concept="3Tqbb2" id="6QH_LDtcxgP" role="1tU5fm" />
+        </node>
+        <node concept="3Tqbb2" id="6QH_LDtcxgQ" role="3clF45" />
+        <node concept="3Tm1VV" id="6QH_LDtcxgR" role="1B3o_S" />
+        <node concept="3clFbS" id="6QH_LDtcxgS" role="3clF47">
+          <node concept="3cpWs8" id="3u5wJtdnrW" role="3cqZAp">
+            <node concept="3cpWsn" id="3u5wJtdnrX" role="3cpWs9">
+              <property role="TrG5h" value="reference" />
+              <node concept="3uibUv" id="3u5wJtdnrT" role="1tU5fm">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="2OqwBi" id="3u5wJtdnrY" role="33vP2m">
+                <node concept="2JrnkZ" id="3u5wJtdnrZ" role="2Oq$k0">
+                  <node concept="37vLTw" id="3u5wJtdns0" role="2JrQYb">
+                    <ref role="3cqZAo" node="6QH_LDtcxgO" resolve="node" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="3u5wJtdns1" role="2OqNvi">
+                  <ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="6QH_LDteZQM" role="3cqZAp">
+            <node concept="3EllGN" id="6QH_LDtf0fY" role="3clFbG">
+              <node concept="37vLTw" id="3u5wJtdns2" role="3ElVtu">
+                <ref role="3cqZAo" node="3u5wJtdnrX" resolve="reference" />
+              </node>
+              <node concept="37vLTw" id="6QH_LDteZQL" role="3ElQJh">
+                <ref role="3cqZAo" node="6QH_LDtcJq4" resolve="typeNodes" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="6QH_LDtfhB5" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6QH_LDtcxgZ" role="jymVt" />
+      <node concept="312cEg" id="6QH_LDtcxh0" role="jymVt">
+        <property role="TrG5h" value="typesModelOwner" />
+        <node concept="3Tm6S6" id="6QH_LDtcxh1" role="1B3o_S" />
+        <node concept="3uibUv" id="6QH_LDtcxh2" role="1tU5fm">
+          <ref role="3uigEE" to="umch:2zU3cYq$91A" resolve="TypesModelManager.ModelOwner" />
+        </node>
+      </node>
+      <node concept="312cEg" id="6QH_LDtcJq4" role="jymVt">
+        <property role="TrG5h" value="typeNodes" />
+        <node concept="3Tm6S6" id="6QH_LDtcJq5" role="1B3o_S" />
+        <node concept="3rvAFt" id="6QH_LDtcKFO" role="1tU5fm">
+          <node concept="3uibUv" id="6QH_LDtcKGq" role="3rvQeY">
+            <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+          </node>
+          <node concept="3Tqbb2" id="6QH_LDtcNj4" role="3rvSg0" />
+        </node>
+        <node concept="2ShNRf" id="6QH_LDtcNmE" role="33vP2m">
+          <node concept="3rGOSV" id="6QH_LDtcNl_" role="2ShVmc">
+            <node concept="3uibUv" id="6QH_LDtcNlA" role="3rHrn6">
+              <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+            </node>
+            <node concept="3Tqbb2" id="6QH_LDtcNlB" role="3rHtpV" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="6QH_LDtcxh4" role="1B3o_S" />
+      <node concept="3uibUv" id="6QH_LDtfgH9" role="EKbjA">
+        <ref role="3uigEE" node="6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtb$2L" role="jymVt" />
+    <node concept="312cEu" id="4Z$O9mrQJw7" role="jymVt">
+      <property role="2bfB8j" value="false" />
+      <property role="TrG5h" value="TypeCacheHolder" />
+      <node concept="2tJIrI" id="4Z$O9mrQJz2" role="jymVt" />
+      <node concept="3clFbW" id="4Z$O9mrTmmf" role="jymVt">
+        <node concept="3cqZAl" id="4Z$O9mrTmmh" role="3clF45" />
+        <node concept="3Tm6S6" id="4Z$O9mrTmmi" role="1B3o_S" />
+        <node concept="3clFbS" id="4Z$O9mrTmmj" role="3clF47">
+          <node concept="3clFbF" id="4Z$O9mrTnFZ" role="3cqZAp">
+            <node concept="37vLTI" id="4Z$O9mrTo3A" role="3clFbG">
+              <node concept="37vLTw" id="4Z$O9mrTo5O" role="37vLTx">
+                <ref role="3cqZAo" node="4Z$O9mrTnE3" resolve="unit" />
+              </node>
+              <node concept="2OqwBi" id="4Z$O9mrTnLp" role="37vLTJ">
+                <node concept="Xjq3P" id="4Z$O9mrTnFY" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4Z$O9mrTnQU" role="2OqNvi">
+                  <ref role="2Oxat5" node="4Z$O9mrQJ_R" resolve="unit" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJte83y" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJte8pU" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtdQ7a" resolve="trackChanges" />
+              <node concept="37vLTw" id="3u5wJte8tk" role="37wK5m">
+                <ref role="3cqZAo" node="4Z$O9mrTnE3" resolve="unit" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="37vLTG" id="4Z$O9mrTnE3" role="3clF46">
+          <property role="TrG5h" value="unit" />
+          <node concept="H_c77" id="4Z$O9mrTnE2" role="1tU5fm" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4Z$O9mrTm$z" role="jymVt" />
+      <node concept="3clFb_" id="4Z$O9mrQJB5" role="jymVt">
+        <property role="TrG5h" value="isUpToDate" />
+        <node concept="10P_77" id="4Z$O9mrQJCk" role="3clF45" />
+        <node concept="3Tm6S6" id="4Z$O9mrTmLZ" role="1B3o_S" />
+        <node concept="3clFbS" id="4Z$O9mrQJB9" role="3clF47">
+          <node concept="3clFbF" id="3u5wJtdJvE" role="3cqZAp">
+            <node concept="37vLTw" id="3u5wJtdJvD" role="3clFbG">
+              <ref role="3cqZAo" node="3u5wJtdJ0w" resolve="upToDate" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4Z$O9mrTyan" role="jymVt" />
+      <node concept="3clFb_" id="4Z$O9mrTz4F" role="jymVt">
+        <property role="TrG5h" value="setCache" />
+        <node concept="37vLTG" id="4Z$O9mrT_Xw" role="3clF46">
+          <property role="TrG5h" value="newCache" />
+          <node concept="3uibUv" id="4Z$O9mrTAhH" role="1tU5fm">
+            <ref role="3uigEE" node="6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+          </node>
+        </node>
+        <node concept="3cqZAl" id="4Z$O9mrTz4I" role="3clF45" />
+        <node concept="3Tm6S6" id="4Z$O9mrTz4J" role="1B3o_S" />
+        <node concept="3clFbS" id="4Z$O9mrTz4K" role="3clF47">
+          <node concept="3clFbF" id="3u5wJtf8oo" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJtf8om" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtfdzL" resolve="clearCache" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJtf$kL" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJtf$kJ" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtfhlw" resolve="clearChanges" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="4Z$O9mrT_4b" role="3cqZAp">
+            <node concept="37vLTI" id="4Z$O9mrT_ua" role="3clFbG">
+              <node concept="37vLTw" id="4Z$O9mrTAly" role="37vLTx">
+                <ref role="3cqZAo" node="4Z$O9mrT_Xw" resolve="newCache" />
+              </node>
+              <node concept="2OqwBi" id="4Z$O9mrT_c1" role="37vLTJ">
+                <node concept="Xjq3P" id="4Z$O9mrT_49" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4Z$O9mrT_it" role="2OqNvi">
+                  <ref role="2Oxat5" node="4Z$O9mrQJ$h" resolve="cache" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4Z$O9mrQJI7" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJtfjHf" role="jymVt">
+        <property role="TrG5h" value="clearAll" />
+        <node concept="3cqZAl" id="3u5wJtfjHh" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJtfjHi" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJtfjHj" role="3clF47">
+          <node concept="3clFbF" id="3u5wJtf$1F" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJtf$1E" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtfdzL" resolve="clearCache" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJtf$5K" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJtf$5I" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtfhlw" resolve="clearChanges" />
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJtf$a7" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJtf$a5" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJtf9jK" resolve="clearUnit" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtfxBn" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJtfdzL" role="jymVt">
+        <property role="TrG5h" value="clearCache" />
+        <node concept="3cqZAl" id="3u5wJtfdzN" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJtfdzO" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJtfdzP" role="3clF47">
+          <node concept="3clFbJ" id="3u5wJtf6Zo" role="3cqZAp">
+            <node concept="3clFbS" id="3u5wJtf6Zq" role="3clFbx">
+              <node concept="3clFbF" id="4Z$O9mrSGzX" role="3cqZAp">
+                <node concept="2OqwBi" id="4Z$O9mrSGET" role="3clFbG">
+                  <node concept="37vLTw" id="4Z$O9mrSGzW" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4Z$O9mrQJ$h" resolve="cache" />
+                  </node>
+                  <node concept="liA8E" id="4Z$O9mrT9b$" role="2OqNvi">
+                    <ref role="37wK5l" node="6QH_LDtcxgE" resolve="clear" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbF" id="4Z$O9mrT$1w" role="3cqZAp">
+                <node concept="37vLTI" id="4Z$O9mrT$s8" role="3clFbG">
+                  <node concept="10Nm6u" id="4Z$O9mrT$uW" role="37vLTx" />
+                  <node concept="2OqwBi" id="4Z$O9mrT$a3" role="37vLTJ">
+                    <node concept="Xjq3P" id="4Z$O9mrT$1u" role="2Oq$k0" />
+                    <node concept="2OwXpG" id="4Z$O9mrT$gv" role="2OqNvi">
+                      <ref role="2Oxat5" node="4Z$O9mrQJ$h" resolve="cache" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3y3z36" id="3u5wJtf7GF" role="3clFbw">
+              <node concept="10Nm6u" id="3u5wJtf7HU" role="3uHU7w" />
+              <node concept="37vLTw" id="3u5wJtf7u1" role="3uHU7B">
+                <ref role="3cqZAo" node="4Z$O9mrQJ$h" resolve="cache" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtfgz8" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJtfhlw" role="jymVt">
+        <property role="TrG5h" value="clearChanges" />
+        <node concept="3cqZAl" id="3u5wJtfhly" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJtfhlz" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJtfhl$" role="3clF47">
+          <node concept="3clFbF" id="3u5wJtfr4m" role="3cqZAp">
+            <node concept="37vLTI" id="3u5wJtfrpa" role="3clFbG">
+              <node concept="3clFbT" id="3u5wJtfrvm" role="37vLTx">
+                <property role="3clFbU" value="true" />
+              </node>
+              <node concept="37vLTw" id="3u5wJtfr4k" role="37vLTJ">
+                <ref role="3cqZAo" node="3u5wJtdJ0w" resolve="upToDate" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtfq9$" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJtf9jK" role="jymVt">
+        <property role="TrG5h" value="clearUnit" />
+        <node concept="3cqZAl" id="3u5wJtf9jM" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJtf9jN" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJtf9jO" role="3clF47">
+          <node concept="3clFbJ" id="3u5wJtfqSg" role="3cqZAp">
+            <node concept="3clFbS" id="3u5wJtfqSh" role="3clFbx">
+              <node concept="3clFbF" id="3u5wJtfqSi" role="3cqZAp">
+                <node concept="1rXfSq" id="3u5wJtfqSj" role="3clFbG">
+                  <ref role="37wK5l" node="3u5wJte1ac" resolve="untrackChanges" />
+                  <node concept="37vLTw" id="3u5wJtfqSk" role="37wK5m">
+                    <ref role="3cqZAo" node="4Z$O9mrQJ_R" resolve="unit" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1Wc70l" id="3u5wJtfqSl" role="3clFbw">
+              <node concept="3y3z36" id="3u5wJtfqSm" role="3uHU7w">
+                <node concept="10Nm6u" id="3u5wJtfqSn" role="3uHU7w" />
+                <node concept="37vLTw" id="3u5wJtfqSo" role="3uHU7B">
+                  <ref role="3cqZAo" node="3u5wJtdXJF" resolve="changesTracker" />
+                </node>
+              </node>
+              <node concept="3y3z36" id="3u5wJtfqSp" role="3uHU7B">
+                <node concept="37vLTw" id="3u5wJtfqSq" role="3uHU7B">
+                  <ref role="3cqZAo" node="4Z$O9mrQJ_R" resolve="unit" />
+                </node>
+                <node concept="10Nm6u" id="3u5wJtfqSr" role="3uHU7w" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4Z$O9mrT9o8" role="3cqZAp">
+            <node concept="37vLTI" id="4Z$O9mrT9Mm" role="3clFbG">
+              <node concept="10Nm6u" id="4Z$O9mrT9Pc" role="37vLTx" />
+              <node concept="2OqwBi" id="4Z$O9mrT9vn" role="37vLTJ">
+                <node concept="Xjq3P" id="4Z$O9mrT9o6" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4Z$O9mrT9_J" role="2OqNvi">
+                  <ref role="2Oxat5" node="4Z$O9mrQJ_R" resolve="unit" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtfcLz" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJteF$I" role="jymVt">
+        <property role="TrG5h" value="invalidate" />
+        <node concept="3Tm6S6" id="3u5wJteF$J" role="1B3o_S" />
+        <node concept="3cqZAl" id="3u5wJteF$K" role="3clF45" />
+        <node concept="37vLTG" id="3u5wJteFyT" role="3clF46">
+          <property role="TrG5h" value="model" />
+          <node concept="3uibUv" id="3u5wJteFyU" role="1tU5fm">
+            <ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="3u5wJteFyL" role="3clF47">
+          <node concept="3clFbF" id="3u5wJteFyM" role="3cqZAp">
+            <node concept="37vLTI" id="3u5wJteFyN" role="3clFbG">
+              <node concept="3clFbT" id="3u5wJteFyO" role="37vLTx">
+                <property role="3clFbU" value="false" />
+              </node>
+              <node concept="37vLTw" id="3u5wJteFyP" role="37vLTJ">
+                <ref role="3cqZAo" node="3u5wJtdJ0w" resolve="upToDate" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJteFyQ" role="3cqZAp">
+            <node concept="1rXfSq" id="3u5wJteFyR" role="3clFbG">
+              <ref role="37wK5l" node="3u5wJte1ac" resolve="untrackChanges" />
+              <node concept="37vLTw" id="3u5wJteF$F" role="37wK5m">
+                <ref role="3cqZAo" node="3u5wJteFyT" resolve="model" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtdPBv" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJtdQ7a" role="jymVt">
+        <property role="TrG5h" value="trackChanges" />
+        <node concept="37vLTG" id="3u5wJtdRvH" role="3clF46">
+          <property role="TrG5h" value="unit" />
+          <node concept="H_c77" id="3u5wJtdRXN" role="1tU5fm" />
+        </node>
+        <node concept="3cqZAl" id="3u5wJtdQ7c" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJtdQ7d" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJtdQ7e" role="3clF47">
+          <node concept="3clFbF" id="3u5wJteamL" role="3cqZAp">
+            <node concept="37vLTI" id="3u5wJtebaN" role="3clFbG">
+              <node concept="2OqwBi" id="3u5wJtea$n" role="37vLTJ">
+                <node concept="Xjq3P" id="3u5wJteamJ" role="2Oq$k0" />
+                <node concept="2OwXpG" id="3u5wJteaPO" role="2OqNvi">
+                  <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="3u5wJtebs7" role="37vLTx">
+                <node concept="HV5vD" id="3u5wJtebs8" role="2ShVmc">
+                  <ref role="HV5vE" node="3u5wJtdJxb" resolve="Typechecking.TypeCacheHolder.ChangesTracker" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJtdS0M" role="3cqZAp">
+            <node concept="2OqwBi" id="3u5wJtdSDo" role="3clFbG">
+              <node concept="2JrnkZ" id="3u5wJtdSzt" role="2Oq$k0">
+                <node concept="37vLTw" id="3u5wJtdS0L" role="2JrQYb">
+                  <ref role="3cqZAo" node="3u5wJtdRvH" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="3u5wJtdSJh" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.addChangeListener(org.jetbrains.mps.openapi.model.SNodeChangeListener):void" resolve="addChangeListener" />
+                <node concept="2OqwBi" id="3u5wJtdXJN" role="37wK5m">
+                  <node concept="Xjq3P" id="3u5wJtdXJO" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="3u5wJtdXJP" role="2OqNvi">
+                    <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJte0SB" role="3cqZAp">
+            <node concept="2OqwBi" id="3u5wJte0SC" role="3clFbG">
+              <node concept="2JrnkZ" id="3u5wJte0SD" role="2Oq$k0">
+                <node concept="37vLTw" id="3u5wJte0SE" role="2JrQYb">
+                  <ref role="3cqZAo" node="3u5wJtdRvH" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="3u5wJte0SF" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.addModelListener(org.jetbrains.mps.openapi.model.SModelListener):void" resolve="addModelListener" />
+                <node concept="2OqwBi" id="3u5wJte0SG" role="37wK5m">
+                  <node concept="Xjq3P" id="3u5wJte0SH" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="3u5wJte0SI" role="2OqNvi">
+                    <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJte1Sx" role="jymVt" />
+      <node concept="3clFb_" id="3u5wJte1ac" role="jymVt">
+        <property role="TrG5h" value="untrackChanges" />
+        <node concept="37vLTG" id="3u5wJte1ad" role="3clF46">
+          <property role="TrG5h" value="unit" />
+          <node concept="H_c77" id="3u5wJte1ae" role="1tU5fm" />
+        </node>
+        <node concept="3cqZAl" id="3u5wJte1af" role="3clF45" />
+        <node concept="3Tm6S6" id="3u5wJte1ag" role="1B3o_S" />
+        <node concept="3clFbS" id="3u5wJte1ah" role="3clF47">
+          <node concept="3clFbF" id="3u5wJte1ai" role="3cqZAp">
+            <node concept="2OqwBi" id="3u5wJte1aj" role="3clFbG">
+              <node concept="2JrnkZ" id="3u5wJte1ak" role="2Oq$k0">
+                <node concept="37vLTw" id="3u5wJte1al" role="2JrQYb">
+                  <ref role="3cqZAo" node="3u5wJte1ad" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="3u5wJte1am" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.removeChangeListener(org.jetbrains.mps.openapi.model.SNodeChangeListener):void" resolve="removeChangeListener" />
+                <node concept="2OqwBi" id="3u5wJte1an" role="37wK5m">
+                  <node concept="Xjq3P" id="3u5wJte1ao" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="3u5wJte1ap" role="2OqNvi">
+                    <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJte1aq" role="3cqZAp">
+            <node concept="2OqwBi" id="3u5wJte1ar" role="3clFbG">
+              <node concept="2JrnkZ" id="3u5wJte1as" role="2Oq$k0">
+                <node concept="37vLTw" id="3u5wJte1at" role="2JrQYb">
+                  <ref role="3cqZAo" node="3u5wJte1ad" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="3u5wJte1au" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.removeModelListener(org.jetbrains.mps.openapi.model.SModelListener):void" resolve="removeModelListener" />
+                <node concept="2OqwBi" id="3u5wJte1av" role="37wK5m">
+                  <node concept="Xjq3P" id="3u5wJte1aw" role="2Oq$k0" />
+                  <node concept="2OwXpG" id="3u5wJte1ax" role="2OqNvi">
+                    <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3u5wJtebVE" role="3cqZAp">
+            <node concept="37vLTI" id="3u5wJtecK5" role="3clFbG">
+              <node concept="10Nm6u" id="3u5wJtecSP" role="37vLTx" />
+              <node concept="2OqwBi" id="3u5wJtec9g" role="37vLTJ">
+                <node concept="Xjq3P" id="3u5wJtebVC" role="2Oq$k0" />
+                <node concept="2OwXpG" id="3u5wJtecqX" role="2OqNvi">
+                  <ref role="2Oxat5" node="3u5wJtdXJF" resolve="changesTracker" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4Z$O9mrQJHh" role="jymVt" />
+      <node concept="312cEu" id="3u5wJtdJxb" role="jymVt">
+        <property role="2bfB8j" value="true" />
+        <property role="TrG5h" value="ChangesTracker" />
+        <node concept="2tJIrI" id="3u5wJtdK2h" role="jymVt" />
+        <node concept="3clFb_" id="3u5wJtdOBE" role="jymVt">
+          <property role="1EzhhJ" value="false" />
+          <property role="TrG5h" value="modelReplaced" />
+          <property role="DiZV1" value="false" />
+          <property role="od$2w" value="false" />
+          <node concept="3Tm1VV" id="3u5wJtdOBF" role="1B3o_S" />
+          <node concept="3cqZAl" id="3u5wJtdOBH" role="3clF45" />
+          <node concept="37vLTG" id="3u5wJtdOBI" role="3clF46">
+            <property role="TrG5h" value="model" />
+            <node concept="3uibUv" id="3u5wJtdOBJ" role="1tU5fm">
+              <ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="3u5wJtdOBK" role="3clF47">
+            <node concept="3clFbF" id="3u5wJteF$N" role="3cqZAp">
+              <node concept="1rXfSq" id="3u5wJteF$M" role="3clFbG">
+                <ref role="37wK5l" node="3u5wJteF$I" resolve="invalidate" />
+                <node concept="37vLTw" id="3u5wJteF$L" role="37wK5m">
+                  <ref role="3cqZAo" node="3u5wJtdOBI" resolve="model" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2AHcQZ" id="3u5wJtdOBL" role="2AJF6D">
+            <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+          </node>
+        </node>
+        <node concept="3clFb_" id="3u5wJtdK2v" role="jymVt">
+          <property role="1EzhhJ" value="false" />
+          <property role="TrG5h" value="propertyChanged" />
+          <property role="DiZV1" value="false" />
+          <property role="od$2w" value="false" />
+          <node concept="3Tm1VV" id="3u5wJtdK2w" role="1B3o_S" />
+          <node concept="3cqZAl" id="3u5wJtdK2y" role="3clF45" />
+          <node concept="37vLTG" id="3u5wJtdK2z" role="3clF46">
+            <property role="TrG5h" value="event" />
+            <node concept="3uibUv" id="3u5wJtdK2$" role="1tU5fm">
+              <ref role="3uigEE" to="cmfw:~SPropertyChangeEvent" resolve="SPropertyChangeEvent" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="3u5wJtdK2A" role="3clF47">
+            <node concept="3clFbF" id="3u5wJteF$S" role="3cqZAp">
+              <node concept="1rXfSq" id="3u5wJteF$R" role="3clFbG">
+                <ref role="37wK5l" node="3u5wJteF$I" resolve="invalidate" />
+                <node concept="2OqwBi" id="3u5wJteF$O" role="37wK5m">
+                  <node concept="37vLTw" id="3u5wJteF$P" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3u5wJtdK2z" resolve="event" />
+                  </node>
+                  <node concept="liA8E" id="3u5wJteF$Q" role="2OqNvi">
+                    <ref role="37wK5l" to="cmfw:~SPropertyChangeEvent.getModel():org.jetbrains.mps.openapi.model.SModel" resolve="getModel" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2AHcQZ" id="3u5wJtdK2B" role="2AJF6D">
+            <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+          </node>
+        </node>
+        <node concept="3clFb_" id="3u5wJtdK2F" role="jymVt">
+          <property role="1EzhhJ" value="false" />
+          <property role="TrG5h" value="referenceChanged" />
+          <property role="DiZV1" value="false" />
+          <property role="od$2w" value="false" />
+          <node concept="3Tm1VV" id="3u5wJtdK2G" role="1B3o_S" />
+          <node concept="3cqZAl" id="3u5wJtdK2I" role="3clF45" />
+          <node concept="37vLTG" id="3u5wJtdK2J" role="3clF46">
+            <property role="TrG5h" value="event" />
+            <node concept="3uibUv" id="3u5wJtdK2K" role="1tU5fm">
+              <ref role="3uigEE" to="cmfw:~SReferenceChangeEvent" resolve="SReferenceChangeEvent" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="3u5wJtdK2M" role="3clF47">
+            <node concept="3clFbF" id="3u5wJteF$X" role="3cqZAp">
+              <node concept="1rXfSq" id="3u5wJteF$W" role="3clFbG">
+                <ref role="37wK5l" node="3u5wJteF$I" resolve="invalidate" />
+                <node concept="2OqwBi" id="3u5wJteF$T" role="37wK5m">
+                  <node concept="37vLTw" id="3u5wJteF$U" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3u5wJtdK2J" resolve="event" />
+                  </node>
+                  <node concept="liA8E" id="3u5wJteF$V" role="2OqNvi">
+                    <ref role="37wK5l" to="cmfw:~SReferenceChangeEvent.getModel():org.jetbrains.mps.openapi.model.SModel" resolve="getModel" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2AHcQZ" id="3u5wJtdK2N" role="2AJF6D">
+            <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+          </node>
+        </node>
+        <node concept="3clFb_" id="3u5wJtdK2R" role="jymVt">
+          <property role="1EzhhJ" value="false" />
+          <property role="TrG5h" value="nodeAdded" />
+          <property role="DiZV1" value="false" />
+          <property role="od$2w" value="false" />
+          <node concept="3Tm1VV" id="3u5wJtdK2S" role="1B3o_S" />
+          <node concept="3cqZAl" id="3u5wJtdK2U" role="3clF45" />
+          <node concept="37vLTG" id="3u5wJtdK2V" role="3clF46">
+            <property role="TrG5h" value="event" />
+            <node concept="3uibUv" id="3u5wJtdK2W" role="1tU5fm">
+              <ref role="3uigEE" to="cmfw:~SNodeAddEvent" resolve="SNodeAddEvent" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="3u5wJtdK2Y" role="3clF47">
+            <node concept="3clFbF" id="3u5wJteF_2" role="3cqZAp">
+              <node concept="1rXfSq" id="3u5wJteF_1" role="3clFbG">
+                <ref role="37wK5l" node="3u5wJteF$I" resolve="invalidate" />
+                <node concept="2OqwBi" id="3u5wJteF$Y" role="37wK5m">
+                  <node concept="37vLTw" id="3u5wJteF$Z" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3u5wJtdK2V" resolve="event" />
+                  </node>
+                  <node concept="liA8E" id="3u5wJteF_0" role="2OqNvi">
+                    <ref role="37wK5l" to="cmfw:~SNodeAddEvent.getModel():org.jetbrains.mps.openapi.model.SModel" resolve="getModel" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2AHcQZ" id="3u5wJtdK2Z" role="2AJF6D">
+            <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+          </node>
+        </node>
+        <node concept="3clFb_" id="3u5wJtdK33" role="jymVt">
+          <property role="1EzhhJ" value="false" />
+          <property role="TrG5h" value="nodeRemoved" />
+          <property role="DiZV1" value="false" />
+          <property role="od$2w" value="false" />
+          <node concept="3Tm1VV" id="3u5wJtdK34" role="1B3o_S" />
+          <node concept="3cqZAl" id="3u5wJtdK36" role="3clF45" />
+          <node concept="37vLTG" id="3u5wJtdK37" role="3clF46">
+            <property role="TrG5h" value="event" />
+            <node concept="3uibUv" id="3u5wJtdK38" role="1tU5fm">
+              <ref role="3uigEE" to="cmfw:~SNodeRemoveEvent" resolve="SNodeRemoveEvent" />
+            </node>
+          </node>
+          <node concept="3clFbS" id="3u5wJtdK3a" role="3clF47">
+            <node concept="3clFbF" id="3u5wJteF_7" role="3cqZAp">
+              <node concept="1rXfSq" id="3u5wJteF_6" role="3clFbG">
+                <ref role="37wK5l" node="3u5wJteF$I" resolve="invalidate" />
+                <node concept="2OqwBi" id="3u5wJteF_3" role="37wK5m">
+                  <node concept="37vLTw" id="3u5wJteF_4" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3u5wJtdK37" resolve="event" />
+                  </node>
+                  <node concept="liA8E" id="3u5wJteF_5" role="2OqNvi">
+                    <ref role="37wK5l" to="cmfw:~SNodeRemoveEvent.getModel():org.jetbrains.mps.openapi.model.SModel" resolve="getModel" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2AHcQZ" id="3u5wJtdK3b" role="2AJF6D">
+            <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+          </node>
+        </node>
+        <node concept="2tJIrI" id="3u5wJtdPeJ" role="jymVt" />
+        <node concept="3Tm1VV" id="3u5wJtdJxc" role="1B3o_S" />
+        <node concept="3uibUv" id="3u5wJtdM0N" role="EKbjA">
+          <ref role="3uigEE" to="mhbf:~SNodeChangeListener" resolve="SNodeChangeListener" />
+        </node>
+        <node concept="3uibUv" id="3u5wJtdOqg" role="1zkMxy">
+          <ref role="3uigEE" to="mhbf:~SModelListenerBase" resolve="SModelListenerBase" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="3u5wJtdI$n" role="jymVt" />
+      <node concept="312cEg" id="3u5wJtdXJF" role="jymVt">
+        <property role="TrG5h" value="changesTracker" />
+        <node concept="3Tm6S6" id="3u5wJtdXJB" role="1B3o_S" />
+        <node concept="3uibUv" id="3u5wJtdXJC" role="1tU5fm">
+          <ref role="3uigEE" node="3u5wJtdJxb" resolve="Typechecking.TypeCacheHolder.ChangesTracker" />
+        </node>
+      </node>
+      <node concept="312cEg" id="3u5wJtdJ0w" role="jymVt">
+        <property role="TrG5h" value="upToDate" />
+        <node concept="3Tm6S6" id="3u5wJtdJ0x" role="1B3o_S" />
+        <node concept="10P_77" id="3u5wJtdJrE" role="1tU5fm" />
+        <node concept="3clFbT" id="3u5wJtdJtc" role="33vP2m">
+          <property role="3clFbU" value="true" />
+        </node>
+      </node>
+      <node concept="312cEg" id="4Z$O9mrQJ_R" role="jymVt">
+        <property role="TrG5h" value="unit" />
+        <node concept="3Tm6S6" id="4Z$O9mrQJ_S" role="1B3o_S" />
+        <node concept="H_c77" id="4Z$O9mrQJAt" role="1tU5fm" />
+      </node>
+      <node concept="312cEg" id="4Z$O9mrQJ$h" role="jymVt">
+        <property role="TrG5h" value="cache" />
+        <node concept="3Tm6S6" id="4Z$O9mrQJ$i" role="1B3o_S" />
+        <node concept="3uibUv" id="4Z$O9mrQJ$W" role="1tU5fm">
+          <ref role="3uigEE" node="6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4Z$O9mrQJzI" role="jymVt" />
+      <node concept="3Tm6S6" id="4Z$O9mrQJy9" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrQJqd" role="jymVt" />
+    <node concept="3Tm1VV" id="4Z$O9mrQIzZ" role="1B3o_S" />
+    <node concept="312cEg" id="4Z$O9mrQIM1" role="jymVt">
+      <property role="TrG5h" value="repository" />
+      <node concept="3Tm6S6" id="4Z$O9mrQIM2" role="1B3o_S" />
+      <node concept="3uibUv" id="4Z$O9mrQIM4" role="1tU5fm">
+        <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+      </node>
+    </node>
+    <node concept="312cEg" id="4Z$O9mrTa0z" role="jymVt">
+      <property role="TrG5h" value="cacheHolders" />
+      <node concept="3Tm6S6" id="4Z$O9mrTa0$" role="1B3o_S" />
+      <node concept="_YKpA" id="4Z$O9mrTa4a" role="1tU5fm">
+        <node concept="3uibUv" id="4Z$O9mrTa4y" role="_ZDj9">
+          <ref role="3uigEE" node="4Z$O9mrQJw7" resolve="Typechecking.TypeCacheHolder" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="4Z$O9mrTa74" role="33vP2m">
+        <node concept="Tc6Ow" id="4Z$O9mrTa6m" role="2ShVmc">
+          <node concept="3uibUv" id="4Z$O9mrTa6n" role="HW$YZ">
+            <ref role="3uigEE" node="4Z$O9mrQJw7" resolve="Typechecking.TypeCacheHolder" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4Z$O9mrQIUb" role="jymVt" />
+  </node>
+  <node concept="312cEu" id="7kaxm0sEy3e">
+    <property role="TrG5h" value="TypecheckingFacade" />
+    <node concept="2tJIrI" id="7kaxm0sEy44" role="jymVt" />
+    <node concept="Wx3nA" id="7kaxm0sEy6N" role="jymVt">
+      <property role="TrG5h" value="INSTANCE" />
+      <node concept="3Tm6S6" id="7kaxm0sEy6P" role="1B3o_S" />
+      <node concept="3uibUv" id="7kaxm0sEy7l" role="1tU5fm">
+        <ref role="3uigEE" node="7kaxm0sEy3e" resolve="TypecheckingFacade" />
+      </node>
+      <node concept="2ShNRf" id="7kaxm0sEy8e" role="33vP2m">
+        <node concept="1pGfFk" id="7kaxm0sEBD8" role="2ShVmc">
+          <ref role="37wK5l" node="7kaxm0sEBCn" resolve="TypecheckingFacade" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7kaxm0sEy6p" role="jymVt" />
+    <node concept="2YIFZL" id="7kaxm0sEy4A" role="jymVt">
+      <property role="TrG5h" value="getInstance" />
+      <node concept="3uibUv" id="7kaxm0sEy59" role="3clF45">
+        <ref role="3uigEE" node="7kaxm0sEy3e" resolve="TypecheckingFacade" />
+      </node>
+      <node concept="3Tm1VV" id="7kaxm0sEy4D" role="1B3o_S" />
+      <node concept="3clFbS" id="7kaxm0sEy4E" role="3clF47">
+        <node concept="3clFbF" id="7kaxm0sEBFt" role="3cqZAp">
+          <node concept="37vLTw" id="7kaxm0sEBFs" role="3clFbG">
+            <ref role="3cqZAo" node="7kaxm0sEy6N" resolve="INSTANCE" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="7kaxm0sEBBr" role="jymVt" />
+    <node concept="3clFbW" id="7kaxm0sEBCn" role="jymVt">
+      <node concept="3cqZAl" id="7kaxm0sEBCp" role="3clF45" />
+      <node concept="3Tm6S6" id="7kaxm0sEBD_" role="1B3o_S" />
+      <node concept="3clFbS" id="7kaxm0sEBCr" role="3clF47" />
+    </node>
+    <node concept="2tJIrI" id="7kaxm0sEy4j" role="jymVt" />
+    <node concept="3clFb_" id="7kaxm0sEBHs" role="jymVt">
+      <property role="TrG5h" value="typeOf" />
+      <node concept="37vLTG" id="7kaxm0sEBL9" role="3clF46">
+        <property role="TrG5h" value="node" />
+        <node concept="3Tqbb2" id="7kaxm0sEBLY" role="1tU5fm" />
+      </node>
+      <node concept="3Tqbb2" id="7kaxm0sEBIE" role="3clF45" />
+      <node concept="3Tm1VV" id="7kaxm0sEBHv" role="1B3o_S" />
+      <node concept="3clFbS" id="7kaxm0sEBHw" role="3clF47">
+        <node concept="3clFbJ" id="6$7vuu2xMI_" role="3cqZAp">
+          <node concept="3clFbS" id="6$7vuu2xMIB" role="3clFbx">
+            <node concept="3cpWs6" id="6$7vuu2xNIY" role="3cqZAp">
+              <node concept="10Nm6u" id="6$7vuu2xOx_" role="3cqZAk" />
+            </node>
+          </node>
+          <node concept="3clFbC" id="6$7vuu2xNGJ" role="3clFbw">
+            <node concept="10Nm6u" id="6$7vuu2xNHk" role="3uHU7w" />
+            <node concept="37vLTw" id="6$7vuu2xN$Q" role="3uHU7B">
+              <ref role="3cqZAo" node="7kaxm0sEBL9" resolve="node" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2xPjG" role="3cqZAp" />
+        <node concept="3cpWs8" id="7kaxm0sEC4e" role="3cqZAp">
+          <node concept="3cpWsn" id="7kaxm0sEC4f" role="3cpWs9">
+            <property role="TrG5h" value="unit" />
+            <node concept="H_c77" id="7kaxm0sEC4c" role="1tU5fm" />
+            <node concept="2OqwBi" id="7kaxm0sEC4g" role="33vP2m">
+              <node concept="37vLTw" id="7kaxm0sEC4h" role="2Oq$k0">
+                <ref role="3cqZAo" node="7kaxm0sEBL9" resolve="node" />
+              </node>
+              <node concept="I4A8Y" id="7kaxm0sEC4i" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6$7vuu2xT2Q" role="3cqZAp">
+          <node concept="3SKdUq" id="6$7vuu2xT2S" role="3SKWNk">
+            <property role="3SKdUp" value="typechecking is relevant to a model" />
+          </node>
+        </node>
+        <node concept="3clFbJ" id="6$7vuu2xQZS" role="3cqZAp">
+          <node concept="3clFbS" id="6$7vuu2xQZU" role="3clFbx">
+            <node concept="3cpWs6" id="6$7vuu2xSbv" role="3cqZAp">
+              <node concept="10Nm6u" id="6$7vuu2xSc5" role="3cqZAk" />
+            </node>
+          </node>
+          <node concept="3clFbC" id="6$7vuu2xS95" role="3clFbw">
+            <node concept="10Nm6u" id="6$7vuu2xSat" role="3uHU7w" />
+            <node concept="37vLTw" id="6$7vuu2xRQo" role="3uHU7B">
+              <ref role="3cqZAo" node="7kaxm0sEC4f" resolve="unit" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6$7vuu2wPaE" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2wPaF" role="3cpWs9">
+            <property role="TrG5h" value="repository" />
+            <node concept="3uibUv" id="6$7vuu2wPay" role="1tU5fm">
+              <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+            </node>
+            <node concept="2OqwBi" id="6$7vuu2wPaG" role="33vP2m">
+              <node concept="2JrnkZ" id="6$7vuu2wPaH" role="2Oq$k0">
+                <node concept="37vLTw" id="6$7vuu2wPaI" role="2JrQYb">
+                  <ref role="3cqZAo" node="7kaxm0sEC4f" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="6$7vuu2wPaJ" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6$7vuu2wYmV" role="3cqZAp">
+          <node concept="3SKdUq" id="6$7vuu2wYmX" role="3SKWNk">
+            <property role="3SKdUp" value="can't run typechecking on a detached model" />
+          </node>
+        </node>
+        <node concept="3clFbJ" id="6$7vuu2wUZ$" role="3cqZAp">
+          <node concept="3clFbS" id="6$7vuu2wUZA" role="3clFbx">
+            <node concept="3cpWs6" id="6$7vuu2wWOZ" role="3cqZAp">
+              <node concept="10Nm6u" id="6$7vuu2wXzD" role="3cqZAk" />
+            </node>
+          </node>
+          <node concept="3clFbC" id="6$7vuu2wVXR" role="3clFbw">
+            <node concept="10Nm6u" id="6$7vuu2wVYs" role="3uHU7w" />
+            <node concept="37vLTw" id="6$7vuu2wVPQ" role="3uHU7B">
+              <ref role="3cqZAo" node="6$7vuu2wPaF" resolve="repository" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="3u5wJtaWKY" role="3cqZAp">
+          <node concept="3SKdUq" id="3u5wJtaWL0" role="3SKWNk">
+            <property role="3SKdUp" value="ensure we can read the model" />
+          </node>
+        </node>
+        <node concept="3clFbF" id="3u5wJtaUx5" role="3cqZAp">
+          <node concept="2OqwBi" id="3u5wJtaVF_" role="3clFbG">
+            <node concept="2OqwBi" id="3u5wJtaVuj" role="2Oq$k0">
+              <node concept="37vLTw" id="3u5wJtaUx3" role="2Oq$k0">
+                <ref role="3cqZAo" node="6$7vuu2wPaF" resolve="repository" />
+              </node>
+              <node concept="liA8E" id="3u5wJtaV$y" role="2OqNvi">
+                <ref role="37wK5l" to="lui2:~SRepository.getModelAccess():org.jetbrains.mps.openapi.module.ModelAccess" resolve="getModelAccess" />
+              </node>
+            </node>
+            <node concept="liA8E" id="3u5wJtaVQz" role="2OqNvi">
+              <ref role="37wK5l" to="lui2:~ModelAccess.checkReadAccess():void" resolve="checkReadAccess" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2wVZh" role="3cqZAp" />
+        <node concept="3cpWs8" id="7kaxm0sECXD" role="3cqZAp">
+          <node concept="3cpWsn" id="7kaxm0sECXE" role="3cpWs9">
+            <property role="TrG5h" value="tc" />
+            <node concept="3uibUv" id="7kaxm0sECXA" role="1tU5fm">
+              <ref role="3uigEE" node="4Z$O9mrQIzY" resolve="Typechecking" />
+            </node>
+            <node concept="2YIFZM" id="7kaxm0sECXF" role="33vP2m">
+              <ref role="37wK5l" node="4Z$O9mrQIG1" resolve="get" />
+              <ref role="1Pybhc" node="4Z$O9mrQIzY" resolve="Typechecking" />
+              <node concept="37vLTw" id="7kaxm0sECXG" role="37wK5m">
+                <ref role="3cqZAo" node="6$7vuu2wPaF" resolve="repository" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="7kaxm0sEDgq" role="3cqZAp">
+          <node concept="3cpWsn" id="7kaxm0sEDgr" role="3cpWs9">
+            <property role="TrG5h" value="typesCache" />
+            <node concept="3uibUv" id="6QH_LDtf$gm" role="1tU5fm">
+              <ref role="3uigEE" node="6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+            </node>
+            <node concept="2OqwBi" id="7kaxm0sEDgs" role="33vP2m">
+              <node concept="37vLTw" id="7kaxm0sEDgt" role="2Oq$k0">
+                <ref role="3cqZAo" node="7kaxm0sECXE" resolve="tc" />
+              </node>
+              <node concept="liA8E" id="7kaxm0sEDgu" role="2OqNvi">
+                <ref role="37wK5l" node="4Z$O9mrQJgp" resolve="cachedTypes" />
+                <node concept="37vLTw" id="7kaxm0sEDgv" role="37wK5m">
+                  <ref role="3cqZAo" node="7kaxm0sEC4f" resolve="unit" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="7kaxm0sEDmP" role="3cqZAp">
+          <node concept="3clFbS" id="7kaxm0sEDmR" role="3clFbx">
+            <node concept="3clFbF" id="6QH_LDtbJk2" role="3cqZAp">
+              <node concept="37vLTI" id="6QH_LDtbYJ6" role="3clFbG">
+                <node concept="37vLTw" id="6QH_LDtc1cl" role="37vLTJ">
+                  <ref role="3cqZAo" node="7kaxm0sEDgr" resolve="typesCache" />
+                </node>
+                <node concept="2OqwBi" id="6QH_LDtbK7a" role="37vLTx">
+                  <node concept="37vLTw" id="6QH_LDtbJk0" role="2Oq$k0">
+                    <ref role="3cqZAo" node="7kaxm0sECXE" resolve="tc" />
+                  </node>
+                  <node concept="liA8E" id="6QH_LDtbKr5" role="2OqNvi">
+                    <ref role="37wK5l" node="6QH_LDtbsGz" resolve="updateCachedTypes" />
+                    <node concept="37vLTw" id="6QH_LDtbKtg" role="37wK5m">
+                      <ref role="3cqZAo" node="7kaxm0sEC4f" resolve="unit" />
+                    </node>
+                    <node concept="1bVj0M" id="6QH_LDtbKA7" role="37wK5m">
+                      <node concept="3clFbS" id="6QH_LDtbKA9" role="1bW5cS">
+                        <node concept="3clFbH" id="6QH_LDtbKCF" role="3cqZAp" />
+                        <node concept="3cpWs8" id="6QH_LDtbL9Q" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbL9R" role="3cpWs9">
+                            <property role="TrG5h" value="typesModel" />
+                            <node concept="H_c77" id="6QH_LDtbL9N" role="1tU5fm" />
+                            <node concept="2OqwBi" id="6QH_LDtbL9S" role="33vP2m">
+                              <node concept="37vLTw" id="6QH_LDtbL9T" role="2Oq$k0">
+                                <ref role="3cqZAo" node="6QH_LDtbKDF" resolve="typesCache" />
+                              </node>
+                              <node concept="liA8E" id="6QH_LDtbL9U" role="2OqNvi">
+                                <ref role="37wK5l" node="6QH_LDtcxgx" resolve="typesModel" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWs8" id="6QH_LDtbV4V" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV4W" role="3cpWs9">
+                            <property role="TrG5h" value="namehint" />
+                            <node concept="17QB3L" id="6QH_LDtbV4X" role="1tU5fm" />
+                            <node concept="3cpWs3" id="6QH_LDtbV4Y" role="33vP2m">
+                              <node concept="Xl_RD" id="6QH_LDtbV4Z" role="3uHU7B">
+                                <property role="Xl_RC" value="type_" />
+                              </node>
+                              <node concept="2YIFZM" id="6QH_LDtbV50" role="3uHU7w">
+                                <ref role="37wK5l" to="18ew:~NameUtil.shortNameFromLongName(java.lang.String):java.lang.String" resolve="shortNameFromLongName" />
+                                <ref role="1Pybhc" to="18ew:~NameUtil" resolve="NameUtil" />
+                                <node concept="2OqwBi" id="6QH_LDtbV51" role="37wK5m">
+                                  <node concept="2OqwBi" id="6QH_LDtbV52" role="2Oq$k0">
+                                    <node concept="2JrnkZ" id="6QH_LDtbV53" role="2Oq$k0">
+                                      <node concept="37vLTw" id="6QH_LDtbV54" role="2JrQYb">
+                                        <ref role="3cqZAo" node="7kaxm0sEC4f" resolve="unit" />
+                                      </node>
+                                    </node>
+                                    <node concept="liA8E" id="6QH_LDtbV55" role="2OqNvi">
+                                      <ref role="37wK5l" to="mhbf:~SModel.getModelId():org.jetbrains.mps.openapi.model.SModelId" resolve="getModelId" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="6QH_LDtbV56" role="2OqNvi">
+                                    <ref role="37wK5l" to="mhbf:~SModelId.getModelName():java.lang.String" resolve="getModelName" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="6QH_LDtdqsb" role="3cqZAp" />
+                        <node concept="3cpWs8" id="6QH_LDtbV57" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV58" role="3cpWs9">
+                            <property role="TrG5h" value="tplApp" />
+                            <node concept="3uibUv" id="6QH_LDtbV59" role="1tU5fm">
+                              <ref role="3uigEE" node="3GlpCDSxTG7" resolve="TemplatesApplication" />
+                            </node>
+                            <node concept="2ShNRf" id="6QH_LDtbV5a" role="33vP2m">
+                              <node concept="1pGfFk" id="6QH_LDtbV5b" role="2ShVmc">
+                                <ref role="37wK5l" node="3GlpCDSychS" resolve="TemplatesApplication" />
+                                <node concept="37vLTw" id="6QH_LDtbV5c" role="37wK5m">
+                                  <ref role="3cqZAo" node="6$7vuu2wPaF" resolve="repository" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWs8" id="6QH_LDtbV5d" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV5e" role="3cpWs9">
+                            <property role="TrG5h" value="res" />
+                            <node concept="3uibUv" id="6QH_LDtbV5f" role="1tU5fm">
+                              <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+                            </node>
+                            <node concept="2OqwBi" id="6QH_LDtbV5g" role="33vP2m">
+                              <node concept="37vLTw" id="6QH_LDtbV5h" role="2Oq$k0">
+                                <ref role="3cqZAo" node="6QH_LDtbV58" resolve="tplApp" />
+                              </node>
+                              <node concept="liA8E" id="6QH_LDtbV5i" role="2OqNvi">
+                                <ref role="37wK5l" node="3GlpCDSxTKz" resolve="applyTemplates" />
+                                <node concept="2OqwBi" id="6QH_LDtbV5j" role="37wK5m">
+                                  <node concept="37vLTw" id="6QH_LDtbV5k" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="7kaxm0sEBL9" resolve="node" />
+                                  </node>
+                                  <node concept="2Rxl7S" id="6QH_LDtbV5l" role="2OqNvi" />
+                                </node>
+                                <node concept="37vLTw" id="6QH_LDtbV5m" role="37wK5m">
+                                  <ref role="3cqZAo" node="6QH_LDtbV4W" resolve="namehint" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbJ" id="6QH_LDtbV5n" role="3cqZAp">
+                          <node concept="3clFbS" id="6QH_LDtbV5o" role="3clFbx">
+                            <node concept="3SKdUt" id="6QH_LDtbV5p" role="3cqZAp">
+                              <node concept="3SKdUq" id="6QH_LDtbV5q" role="3SKWNk">
+                                <property role="3SKdUp" value="FIXME: report errors" />
+                              </node>
+                            </node>
+                            <node concept="3cpWs6" id="6QH_LDtbV5r" role="3cqZAp" />
+                          </node>
+                          <node concept="3fqX7Q" id="6QH_LDtbV5v" role="3clFbw">
+                            <node concept="2OqwBi" id="6QH_LDtbV5w" role="3fr31v">
+                              <node concept="37vLTw" id="6QH_LDtbV5x" role="2Oq$k0">
+                                <ref role="3cqZAo" node="6QH_LDtbV5e" resolve="res" />
+                              </node>
+                              <node concept="liA8E" id="6QH_LDtbV5y" role="2OqNvi">
+                                <ref role="37wK5l" node="7Oc59RS_hsj" resolve="isSuccessful" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="6QH_LDtbV5z" role="3cqZAp" />
+                        <node concept="3cpWs8" id="6QH_LDtbV60" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV61" role="3cpWs9">
+                            <property role="TrG5h" value="errors" />
+                            <node concept="3rvAFt" id="6QH_LDtbV62" role="1tU5fm">
+                              <node concept="3uibUv" id="6QH_LDtbV63" role="3rvQeY">
+                                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                              </node>
+                              <node concept="17QB3L" id="6QH_LDtbV64" role="3rvSg0" />
+                            </node>
+                            <node concept="2ShNRf" id="6QH_LDtbV65" role="33vP2m">
+                              <node concept="3rGOSV" id="6QH_LDtbV66" role="2ShVmc">
+                                <node concept="3uibUv" id="6QH_LDtbV67" role="3rHrn6">
+                                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                                </node>
+                                <node concept="17QB3L" id="6QH_LDtbV68" role="3rHtpV" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWs8" id="6QH_LDtbV5P" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV5Q" role="3cpWs9">
+                            <property role="TrG5h" value="evaluator" />
+                            <node concept="3uibUv" id="6QH_LDtbV5R" role="1tU5fm">
+                              <ref role="3uigEE" node="41ox5Vnk76a" resolve="ProgramEvaluator" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="2GUZhq" id="6$7vuu2uZb9" role="3cqZAp">
+                          <node concept="3clFbS" id="6$7vuu2uZbb" role="2GV8ay">
+                            <node concept="3SKdUt" id="6$7vuu2v7qB" role="3cqZAp">
+                              <node concept="3SKdUq" id="6$7vuu2v7qD" role="3SKWNk">
+                                <property role="3SKdUp" value="FIXME: move the initialization to the plugin" />
+                              </node>
+                            </node>
+                            <node concept="3clFbF" id="3F6vMxqjuT0" role="3cqZAp">
+                              <node concept="2OqwBi" id="3F6vMxqjuT1" role="3clFbG">
+                                <node concept="10M0yZ" id="3F6vMxqjuT2" role="2Oq$k0">
+                                  <ref role="1PxDUh" to="zx3l:~MemEvaluationSession" resolve="MemEvaluationSession" />
+                                  <ref role="3cqZAo" to="zx3l:~MemEvaluationSession.Companion" resolve="Companion" />
+                                </node>
+                                <node concept="liA8E" id="3F6vMxqjuT3" role="2OqNvi">
+                                  <ref role="37wK5l" to="zx3l:~MemEvaluationSession$Companion.init():void" resolve="init" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="6$7vuu2uVEy" role="3cqZAp" />
+                            <node concept="3cpWs8" id="6QH_LDtbV5I" role="3cqZAp">
+                              <node concept="3cpWsn" id="6QH_LDtbV5J" role="3cpWs9">
+                                <property role="TrG5h" value="config" />
+                                <node concept="3uibUv" id="6QH_LDtbV5K" role="1tU5fm">
+                                  <ref role="3uigEE" to="w7la:~EvaluationSession$Config" resolve="EvaluationSession.Config" />
+                                </node>
+                                <node concept="2YIFZM" id="6QH_LDtbV5L" role="33vP2m">
+                                  <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
+                                  <ref role="37wK5l" to="w7la:~EvaluationSession.newSession(jetbrains.mps.logic.reactor.program.Program):jetbrains.mps.logic.reactor.evaluation.EvaluationSession$Config" resolve="newSession" />
+                                  <node concept="2OqwBi" id="6QH_LDtbV5M" role="37wK5m">
+                                    <node concept="37vLTw" id="6QH_LDtbV5N" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="6QH_LDtbV58" resolve="tplApp" />
+                                    </node>
+                                    <node concept="liA8E" id="6QH_LDtbV5O" role="2OqNvi">
+                                      <ref role="37wK5l" node="3GlpCDSyO$P" resolve="getProgram" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbF" id="6$7vuu2v2VM" role="3cqZAp">
+                              <node concept="37vLTI" id="6$7vuu2v2VO" role="3clFbG">
+                                <node concept="2ShNRf" id="6QH_LDtbV5S" role="37vLTx">
+                                  <node concept="1pGfFk" id="6QH_LDtbV5T" role="2ShVmc">
+                                    <ref role="37wK5l" node="HV6urVFjOl" resolve="ProgramEvaluator" />
+                                    <node concept="2ShNRf" id="6QH_LDtbV5U" role="37wK5m">
+                                      <node concept="1pGfFk" id="6QH_LDtbV5V" role="2ShVmc">
+                                        <ref role="37wK5l" to="cxk7:3F6vMxqo1c$" resolve="DefaultSessionSolver" />
+                                        <node concept="2OqwBi" id="6QH_LDtbV5W" role="37wK5m">
+                                          <node concept="37vLTw" id="6QH_LDtbV5X" role="2Oq$k0">
+                                            <ref role="3cqZAo" node="6QH_LDtbV58" resolve="tplApp" />
+                                          </node>
+                                          <node concept="liA8E" id="6QH_LDtbV5Y" role="2OqNvi">
+                                            <ref role="37wK5l" node="3GlpCDSyRnn" resolve="getExpressionSolver" />
+                                          </node>
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="37vLTw" id="6$7vuu2v2VS" role="37vLTJ">
+                                  <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="6QH_LDtbV69" role="3cqZAp" />
+                            <node concept="3cpWs8" id="6QH_LDtbV6a" role="3cqZAp">
+                              <node concept="3cpWsn" id="6QH_LDtbV6b" role="3cpWs9">
+                                <property role="TrG5h" value="res2" />
+                                <node concept="3uibUv" id="6QH_LDtbV6c" role="1tU5fm">
+                                  <ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
+                                </node>
+                                <node concept="2OqwBi" id="6QH_LDtbV6d" role="33vP2m">
+                                  <node concept="37vLTw" id="6QH_LDtbV6e" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                                  </node>
+                                  <node concept="liA8E" id="6QH_LDtbV6f" role="2OqNvi">
+                                    <ref role="37wK5l" node="HV6urVFrQ9" resolve="eval" />
+                                    <node concept="37vLTw" id="6QH_LDtbV6g" role="37wK5m">
+                                      <ref role="3cqZAo" node="6QH_LDtbV5J" resolve="config" />
+                                    </node>
+                                    <node concept="10M0yZ" id="6QH_LDtbV6h" role="37wK5m">
+                                      <ref role="1PxDUh" to="yg8f:qubcdtxBiR" resolve="EvaluationTraceExt" />
+                                      <ref role="3cqZAo" to="yg8f:24Vro6cS5rK" resolve="NULL" />
+                                    </node>
+                                    <node concept="37vLTw" id="6QH_LDtbV6i" role="37wK5m">
+                                      <ref role="3cqZAo" node="6QH_LDtbV61" resolve="errors" />
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbJ" id="6QH_LDtbV6m" role="3cqZAp">
+                              <node concept="3clFbS" id="6QH_LDtbV6n" role="3clFbx">
+                                <node concept="3SKdUt" id="6QH_LDtbV6o" role="3cqZAp">
+                                  <node concept="3SKdUq" id="6QH_LDtbV6p" role="3SKWNk">
+                                    <property role="3SKdUp" value="FIXME: report errors" />
+                                  </node>
+                                </node>
+                                <node concept="3cpWs6" id="6QH_LDtbV6q" role="3cqZAp" />
+                              </node>
+                              <node concept="3fqX7Q" id="6QH_LDtbV6v" role="3clFbw">
+                                <node concept="2OqwBi" id="6QH_LDtbV6w" role="3fr31v">
+                                  <node concept="37vLTw" id="6QH_LDtbV6x" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="6QH_LDtbV6b" resolve="res2" />
+                                  </node>
+                                  <node concept="liA8E" id="6QH_LDtbV6y" role="2OqNvi">
+                                    <ref role="37wK5l" node="7Oc59RS_hsj" resolve="isSuccessful" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="3clFbH" id="6$7vuu2uZba" role="3cqZAp" />
+                          </node>
+                          <node concept="3clFbS" id="6$7vuu2uZbc" role="2GVbov">
+                            <node concept="3clFbF" id="6$7vuu2uR6h" role="3cqZAp">
+                              <node concept="2OqwBi" id="6$7vuu2uR6i" role="3clFbG">
+                                <node concept="10M0yZ" id="6$7vuu2uR6j" role="2Oq$k0">
+                                  <ref role="3cqZAo" to="zx3l:~MemEvaluationSession.Companion" resolve="Companion" />
+                                  <ref role="1PxDUh" to="zx3l:~MemEvaluationSession" resolve="MemEvaluationSession" />
+                                </node>
+                                <node concept="liA8E" id="6$7vuu2uR6k" role="2OqNvi">
+                                  <ref role="37wK5l" to="zx3l:~MemEvaluationSession$Companion.deinit():void" resolve="deinit" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="6QH_LDtbV6z" role="3cqZAp" />
+                        <node concept="3cpWs8" id="6QH_LDtbV6$" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV6_" role="3cpWs9">
+                            <property role="TrG5h" value="typeTerms" />
+                            <node concept="3rvAFt" id="6QH_LDtbV6A" role="1tU5fm">
+                              <node concept="3uibUv" id="6QH_LDtbV6B" role="3rvQeY">
+                                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                              </node>
+                              <node concept="3uibUv" id="6QH_LDtbV6C" role="3rvSg0">
+                                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                              </node>
+                            </node>
+                            <node concept="2ShNRf" id="6QH_LDtbV6D" role="33vP2m">
+                              <node concept="3rGOSV" id="6QH_LDtbV6E" role="2ShVmc">
+                                <node concept="3uibUv" id="6QH_LDtbV6F" role="3rHrn6">
+                                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                                </node>
+                                <node concept="3uibUv" id="6QH_LDtbV6G" role="3rHtpV">
+                                  <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbF" id="6QH_LDtbV6H" role="3cqZAp">
+                          <node concept="2OqwBi" id="6QH_LDtbV6I" role="3clFbG">
+                            <node concept="2ShNRf" id="6QH_LDtbV6J" role="2Oq$k0">
+                              <node concept="HV5vD" id="6QH_LDtbV6K" role="2ShVmc">
+                                <ref role="HV5vE" node="6HT7BWBSFOV" resolve="TypeCollector" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="6QH_LDtbV6L" role="2OqNvi">
+                              <ref role="37wK5l" node="6HT7BWBSMTp" resolve="collectTypes" />
+                              <node concept="2OqwBi" id="6QH_LDtbV6M" role="37wK5m">
+                                <node concept="37vLTw" id="6QH_LDtbV6N" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                                </node>
+                                <node concept="liA8E" id="6QH_LDtbV6O" role="2OqNvi">
+                                  <ref role="37wK5l" node="3GlpCDSEY0I" resolve="occurrences" />
+                                </node>
+                              </node>
+                              <node concept="37vLTw" id="6QH_LDtbV6P" role="37wK5m">
+                                <ref role="3cqZAo" node="6QH_LDtbV6_" resolve="typeTerms" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3clFbH" id="6QH_LDtbV6Q" role="3cqZAp" />
+                        <node concept="3cpWs8" id="6QH_LDtbV70" role="3cqZAp">
+                          <node concept="3cpWsn" id="6QH_LDtbV71" role="3cpWs9">
+                            <property role="TrG5h" value="recoverySession" />
+                            <node concept="3uibUv" id="6QH_LDtbV72" role="1tU5fm">
+                              <ref role="3uigEE" to="nz6g:Ya9Z$kMIRb" resolve="RecoverySession" />
+                            </node>
+                            <node concept="2ShNRf" id="6QH_LDtbV73" role="33vP2m">
+                              <node concept="1pGfFk" id="6QH_LDtbV74" role="2ShVmc">
+                                <ref role="37wK5l" to="nz6g:Ya9Z$kRaR0" resolve="RecoverySession" />
+                                <node concept="2OqwBi" id="6QH_LDtbV75" role="37wK5m">
+                                  <node concept="2OqwBi" id="6QH_LDtbV76" role="2Oq$k0">
+                                    <node concept="37vLTw" id="6QH_LDtbV77" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="6QH_LDtbV58" resolve="tplApp" />
+                                    </node>
+                                    <node concept="liA8E" id="6QH_LDtbV78" role="2OqNvi">
+                                      <ref role="37wK5l" node="3GlpCDSyUJO" resolve="getTypecheckingTemplates" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="6QH_LDtbV79" role="2OqNvi">
+                                    <ref role="37wK5l" node="4n$Qn$018my" resolve="typeTemplates" />
+                                  </node>
+                                </node>
+                                <node concept="37vLTw" id="6QH_LDtbV7a" role="37wK5m">
+                                  <ref role="3cqZAo" node="6QH_LDtbL9R" resolve="typesModel" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="1DcWWT" id="6QH_LDtbV7b" role="3cqZAp">
+                          <node concept="3clFbS" id="6QH_LDtbV7c" role="2LFqv$">
+                            <node concept="3clFbF" id="6QH_LDtd3NQ" role="3cqZAp">
+                              <node concept="2OqwBi" id="6QH_LDtd4E_" role="3clFbG">
+                                <node concept="37vLTw" id="6QH_LDtd3NO" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="6QH_LDtbKDF" resolve="typesCache" />
+                                </node>
+                                <node concept="liA8E" id="6QH_LDtd5_I" role="2OqNvi">
+                                  <ref role="37wK5l" node="6QH_LDtcYUC" resolve="putType" />
+                                  <node concept="2OqwBi" id="6QH_LDtd80u" role="37wK5m">
+                                    <node concept="37vLTw" id="6QH_LDtd7bf" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="6QH_LDtbV7q" resolve="e" />
+                                    </node>
+                                    <node concept="liA8E" id="6QH_LDtdaLh" role="2OqNvi">
+                                      <ref role="37wK5l" to="33ny:~Map$Entry.getKey():java.lang.Object" resolve="getKey" />
+                                    </node>
+                                  </node>
+                                  <node concept="2OqwBi" id="6QH_LDtdbzB" role="37wK5m">
+                                    <node concept="37vLTw" id="6QH_LDtdbzC" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="6QH_LDtbV71" resolve="recoverySession" />
+                                    </node>
+                                    <node concept="liA8E" id="6QH_LDtdbzD" role="2OqNvi">
+                                      <ref role="37wK5l" to="nz6g:Ya9Z$kRb7o" resolve="recover" />
+                                      <node concept="2OqwBi" id="6QH_LDtdbzE" role="37wK5m">
+                                        <node concept="37vLTw" id="6QH_LDtdbzF" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="6QH_LDtbV7q" resolve="e" />
+                                        </node>
+                                        <node concept="liA8E" id="6QH_LDtdbzG" role="2OqNvi">
+                                          <ref role="37wK5l" to="33ny:~Map$Entry.getValue():java.lang.Object" resolve="getValue" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3cpWsn" id="6QH_LDtbV7q" role="1Duv9x">
+                            <property role="TrG5h" value="e" />
+                            <node concept="3uibUv" id="6QH_LDtbV7r" role="1tU5fm">
+                              <ref role="3uigEE" to="33ny:~Map$Entry" resolve="Map.Entry" />
+                              <node concept="3uibUv" id="6QH_LDtbV7s" role="11_B2D">
+                                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                              </node>
+                              <node concept="3uibUv" id="6QH_LDtbV7t" role="11_B2D">
+                                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="2OqwBi" id="6QH_LDtbV7u" role="1DdaDG">
+                            <node concept="1eOMI4" id="6QH_LDtbV7v" role="2Oq$k0">
+                              <node concept="10QFUN" id="6QH_LDtbV7w" role="1eOMHV">
+                                <node concept="3uibUv" id="6QH_LDtbV7x" role="10QFUM">
+                                  <ref role="3uigEE" to="33ny:~Map" resolve="Map" />
+                                  <node concept="3uibUv" id="6QH_LDtbV7y" role="11_B2D">
+                                    <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                                  </node>
+                                  <node concept="3uibUv" id="6QH_LDtbV7z" role="11_B2D">
+                                    <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                                  </node>
+                                </node>
+                                <node concept="37vLTw" id="6QH_LDtbV7$" role="10QFUP">
+                                  <ref role="3cqZAo" node="6QH_LDtbV6_" resolve="typeTerms" />
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="6QH_LDtbV7_" role="2OqNvi">
+                              <ref role="37wK5l" to="33ny:~Map.entrySet():java.util.Set" resolve="entrySet" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTG" id="6QH_LDtbKDF" role="1bW2Oz">
+                        <property role="TrG5h" value="typesCache" />
+                        <node concept="3uibUv" id="6QH_LDtc$AA" role="1tU5fm">
+                          <ref role="3uigEE" node="6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbC" id="7kaxm0sEDDI" role="3clFbw">
+            <node concept="10Nm6u" id="7kaxm0sEDEj" role="3uHU7w" />
+            <node concept="37vLTw" id="7kaxm0sEDpd" role="3uHU7B">
+              <ref role="3cqZAo" node="7kaxm0sEDgr" resolve="typesCache" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="7kaxm0sEBMs" role="3cqZAp" />
+        <node concept="3clFbJ" id="6QH_LDtc9sP" role="3cqZAp">
+          <node concept="3clFbS" id="6QH_LDtc9sR" role="3clFbx">
+            <node concept="3cpWs6" id="6QH_LDtcdEN" role="3cqZAp">
+              <node concept="2OqwBi" id="6QH_LDtcdEO" role="3cqZAk">
+                <node concept="37vLTw" id="6QH_LDtcdEP" role="2Oq$k0">
+                  <ref role="3cqZAo" node="7kaxm0sEDgr" resolve="typesCache" />
+                </node>
+                <node concept="liA8E" id="6QH_LDtcdEQ" role="2OqNvi">
+                  <ref role="37wK5l" node="6QH_LDtffJj" resolve="typeOf" />
+                  <node concept="37vLTw" id="6QH_LDtcdER" role="37wK5m">
+                    <ref role="3cqZAo" node="7kaxm0sEBL9" resolve="node" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3y3z36" id="6QH_LDtcb3M" role="3clFbw">
+            <node concept="10Nm6u" id="6QH_LDtcbO8" role="3uHU7w" />
+            <node concept="37vLTw" id="6QH_LDtcahc" role="3uHU7B">
+              <ref role="3cqZAo" node="7kaxm0sEDgr" resolve="typesCache" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6QH_LDtchhk" role="3cqZAp">
+          <node concept="10Nm6u" id="6QH_LDtchhi" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="P$JXv" id="7kaxm0sEBMI" role="lGtFl">
+        <node concept="TZ5HA" id="7kaxm0sEBMJ" role="TZ5H$">
+          <node concept="1dT_AC" id="7kaxm0sEBMK" role="1dT_Ay">
+            <property role="1dT_AB" value="Must be called in a read action." />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="6QH_LDtaCb7" role="jymVt" />
+    <node concept="3Tm1VV" id="7kaxm0sEy3f" role="1B3o_S" />
+  </node>
 </model>
 
diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps
index a94d6512..98e4e1bc 100644
--- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps
+++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps
@@ -165,7 +165,6 @@
       </concept>
       <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
       <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
-      <concept id="1146644641414" name="jetbrains.mps.baseLanguage.structure.ProtectedVisibility" flags="nn" index="3Tmbuc" />
     </language>
     <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
       <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
@@ -341,7 +340,7 @@
         </node>
       </node>
       <node concept="3cqZAl" id="2zU3cYqyg0Y" role="3clF45" />
-      <node concept="3Tmbuc" id="2zU3cYqyvgN" role="1B3o_S" />
+      <node concept="3Tm1VV" id="6$7vuu2xw$0" role="1B3o_S" />
       <node concept="3clFbS" id="2zU3cYqyaCd" role="3clF47">
         <node concept="3clFbF" id="2zU3cYqyaX5" role="3cqZAp">
           <node concept="2OqwBi" id="2zU3cYqycW6" role="3clFbG">
@@ -361,6 +360,13 @@
           </node>
         </node>
       </node>
+      <node concept="P$JXv" id="6$7vuu2xyFT" role="lGtFl">
+        <node concept="TZ5HA" id="6$7vuu2xyFU" role="TZ5H$">
+          <node concept="1dT_AC" id="6$7vuu2xyFV" role="1dT_Ay">
+            <property role="1dT_AB" value="Made public only for tests." />
+          </node>
+        </node>
+      </node>
     </node>
     <node concept="2tJIrI" id="2zU3cYqyg8C" role="jymVt" />
     <node concept="2YIFZL" id="2zU3cYqyg2V" role="jymVt">
@@ -372,7 +378,7 @@
         </node>
       </node>
       <node concept="3cqZAl" id="2zU3cYqyg2Y" role="3clF45" />
-      <node concept="3Tmbuc" id="2zU3cYqyvio" role="1B3o_S" />
+      <node concept="3Tm1VV" id="6$7vuu2xw$l" role="1B3o_S" />
       <node concept="3clFbS" id="2zU3cYqyg30" role="3clF47">
         <node concept="3cpWs8" id="2zU3cYqykZ4" role="3cqZAp">
           <node concept="3cpWsn" id="2zU3cYqykZ5" role="3cpWs9">
@@ -421,11 +427,18 @@
           </node>
         </node>
       </node>
+      <node concept="P$JXv" id="6$7vuu2x$ze" role="lGtFl">
+        <node concept="TZ5HA" id="6$7vuu2x$zf" role="TZ5H$">
+          <node concept="1dT_AC" id="6$7vuu2x$zg" role="1dT_Ay">
+            <property role="1dT_AB" value="Made public only for tests." />
+          </node>
+        </node>
+      </node>
     </node>
     <node concept="2tJIrI" id="2zU3cYqyfSs" role="jymVt" />
     <node concept="3clFbW" id="2zU3cYqyeVe" role="jymVt">
       <node concept="3cqZAl" id="2zU3cYqyeVg" role="3clF45" />
-      <node concept="3Tm1VV" id="2zU3cYqyeVh" role="1B3o_S" />
+      <node concept="3Tm6S6" id="6$7vuu2vnJv" role="1B3o_S" />
       <node concept="3clFbS" id="2zU3cYqyeVi" role="3clF47">
         <node concept="3clFbF" id="2zU3cYqyfkU" role="3cqZAp">
           <node concept="37vLTI" id="2zU3cYqyfkW" role="3clFbG">
diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd
new file mode 100644
index 00000000..75a410aa
--- /dev/null
+++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd
@@ -0,0 +1,58 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<solution name="jetbrains.mps.lang.typesystem2.test" uuid="c9670c16-a215-41fb-8784-04b14329799d" moduleVersion="0" compileInMPS="true">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
+    <dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
+    <dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
+    <dependency reexport="false">274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper)</dependency>
+    <dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
+    <dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
+    <dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
+    <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
+    <dependency reexport="false">ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="4" />
+    <language slang="l:ed6d7656-532c-4bc2-81d1-af945aeb8280:jetbrains.mps.baseLanguage.blTypes" version="0" />
+    <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="0" />
+    <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:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" version="0" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
+    <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="4" />
+    <language slang="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" version="1" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+    <language slang="l:0fda14cc-a416-4c81-869a-2175d8b3325d:jetbrains.mps.lang.typesystem2.sampleLang" 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="ed6d7656-532c-4bc2-81d1-af945aeb8280(jetbrains.mps.baseLanguage.blTypes)" version="0" />
+    <module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
+    <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+    <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+    <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+    <module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
+    <module reference="274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper)" version="0" />
+    <module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
+    <module reference="9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util)" version="0" />
+    <module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)" version="0" />
+    <module reference="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.lang.typesystem2.test)" 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>
+</solution>
+
diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps
new file mode 100644
index 00000000..69b8e50c
--- /dev/null
+++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps
@@ -0,0 +1,1161 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:cbfbe9a2-941f-4667-8e48-3bf39c5dad6d(jetbrains.mps.lang.typesystem2.typechecking@tests)">
+  <persistence version="9" />
+  <languages>
+    <use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="1" />
+    <use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="0" />
+    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="4" />
+    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="0" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="4" />
+    <use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="0" />
+    <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
+    <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
+    <use id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples" version="0" />
+    <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="0" />
+    <use id="0fda14cc-a416-4c81-869a-2175d8b3325d" name="jetbrains.mps.lang.typesystem2.sampleLang" version="0" />
+  </languages>
+  <imports>
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
+    <import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
+    <import index="hano" ref="r:2b43b673-12f9-49ea-8e43-d0c7a401586a(jetbrains.mps.lang.typesystem2.typechecking)" />
+    <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
+    <import index="ggp6" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.lang.pattern.util(MPS.Core/)" />
+    <import index="umch" ref="r:4caa22a9-5195-4617-8800-5f9f74cc4480(jetbrains.mps.lang.typesystem2.helper.plugin)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
+    <import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
+    <import index="w7la" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.evaluation(jetbrains.mps.logic.reactor/)" />
+    <import index="cxk7" ref="r:daa544a7-0a5c-49c0-a54c-4c2a5b4868aa(jetbrains.mps.logic.builtin.predicate)" />
+    <import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
+    <import index="zx3l" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.core(jetbrains.mps.logic.reactor/)" />
+    <import index="6exd" ref="r:0f9b1fb3-00f9-4480-b235-1a906a087ab2(jetbrains.mps.logic.treeform)" />
+    <import index="nz6g" ref="r:ac00f724-30be-446e-805c-2345efc460d7(jetbrains.mps.lang.typesystem2.program)" />
+    <import index="dush" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.persistence(MPS.OpenAPI/)" />
+    <import index="pa15" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.persistence(MPS.Core/)" />
+    <import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
+    <import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
+    <import index="fqlx" ref="r:2cc226a9-8a78-4010-b962-823343fd28ff(jetbrains.mps.lang.typesystem2.aspect)" />
+  </imports>
+  <registry>
+    <language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
+      <concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
+        <property id="5097124989038916363" name="projectPath" index="2XOHcw" />
+      </concept>
+      <concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
+      <concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
+        <child id="1216993439383" name="methods" index="1qtyYc" />
+        <child id="1217501822150" name="nodesToCheck" index="1SKRRt" />
+        <child id="1217501895093" name="testMethods" index="1SL9yI" />
+      </concept>
+      <concept id="1216989428737" name="jetbrains.mps.lang.test.structure.TestNode" flags="ng" index="1qefOq">
+        <child id="1216989461394" name="nodeToCheck" index="1qenE9" />
+      </concept>
+      <concept id="1210673684636" name="jetbrains.mps.lang.test.structure.TestNodeAnnotation" flags="ng" index="3xLA65" />
+      <concept id="1210674524691" name="jetbrains.mps.lang.test.structure.TestNodeReference" flags="nn" index="3xONca">
+        <reference id="1210674534086" name="declaration" index="3xOPvv" />
+      </concept>
+      <concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="1153952380246" name="jetbrains.mps.baseLanguage.structure.TryStatement" flags="nn" index="2GUZhq">
+        <child id="1153952416686" name="body" index="2GV8ay" />
+        <child id="1153952429843" name="finallyBody" index="2GVbov" />
+      </concept>
+      <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
+        <reference id="2820489544401957798" name="classifier" index="HV5vE" />
+      </concept>
+      <concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
+        <child id="1154032183016" name="body" index="2LFqv$" />
+      </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="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </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="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
+        <reference id="1144433057691" name="classifier" index="1PxDUh" />
+      </concept>
+      <concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
+        <child id="1070534934091" name="type" index="10QFUM" />
+        <child id="1070534934092" name="expression" index="10QFUP" />
+      </concept>
+      <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
+      <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
+      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
+        <child id="1164879685961" name="throwsItem" index="Sfmx6" />
+        <child id="1068580123133" name="returnType" index="3clF45" />
+        <child id="1068580123134" name="parameter" index="3clF46" />
+        <child id="1068580123135" name="body" index="3clF47" />
+      </concept>
+      <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <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="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
+      <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
+        <child id="1079359253376" name="expression" index="1eOMHV" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+        <child id="1068499141038" name="actualArgument" index="37wK5m" />
+      </concept>
+      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
+      <concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
+        <child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
+      </concept>
+      <concept id="7812454656619025412" name="jetbrains.mps.baseLanguage.structure.LocalMethodCall" flags="nn" index="1rXfSq" />
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+        <child id="1109201940907" name="parameter" index="11_B2D" />
+      </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>
+      <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
+        <child id="1178549979242" name="visibility" index="1B3o_S" />
+      </concept>
+      <concept id="1144226303539" name="jetbrains.mps.baseLanguage.structure.ForeachStatement" flags="nn" index="1DcWWT">
+        <child id="1144226360166" name="iterable" index="1DdaDG" />
+      </concept>
+      <concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
+        <child id="1144230900587" name="variable" index="1Duv9x" />
+      </concept>
+      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
+      <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
+    </language>
+    <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
+      <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
+        <child id="1199569916463" name="body" index="1bW5cS" />
+      </concept>
+    </language>
+    <language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
+      <concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
+      <concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
+        <reference id="1205756909548" name="member" index="2WH_rO" />
+      </concept>
+      <concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
+      <concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL" />
+    </language>
+    <language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
+      <concept id="1196350785110" name="jetbrains.mps.lang.quotation.structure.AbstractAntiquotation" flags="ng" index="2c44t0">
+        <property id="6489343236075007666" name="label" index="3hQQBS" />
+        <child id="1196350785111" name="expression" index="2c44t1" />
+      </concept>
+      <concept id="1196350785117" name="jetbrains.mps.lang.quotation.structure.ReferenceAntiquotation" flags="ng" index="2c44tb" />
+      <concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
+        <child id="1196350785114" name="quotedNode" index="2c44tc" />
+      </concept>
+    </language>
+    <language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
+      <concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertInNotNull" flags="nn" index="2Hmddi">
+        <child id="7080278351417106681" name="expression" index="2Hmdds" />
+      </concept>
+      <concept id="8427750732757990717" name="jetbrains.mps.baseLanguage.unitTest.structure.BinaryAssert" flags="nn" index="3tpDYu">
+        <child id="8427750732757990725" name="actual" index="3tpDZA" />
+        <child id="8427750732757990724" name="expected" index="3tpDZB" />
+      </concept>
+      <concept id="1171981022339" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertTrue" flags="nn" index="3vwNmj">
+        <child id="1171981057159" name="condition" index="3vwVQn" />
+      </concept>
+      <concept id="1171985735491" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertSame" flags="nn" index="3vMLTj" />
+      <concept id="1172028177041" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNull" flags="nn" index="3ykFI1">
+        <child id="1172028236559" name="expression" index="3ykU8v" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
+      <concept id="1143234257716" name="jetbrains.mps.lang.smodel.structure.Node_GetModelOperation" flags="nn" index="I4A8Y" />
+      <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
+        <child id="1145404616321" name="leftExpression" index="2JrQYb" />
+      </concept>
+      <concept id="1171310072040" name="jetbrains.mps.lang.smodel.structure.Node_GetContainingRootOperation" flags="nn" index="2Rxl7S" />
+      <concept id="1227264722563" name="jetbrains.mps.lang.smodel.structure.EqualsStructurallyExpression" flags="nn" index="2YFouu" />
+      <concept id="1180636770613" name="jetbrains.mps.lang.smodel.structure.SNodeCreator" flags="nn" index="3zrR0B">
+        <child id="1180636770616" name="createdType" index="3zrR0E" />
+      </concept>
+      <concept id="1206482823744" name="jetbrains.mps.lang.smodel.structure.Model_AddRootOperation" flags="nn" index="3BYIHo">
+        <child id="1206482823746" name="nodeArgument" index="3BYIHq" />
+      </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="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
+      </concept>
+      <concept id="3364660638048049745" name="jetbrains.mps.lang.core.structure.LinkAttribute" flags="ng" index="A9Btn">
+        <property id="1757699476691236116" name="linkRole" index="2qtEX8" />
+        <property id="1341860900488019036" name="linkId" index="P3scX" />
+      </concept>
+      <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="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
+        <child id="1197683466920" name="keyType" index="3rvQeY" />
+        <child id="1197683475734" name="valueType" index="3rvSg0" />
+      </concept>
+      <concept id="1197686869805" name="jetbrains.mps.baseLanguage.collections.structure.HashMapCreator" flags="nn" index="3rGOSV">
+        <child id="1197687026896" name="keyType" index="3rHrn6" />
+        <child id="1197687035757" name="valueType" index="3rHtpV" />
+      </concept>
+      <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
+        <child id="1197932505799" name="map" index="3ElQJh" />
+        <child id="1197932525128" name="key" index="3ElVtu" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="2XOHcx" id="7t5VLKGQVAO">
+    <property role="2XOHcw" value="${logic_home}" />
+  </node>
+  <node concept="1lH9Xt" id="6QH_LDtdSk3">
+    <property role="TrG5h" value="TypeCache" />
+    <node concept="1qefOq" id="6QH_LDtdTZR" role="1SKRRt">
+      <node concept="312cEu" id="6QH_LDtdTZT" role="1qenE9">
+        <property role="TrG5h" value="Foo" />
+        <node concept="3Tm1VV" id="6QH_LDtdTZU" role="1B3o_S" />
+        <node concept="3xLA65" id="6QH_LDtdU18" role="lGtFl">
+          <property role="TrG5h" value="foo" />
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="6QH_LDtdSlj" role="1SL9yI">
+      <property role="TrG5h" value="typeInitCache" />
+      <node concept="3cqZAl" id="6QH_LDtdSlk" role="3clF45" />
+      <node concept="3clFbS" id="6QH_LDtdSlo" role="3clF47">
+        <node concept="3clFbH" id="6QH_LDtdSlJ" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtdVp3" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtdVp4" role="3cpWs9">
+            <property role="TrG5h" value="unit" />
+            <node concept="H_c77" id="6QH_LDtdVp0" role="1tU5fm" />
+            <node concept="2OqwBi" id="6QH_LDtdVp5" role="33vP2m">
+              <node concept="3xONca" id="6QH_LDtdVp6" role="2Oq$k0">
+                <ref role="3xOPvv" node="6QH_LDtdU18" resolve="foo" />
+              </node>
+              <node concept="I4A8Y" id="6QH_LDtdVp7" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDtdVFg" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtdTgr" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtdTgs" role="3cpWs9">
+            <property role="TrG5h" value="tc" />
+            <node concept="3uibUv" id="6QH_LDtdTgp" role="1tU5fm">
+              <ref role="3uigEE" to="hano:4Z$O9mrQIzY" resolve="Typechecking" />
+            </node>
+            <node concept="2YIFZM" id="6QH_LDtdTgt" role="33vP2m">
+              <ref role="37wK5l" to="hano:4Z$O9mrQIG1" resolve="get" />
+              <ref role="1Pybhc" to="hano:4Z$O9mrQIzY" resolve="Typechecking" />
+              <node concept="2OqwBi" id="6QH_LDtdTwK" role="37wK5m">
+                <node concept="1jxXqW" id="6QH_LDtdTWQ" role="2Oq$k0" />
+                <node concept="liA8E" id="6QH_LDtdTVP" role="2OqNvi">
+                  <ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6QH_LDtdVHj" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtdVHk" role="3cpWs9">
+            <property role="TrG5h" value="typesCache" />
+            <node concept="3uibUv" id="6QH_LDtfmIh" role="1tU5fm">
+              <ref role="3uigEE" to="hano:6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+            </node>
+            <node concept="2OqwBi" id="6QH_LDtdVHl" role="33vP2m">
+              <node concept="37vLTw" id="6QH_LDtdVHm" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtdTgs" resolve="tc" />
+              </node>
+              <node concept="liA8E" id="6QH_LDtdVHn" role="2OqNvi">
+                <ref role="37wK5l" to="hano:4Z$O9mrQJgp" resolve="cachedTypes" />
+                <node concept="37vLTw" id="6QH_LDtdVHo" role="37wK5m">
+                  <ref role="3cqZAo" node="6QH_LDtdVp4" resolve="unit" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3ykFI1" id="6QH_LDtdYpJ" role="3cqZAp">
+          <node concept="37vLTw" id="6QH_LDtdYsF" role="3ykU8v">
+            <ref role="3cqZAo" node="6QH_LDtdVHk" resolve="typesCache" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDtdSlO" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtdXLJ" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtdXLK" role="3cpWs9">
+            <property role="TrG5h" value="typeCache2" />
+            <node concept="3uibUv" id="6QH_LDtfmAJ" role="1tU5fm">
+              <ref role="3uigEE" to="hano:6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+            </node>
+            <node concept="2OqwBi" id="6QH_LDtdXLL" role="33vP2m">
+              <node concept="37vLTw" id="6QH_LDtdXLM" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtdTgs" resolve="tc" />
+              </node>
+              <node concept="liA8E" id="6QH_LDtdXLN" role="2OqNvi">
+                <ref role="37wK5l" to="hano:6QH_LDtbsGz" resolve="updateCachedTypes" />
+                <node concept="37vLTw" id="6QH_LDtdXLO" role="37wK5m">
+                  <ref role="3cqZAo" node="6QH_LDtdVp4" resolve="unit" />
+                </node>
+                <node concept="1bVj0M" id="6QH_LDtdXLP" role="37wK5m">
+                  <node concept="3clFbS" id="6QH_LDtdXLQ" role="1bW5cS">
+                    <node concept="3clFbH" id="6QH_LDtet4b" role="3cqZAp" />
+                    <node concept="3cpWs8" id="6QH_LDteuBg" role="3cqZAp">
+                      <node concept="3cpWsn" id="6QH_LDteuBh" role="3cpWs9">
+                        <property role="TrG5h" value="typesModel" />
+                        <node concept="H_c77" id="6QH_LDteuBc" role="1tU5fm" />
+                        <node concept="2OqwBi" id="6QH_LDteuBi" role="33vP2m">
+                          <node concept="37vLTw" id="6QH_LDteuBj" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6QH_LDtdXLR" resolve="typeCache" />
+                          </node>
+                          <node concept="liA8E" id="6QH_LDteuBk" role="2OqNvi">
+                            <ref role="37wK5l" to="hano:6QH_LDtcxgx" resolve="typesModel" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3cpWs8" id="6QH_LDtewyr" role="3cqZAp">
+                      <node concept="3cpWsn" id="6QH_LDtewys" role="3cpWs9">
+                        <property role="TrG5h" value="clsType" />
+                        <node concept="3Tqbb2" id="6QH_LDtewyh" role="1tU5fm">
+                          <ref role="ehGHo" to="tpee:g7uibYu" resolve="ClassifierType" />
+                        </node>
+                        <node concept="2OqwBi" id="6QH_LDtewyt" role="33vP2m">
+                          <node concept="37vLTw" id="6QH_LDtewyu" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6QH_LDteuBh" resolve="typesModel" />
+                          </node>
+                          <node concept="3BYIHo" id="6QH_LDtewyv" role="2OqNvi">
+                            <node concept="2ShNRf" id="6QH_LDtewyw" role="3BYIHq">
+                              <node concept="3zrR0B" id="6QH_LDtewyx" role="2ShVmc">
+                                <node concept="3Tqbb2" id="6QH_LDtewyy" role="3zrR0E">
+                                  <ref role="ehGHo" to="tpee:g7uibYu" resolve="ClassifierType" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbF" id="6QH_LDtetXP" role="3cqZAp">
+                      <node concept="37vLTI" id="6QH_LDteyw3" role="3clFbG">
+                        <node concept="3xONca" id="6QH_LDteyD6" role="37vLTx">
+                          <ref role="3xOPvv" node="6QH_LDtdU18" resolve="foo" />
+                        </node>
+                        <node concept="2OqwBi" id="6QH_LDtewUA" role="37vLTJ">
+                          <node concept="37vLTw" id="6QH_LDtewyz" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6QH_LDtewys" resolve="clsType" />
+                          </node>
+                          <node concept="3TrEf2" id="6QH_LDtexF8" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="6QH_LDtetG2" role="3cqZAp" />
+                    <node concept="3clFbF" id="6QH_LDtesyR" role="3cqZAp">
+                      <node concept="2OqwBi" id="6QH_LDtesDH" role="3clFbG">
+                        <node concept="37vLTw" id="6QH_LDtesyP" role="2Oq$k0">
+                          <ref role="3cqZAo" node="6QH_LDtdXLR" resolve="typeCache" />
+                        </node>
+                        <node concept="liA8E" id="6QH_LDtesSt" role="2OqNvi">
+                          <ref role="37wK5l" to="hano:6QH_LDtcYUC" resolve="putType" />
+                          <node concept="2OqwBi" id="6QH_LDteGcY" role="37wK5m">
+                            <node concept="2JrnkZ" id="6QH_LDteEw4" role="2Oq$k0">
+                              <node concept="3xONca" id="6QH_LDtetdX" role="2JrQYb">
+                                <ref role="3xOPvv" node="6QH_LDtdU18" resolve="foo" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="6QH_LDteGDm" role="2OqNvi">
+                              <ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="6QH_LDte_a_" role="37wK5m">
+                            <ref role="3cqZAo" node="6QH_LDtewys" resolve="clsType" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="6QH_LDtespS" role="3cqZAp" />
+                  </node>
+                  <node concept="37vLTG" id="6QH_LDtdXLR" role="1bW2Oz">
+                    <property role="TrG5h" value="typeCache" />
+                    <node concept="3uibUv" id="6QH_LDtdXLS" role="1tU5fm">
+                      <ref role="3uigEE" to="hano:6QH_LDtcxgf" resolve="Typechecking.UpdatableTypeCache" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2Hmddi" id="6QH_LDtdY5q" role="3cqZAp">
+          <node concept="37vLTw" id="6QH_LDtdYCG" role="2Hmdds">
+            <ref role="3cqZAo" node="6QH_LDtdXLK" resolve="typeCache2" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDtdW91" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtdZNt" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtdZNu" role="3cpWs9">
+            <property role="TrG5h" value="typesCache3" />
+            <node concept="3uibUv" id="6QH_LDtfmZy" role="1tU5fm">
+              <ref role="3uigEE" to="hano:6QH_LDtfe19" resolve="Typechecking.TypeCache" />
+            </node>
+            <node concept="2OqwBi" id="6QH_LDtdZNv" role="33vP2m">
+              <node concept="37vLTw" id="6QH_LDtdZNw" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtdTgs" resolve="tc" />
+              </node>
+              <node concept="liA8E" id="6QH_LDtdZNx" role="2OqNvi">
+                <ref role="37wK5l" to="hano:4Z$O9mrQJgp" resolve="cachedTypes" />
+                <node concept="37vLTw" id="6QH_LDtdZNy" role="37wK5m">
+                  <ref role="3cqZAo" node="6QH_LDtdVp4" resolve="unit" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3vMLTj" id="6QH_LDte06l" role="3cqZAp">
+          <node concept="37vLTw" id="6QH_LDte0h9" role="3tpDZB">
+            <ref role="3cqZAo" node="6QH_LDtdXLK" resolve="typeCache2" />
+          </node>
+          <node concept="37vLTw" id="6QH_LDte0rc" role="3tpDZA">
+            <ref role="3cqZAo" node="6QH_LDtdZNu" resolve="typesCache3" />
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDteGYQ" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDteITH" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDteITI" role="3cpWs9">
+            <property role="TrG5h" value="typeOfFoo" />
+            <node concept="3Tqbb2" id="6QH_LDteITC" role="1tU5fm" />
+            <node concept="2OqwBi" id="6QH_LDteITJ" role="33vP2m">
+              <node concept="37vLTw" id="6QH_LDteITK" role="2Oq$k0">
+                <ref role="3cqZAo" node="6QH_LDtdZNu" resolve="typesCache3" />
+              </node>
+              <node concept="liA8E" id="6QH_LDteITL" role="2OqNvi">
+                <ref role="37wK5l" to="hano:6QH_LDtffJj" resolve="typeOf" />
+                <node concept="3xONca" id="6QH_LDteITM" role="37wK5m">
+                  <ref role="3xOPvv" node="6QH_LDtdU18" resolve="foo" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3vwNmj" id="6QH_LDteJJk" role="3cqZAp">
+          <node concept="2YFouu" id="6QH_LDtfLOH" role="3vwVQn">
+            <node concept="37vLTw" id="6QH_LDtfLOI" role="3uHU7w">
+              <ref role="3cqZAo" node="6QH_LDteITI" resolve="typeOfFoo" />
+            </node>
+            <node concept="2c44tf" id="6QH_LDtfLOJ" role="3uHU7B">
+              <node concept="3uibUv" id="6QH_LDtfLOK" role="2c44tc">
+                <node concept="2c44tb" id="6QH_LDtfLOL" role="lGtFl">
+                  <property role="P3scX" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1107535904670/1107535924139" />
+                  <property role="2qtEX8" value="classifier" />
+                  <property role="3hQQBS" value="ClassifierType" />
+                  <node concept="3xONca" id="6QH_LDtfLOM" role="2c44t1">
+                    <ref role="3xOPvv" node="6QH_LDtdU18" resolve="foo" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDtdZrX" role="3cqZAp" />
+      </node>
+    </node>
+  </node>
+  <node concept="1lH9Xt" id="6$7vuu2u9rP">
+    <property role="TrG5h" value="TypecheckingFacade" />
+    <node concept="2XrIbr" id="6$7vuu2vnWT" role="1qtyYc">
+      <property role="TrG5h" value="sinkModel" />
+      <node concept="H_c77" id="6$7vuu2vo3x" role="3clF45" />
+      <node concept="3clFbS" id="6$7vuu2vnWV" role="3clF47">
+        <node concept="3cpWs8" id="WJyfsglt8y" role="3cqZAp">
+          <node concept="3cpWsn" id="WJyfsglt8z" role="3cpWs9">
+            <property role="TrG5h" value="source" />
+            <node concept="3uibUv" id="WJyfsgnH9z" role="1tU5fm">
+              <ref role="3uigEE" to="pa15:~PersistenceUtil$InMemoryStreamDataSource" resolve="PersistenceUtil.InMemoryStreamDataSource" />
+            </node>
+            <node concept="2ShNRf" id="WJyfsglt8_" role="33vP2m">
+              <node concept="1pGfFk" id="WJyfsglt8A" role="2ShVmc">
+                <ref role="37wK5l" to="pa15:~PersistenceUtil$InMemoryStreamDataSource.&lt;init&gt;()" resolve="PersistenceUtil.InMemoryStreamDataSource" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="WJyfsglt8B" role="3cqZAp">
+          <node concept="3cpWsn" id="WJyfsglt8C" role="3cpWs9">
+            <property role="TrG5h" value="options" />
+            <node concept="3uibUv" id="WJyfsglt8D" role="1tU5fm">
+              <ref role="3uigEE" to="33ny:~Map" resolve="Map" />
+              <node concept="3uibUv" id="WJyfsglt8E" role="11_B2D">
+                <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+              </node>
+              <node concept="3uibUv" id="WJyfsglt8F" role="11_B2D">
+                <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+              </node>
+            </node>
+            <node concept="2YIFZM" id="WJyfsglt8G" role="33vP2m">
+              <ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
+              <ref role="37wK5l" to="33ny:~Collections.singletonMap(java.lang.Object,java.lang.Object):java.util.Map" resolve="singletonMap" />
+              <node concept="10M0yZ" id="WJyfsglt8H" role="37wK5m">
+                <ref role="1PxDUh" to="dush:~ModelFactory" resolve="ModelFactory" />
+                <ref role="3cqZAo" to="dush:~ModelFactory.OPTION_MODELNAME" resolve="OPTION_MODELNAME" />
+              </node>
+              <node concept="Xl_RD" id="WJyfsglt8I" role="37wK5m">
+                <property role="Xl_RC" value="types-model" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6$7vuu2vviB" role="3cqZAp">
+          <node concept="2OqwBi" id="2zU3cYq$lrv" role="3clFbG">
+            <node concept="2OqwBi" id="2zU3cYq$lrw" role="2Oq$k0">
+              <node concept="2YIFZM" id="2zU3cYq$lrx" role="2Oq$k0">
+                <ref role="37wK5l" to="dush:~PersistenceFacade.getInstance():org.jetbrains.mps.openapi.persistence.PersistenceFacade" resolve="getInstance" />
+                <ref role="1Pybhc" to="dush:~PersistenceFacade" resolve="PersistenceFacade" />
+              </node>
+              <node concept="liA8E" id="2zU3cYq$lry" role="2OqNvi">
+                <ref role="37wK5l" to="dush:~PersistenceFacade.getDefaultModelFactory():org.jetbrains.mps.openapi.persistence.ModelFactory" resolve="getDefaultModelFactory" />
+              </node>
+            </node>
+            <node concept="liA8E" id="2zU3cYq$lrz" role="2OqNvi">
+              <ref role="37wK5l" to="dush:~ModelFactory.create(org.jetbrains.mps.openapi.persistence.DataSource,java.util.Map):org.jetbrains.mps.openapi.model.SModel" resolve="create" />
+              <node concept="37vLTw" id="2zU3cYq$lr$" role="37wK5m">
+                <ref role="3cqZAo" node="WJyfsglt8z" resolve="source" />
+              </node>
+              <node concept="37vLTw" id="2zU3cYq$lr_" role="37wK5m">
+                <ref role="3cqZAo" node="WJyfsglt8C" resolve="options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm6S6" id="6$7vuu2vo3h" role="1B3o_S" />
+      <node concept="3uibUv" id="6$7vuu2vuKr" role="Sfmx6">
+        <ref role="3uigEE" to="guwi:~IOException" resolve="IOException" />
+      </node>
+    </node>
+    <node concept="1LZb2c" id="6$7vuu2ubul" role="1SL9yI">
+      <property role="TrG5h" value="typecheckingSteps" />
+      <node concept="3cqZAl" id="6$7vuu2ubum" role="3clF45" />
+      <node concept="3clFbS" id="6$7vuu2ubuq" role="3clF47">
+        <node concept="3cpWs8" id="6$7vuu2ucVz" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2ucV$" role="3cpWs9">
+            <property role="TrG5h" value="unit" />
+            <node concept="H_c77" id="6$7vuu2ucVx" role="1tU5fm" />
+            <node concept="2OqwBi" id="6$7vuu2ucV_" role="33vP2m">
+              <node concept="3xONca" id="6$7vuu2ucVA" role="2Oq$k0">
+                <ref role="3xOPvv" node="6$7vuu2ubYm" resolve="cls" />
+              </node>
+              <node concept="I4A8Y" id="6$7vuu2ucVB" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6$7vuu2ugbw" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2ugbx" role="3cpWs9">
+            <property role="TrG5h" value="repository" />
+            <node concept="3uibUv" id="6$7vuu2ugbs" role="1tU5fm">
+              <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+            </node>
+            <node concept="2OqwBi" id="6$7vuu2ugby" role="33vP2m">
+              <node concept="2JrnkZ" id="6$7vuu2ugbz" role="2Oq$k0">
+                <node concept="37vLTw" id="6$7vuu2ugb$" role="2JrQYb">
+                  <ref role="3cqZAo" node="6$7vuu2ucV$" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="6$7vuu2ugb_" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2ugd_" role="3cqZAp" />
+        <node concept="3cpWs8" id="6$7vuu2ugt2" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2ugt3" role="3cpWs9">
+            <property role="TrG5h" value="tplApp" />
+            <node concept="3uibUv" id="6$7vuu2ugsZ" role="1tU5fm">
+              <ref role="3uigEE" to="hano:3GlpCDSxTG7" resolve="TemplatesApplication" />
+            </node>
+            <node concept="2ShNRf" id="6$7vuu2ugt4" role="33vP2m">
+              <node concept="1pGfFk" id="6$7vuu2ugt5" role="2ShVmc">
+                <ref role="37wK5l" to="hano:3GlpCDSychS" resolve="TemplatesApplication" />
+                <node concept="37vLTw" id="6$7vuu2ugt6" role="37wK5m">
+                  <ref role="3cqZAo" node="6$7vuu2ugbx" resolve="repository" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6$7vuu2ujxQ" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2ujxR" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="3uibUv" id="6$7vuu2ujxH" role="1tU5fm">
+              <ref role="3uigEE" to="hano:7Oc59RSEjdb" resolve="Result" />
+            </node>
+            <node concept="2OqwBi" id="6$7vuu2ujxS" role="33vP2m">
+              <node concept="37vLTw" id="6$7vuu2ujxT" role="2Oq$k0">
+                <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
+              </node>
+              <node concept="liA8E" id="6$7vuu2ujxU" role="2OqNvi">
+                <ref role="37wK5l" to="hano:3GlpCDSxTKz" resolve="applyTemplates" />
+                <node concept="2OqwBi" id="6$7vuu2ujxV" role="37wK5m">
+                  <node concept="3xONca" id="6$7vuu2ujxW" role="2Oq$k0">
+                    <ref role="3xOPvv" node="6$7vuu2ubYm" resolve="cls" />
+                  </node>
+                  <node concept="2Rxl7S" id="6$7vuu2ujxX" role="2OqNvi" />
+                </node>
+                <node concept="Xl_RD" id="6$7vuu2ujxY" role="37wK5m">
+                  <property role="Xl_RC" value="test" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3vwNmj" id="6$7vuu2usrD" role="3cqZAp">
+          <node concept="2OqwBi" id="6$7vuu2usrE" role="3vwVQn">
+            <node concept="37vLTw" id="6$7vuu2usrF" role="2Oq$k0">
+              <ref role="3cqZAo" node="6$7vuu2ujxR" resolve="res" />
+            </node>
+            <node concept="liA8E" id="6$7vuu2usrG" role="2OqNvi">
+              <ref role="37wK5l" to="hano:7Oc59RS_hsj" resolve="isSuccessful" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2usrC" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtbV60" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtbV61" role="3cpWs9">
+            <property role="TrG5h" value="errors" />
+            <node concept="3rvAFt" id="6QH_LDtbV62" role="1tU5fm">
+              <node concept="3uibUv" id="6QH_LDtbV63" role="3rvQeY">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="17QB3L" id="6QH_LDtbV64" role="3rvSg0" />
+            </node>
+            <node concept="2ShNRf" id="6QH_LDtbV65" role="33vP2m">
+              <node concept="3rGOSV" id="6QH_LDtbV66" role="2ShVmc">
+                <node concept="3uibUv" id="6QH_LDtbV67" role="3rHrn6">
+                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                </node>
+                <node concept="17QB3L" id="6QH_LDtbV68" role="3rHtpV" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6QH_LDtbV5P" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtbV5Q" role="3cpWs9">
+            <property role="TrG5h" value="evaluator" />
+            <node concept="3uibUv" id="6QH_LDtbV5R" role="1tU5fm">
+              <ref role="3uigEE" to="hano:41ox5Vnk76a" resolve="ProgramEvaluator" />
+            </node>
+          </node>
+        </node>
+        <node concept="2GUZhq" id="6$7vuu2uPZO" role="3cqZAp">
+          <node concept="3clFbS" id="6$7vuu2uPZQ" role="2GV8ay">
+            <node concept="3clFbF" id="3F6vMxqjuT0" role="3cqZAp">
+              <node concept="2OqwBi" id="3F6vMxqjuT1" role="3clFbG">
+                <node concept="10M0yZ" id="3F6vMxqjuT2" role="2Oq$k0">
+                  <ref role="3cqZAo" to="zx3l:~MemEvaluationSession.Companion" resolve="Companion" />
+                  <ref role="1PxDUh" to="zx3l:~MemEvaluationSession" resolve="MemEvaluationSession" />
+                </node>
+                <node concept="liA8E" id="3F6vMxqjuT3" role="2OqNvi">
+                  <ref role="37wK5l" to="zx3l:~MemEvaluationSession$Companion.init():void" resolve="init" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6$7vuu2uVEy" role="3cqZAp" />
+            <node concept="3cpWs8" id="6QH_LDtbV5I" role="3cqZAp">
+              <node concept="3cpWsn" id="6QH_LDtbV5J" role="3cpWs9">
+                <property role="TrG5h" value="config" />
+                <node concept="3uibUv" id="6QH_LDtbV5K" role="1tU5fm">
+                  <ref role="3uigEE" to="w7la:~EvaluationSession$Config" resolve="EvaluationSession.Config" />
+                </node>
+                <node concept="2YIFZM" id="6QH_LDtbV5L" role="33vP2m">
+                  <ref role="37wK5l" to="w7la:~EvaluationSession.newSession(jetbrains.mps.logic.reactor.program.Program):jetbrains.mps.logic.reactor.evaluation.EvaluationSession$Config" resolve="newSession" />
+                  <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
+                  <node concept="2OqwBi" id="6QH_LDtbV5M" role="37wK5m">
+                    <node concept="37vLTw" id="6QH_LDtbV5N" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
+                    </node>
+                    <node concept="liA8E" id="6QH_LDtbV5O" role="2OqNvi">
+                      <ref role="37wK5l" to="hano:3GlpCDSyO$P" resolve="getProgram" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="6$7vuu2vfG0" role="3cqZAp">
+              <node concept="37vLTI" id="6$7vuu2vfG2" role="3clFbG">
+                <node concept="2ShNRf" id="6QH_LDtbV5S" role="37vLTx">
+                  <node concept="1pGfFk" id="6QH_LDtbV5T" role="2ShVmc">
+                    <ref role="37wK5l" to="hano:HV6urVFjOl" resolve="ProgramEvaluator" />
+                    <node concept="2ShNRf" id="6QH_LDtbV5U" role="37wK5m">
+                      <node concept="1pGfFk" id="6QH_LDtbV5V" role="2ShVmc">
+                        <ref role="37wK5l" to="cxk7:3F6vMxqo1c$" resolve="DefaultSessionSolver" />
+                        <node concept="2OqwBi" id="6QH_LDtbV5W" role="37wK5m">
+                          <node concept="37vLTw" id="6QH_LDtbV5X" role="2Oq$k0">
+                            <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
+                          </node>
+                          <node concept="liA8E" id="6QH_LDtbV5Y" role="2OqNvi">
+                            <ref role="37wK5l" to="hano:3GlpCDSyRnn" resolve="getExpressionSolver" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="37vLTw" id="6$7vuu2vfG6" role="37vLTJ">
+                  <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="6QH_LDtbV6a" role="3cqZAp">
+              <node concept="3cpWsn" id="6QH_LDtbV6b" role="3cpWs9">
+                <property role="TrG5h" value="res2" />
+                <node concept="3uibUv" id="6QH_LDtbV6c" role="1tU5fm">
+                  <ref role="3uigEE" to="hano:7Oc59RSEjdb" resolve="Result" />
+                </node>
+                <node concept="2OqwBi" id="6QH_LDtbV6d" role="33vP2m">
+                  <node concept="37vLTw" id="6QH_LDtbV6e" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                  </node>
+                  <node concept="liA8E" id="6QH_LDtbV6f" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:HV6urVFrQ9" resolve="eval" />
+                    <node concept="37vLTw" id="6QH_LDtbV6g" role="37wK5m">
+                      <ref role="3cqZAo" node="6QH_LDtbV5J" resolve="config" />
+                    </node>
+                    <node concept="10M0yZ" id="6QH_LDtbV6h" role="37wK5m">
+                      <ref role="1PxDUh" to="yg8f:qubcdtxBiR" resolve="EvaluationTraceExt" />
+                      <ref role="3cqZAo" to="yg8f:24Vro6cS5rK" resolve="NULL" />
+                    </node>
+                    <node concept="37vLTw" id="6QH_LDtbV6i" role="37wK5m">
+                      <ref role="3cqZAo" node="6QH_LDtbV61" resolve="errors" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3vwNmj" id="6$7vuu2uk9h" role="3cqZAp">
+              <node concept="2OqwBi" id="6$7vuu2uktV" role="3vwVQn">
+                <node concept="37vLTw" id="6$7vuu2ut7B" role="2Oq$k0">
+                  <ref role="3cqZAo" node="6QH_LDtbV6b" resolve="res2" />
+                </node>
+                <node concept="liA8E" id="6$7vuu2ukRI" role="2OqNvi">
+                  <ref role="37wK5l" to="hano:7Oc59RS_hsj" resolve="isSuccessful" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6$7vuu2uPZP" role="3cqZAp" />
+          </node>
+          <node concept="3clFbS" id="6$7vuu2uPZR" role="2GVbov">
+            <node concept="3clFbF" id="6$7vuu2uR6h" role="3cqZAp">
+              <node concept="2OqwBi" id="6$7vuu2uR6i" role="3clFbG">
+                <node concept="10M0yZ" id="6$7vuu2uR6j" role="2Oq$k0">
+                  <ref role="3cqZAo" to="zx3l:~MemEvaluationSession.Companion" resolve="Companion" />
+                  <ref role="1PxDUh" to="zx3l:~MemEvaluationSession" resolve="MemEvaluationSession" />
+                </node>
+                <node concept="liA8E" id="6$7vuu2uR6k" role="2OqNvi">
+                  <ref role="37wK5l" to="zx3l:~MemEvaluationSession$Companion.deinit():void" resolve="deinit" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2vebj" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtbV6$" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtbV6_" role="3cpWs9">
+            <property role="TrG5h" value="typeTerms" />
+            <node concept="3rvAFt" id="6QH_LDtbV6A" role="1tU5fm">
+              <node concept="3uibUv" id="6QH_LDtbV6B" role="3rvQeY">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="3uibUv" id="6QH_LDtbV6C" role="3rvSg0">
+                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="6QH_LDtbV6D" role="33vP2m">
+              <node concept="3rGOSV" id="6QH_LDtbV6E" role="2ShVmc">
+                <node concept="3uibUv" id="6QH_LDtbV6F" role="3rHrn6">
+                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                </node>
+                <node concept="3uibUv" id="6QH_LDtbV6G" role="3rHtpV">
+                  <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6$7vuu2vE1w" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2vE1x" role="3cpWs9">
+            <property role="TrG5h" value="typeNodes" />
+            <node concept="3rvAFt" id="6$7vuu2vE1y" role="1tU5fm">
+              <node concept="3uibUv" id="6$7vuu2vE1z" role="3rvQeY">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="3Tqbb2" id="6$7vuu2vEHt" role="3rvSg0" />
+            </node>
+            <node concept="2ShNRf" id="6$7vuu2vE1_" role="33vP2m">
+              <node concept="3rGOSV" id="6$7vuu2vE1A" role="2ShVmc">
+                <node concept="3uibUv" id="6$7vuu2vE1B" role="3rHrn6">
+                  <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                </node>
+                <node concept="3Tqbb2" id="6$7vuu2vEQB" role="3rHtpV" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6QH_LDtbV6H" role="3cqZAp">
+          <node concept="2OqwBi" id="6QH_LDtbV6I" role="3clFbG">
+            <node concept="2ShNRf" id="6QH_LDtbV6J" role="2Oq$k0">
+              <node concept="HV5vD" id="6QH_LDtbV6K" role="2ShVmc">
+                <ref role="HV5vE" to="hano:6HT7BWBSFOV" resolve="TypeCollector" />
+              </node>
+            </node>
+            <node concept="liA8E" id="6QH_LDtbV6L" role="2OqNvi">
+              <ref role="37wK5l" to="hano:6HT7BWBSMTp" resolve="collectTypes" />
+              <node concept="2OqwBi" id="6QH_LDtbV6M" role="37wK5m">
+                <node concept="37vLTw" id="6QH_LDtbV6N" role="2Oq$k0">
+                  <ref role="3cqZAo" node="6QH_LDtbV5Q" resolve="evaluator" />
+                </node>
+                <node concept="liA8E" id="6QH_LDtbV6O" role="2OqNvi">
+                  <ref role="37wK5l" to="hano:3GlpCDSEY0I" resolve="occurrences" />
+                </node>
+              </node>
+              <node concept="37vLTw" id="6QH_LDtbV6P" role="37wK5m">
+                <ref role="3cqZAo" node="6QH_LDtbV6_" resolve="typeTerms" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6QH_LDtbV6Q" role="3cqZAp" />
+        <node concept="3cpWs8" id="6QH_LDtbV70" role="3cqZAp">
+          <node concept="3cpWsn" id="6QH_LDtbV71" role="3cpWs9">
+            <property role="TrG5h" value="recoverySession" />
+            <node concept="3uibUv" id="6QH_LDtbV72" role="1tU5fm">
+              <ref role="3uigEE" to="nz6g:Ya9Z$kMIRb" resolve="RecoverySession" />
+            </node>
+            <node concept="2ShNRf" id="6QH_LDtbV73" role="33vP2m">
+              <node concept="1pGfFk" id="6QH_LDtbV74" role="2ShVmc">
+                <ref role="37wK5l" to="nz6g:Ya9Z$kRaR0" resolve="RecoverySession" />
+                <node concept="2OqwBi" id="6QH_LDtbV75" role="37wK5m">
+                  <node concept="2OqwBi" id="6QH_LDtbV76" role="2Oq$k0">
+                    <node concept="37vLTw" id="6QH_LDtbV77" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6$7vuu2ugt3" resolve="tplApp" />
+                    </node>
+                    <node concept="liA8E" id="6QH_LDtbV78" role="2OqNvi">
+                      <ref role="37wK5l" to="hano:3GlpCDSyUJO" resolve="getTypecheckingTemplates" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="6QH_LDtbV79" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:4n$Qn$018my" resolve="typeTemplates" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="6$7vuu2vwNB" role="37wK5m">
+                  <node concept="2WthIp" id="6$7vuu2vwNE" role="2Oq$k0" />
+                  <node concept="2XshWL" id="6$7vuu2vwNG" role="2OqNvi">
+                    <ref role="2WH_rO" node="6$7vuu2vnWT" resolve="sinkModel" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DcWWT" id="6QH_LDtbV7b" role="3cqZAp">
+          <node concept="3clFbS" id="6QH_LDtbV7c" role="2LFqv$">
+            <node concept="3clFbF" id="6$7vuu2vN9k" role="3cqZAp">
+              <node concept="37vLTI" id="6$7vuu2vQzw" role="3clFbG">
+                <node concept="3EllGN" id="6$7vuu2vNLj" role="37vLTJ">
+                  <node concept="2OqwBi" id="6$7vuu2vOWt" role="3ElVtu">
+                    <node concept="37vLTw" id="6$7vuu2vON_" role="2Oq$k0">
+                      <ref role="3cqZAo" node="6QH_LDtbV7q" resolve="e" />
+                    </node>
+                    <node concept="liA8E" id="6$7vuu2vQiW" role="2OqNvi">
+                      <ref role="37wK5l" to="33ny:~Map$Entry.getKey():java.lang.Object" resolve="getKey" />
+                    </node>
+                  </node>
+                  <node concept="37vLTw" id="6$7vuu2vN9i" role="3ElQJh">
+                    <ref role="3cqZAo" node="6$7vuu2vE1x" resolve="typeNodes" />
+                  </node>
+                </node>
+                <node concept="2OqwBi" id="6$7vuu2vTcj" role="37vLTx">
+                  <node concept="37vLTw" id="6$7vuu2vTck" role="2Oq$k0">
+                    <ref role="3cqZAo" node="6QH_LDtbV71" resolve="recoverySession" />
+                  </node>
+                  <node concept="liA8E" id="6$7vuu2vTcl" role="2OqNvi">
+                    <ref role="37wK5l" to="nz6g:Ya9Z$kRb7o" resolve="recover" />
+                    <node concept="2OqwBi" id="6$7vuu2vTcm" role="37wK5m">
+                      <node concept="37vLTw" id="6$7vuu2vTcn" role="2Oq$k0">
+                        <ref role="3cqZAo" node="6QH_LDtbV7q" resolve="e" />
+                      </node>
+                      <node concept="liA8E" id="6$7vuu2vTco" role="2OqNvi">
+                        <ref role="37wK5l" to="33ny:~Map$Entry.getValue():java.lang.Object" resolve="getValue" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="6QH_LDtbV7q" role="1Duv9x">
+            <property role="TrG5h" value="e" />
+            <node concept="3uibUv" id="6QH_LDtbV7r" role="1tU5fm">
+              <ref role="3uigEE" to="33ny:~Map$Entry" resolve="Map.Entry" />
+              <node concept="3uibUv" id="6QH_LDtbV7s" role="11_B2D">
+                <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+              </node>
+              <node concept="3uibUv" id="6QH_LDtbV7t" role="11_B2D">
+                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="6QH_LDtbV7u" role="1DdaDG">
+            <node concept="1eOMI4" id="6QH_LDtbV7v" role="2Oq$k0">
+              <node concept="10QFUN" id="6QH_LDtbV7w" role="1eOMHV">
+                <node concept="3uibUv" id="6QH_LDtbV7x" role="10QFUM">
+                  <ref role="3uigEE" to="33ny:~Map" resolve="Map" />
+                  <node concept="3uibUv" id="6QH_LDtbV7y" role="11_B2D">
+                    <ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
+                  </node>
+                  <node concept="3uibUv" id="6QH_LDtbV7z" role="11_B2D">
+                    <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="TreeForm" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="6QH_LDtbV7$" role="10QFUP">
+                  <ref role="3cqZAo" node="6QH_LDtbV6_" resolve="typeTerms" />
+                </node>
+              </node>
+            </node>
+            <node concept="liA8E" id="6QH_LDtbV7_" role="2OqNvi">
+              <ref role="37wK5l" to="33ny:~Map.entrySet():java.util.Set" resolve="entrySet" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2veee" role="3cqZAp" />
+        <node concept="3vwNmj" id="6$7vuu2vV32" role="3cqZAp">
+          <node concept="2YFouu" id="6$7vuu2vWLe" role="3vwVQn">
+            <node concept="3EllGN" id="6$7vuu2w0VQ" role="3uHU7w">
+              <node concept="2OqwBi" id="6$7vuu2w3U0" role="3ElVtu">
+                <node concept="2JrnkZ" id="6$7vuu2w3Lh" role="2Oq$k0">
+                  <node concept="3xONca" id="6$7vuu2w20p" role="2JrQYb">
+                    <ref role="3xOPvv" node="6$7vuu2wqbE" resolve="expr" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="6$7vuu2w5d4" role="2OqNvi">
+                  <ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
+                </node>
+              </node>
+              <node concept="37vLTw" id="6$7vuu2w0$8" role="3ElQJh">
+                <ref role="3cqZAo" node="6$7vuu2vE1x" resolve="typeNodes" />
+              </node>
+            </node>
+            <node concept="2c44tf" id="6$7vuu2vYs4" role="3uHU7B">
+              <node concept="3uibUv" id="6$7vuu2vZw6" role="2c44tc">
+                <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1LZb2c" id="6$7vuu2wFYI" role="1SL9yI">
+      <property role="TrG5h" value="typecheckingFacade" />
+      <node concept="3cqZAl" id="6$7vuu2wFYJ" role="3clF45" />
+      <node concept="3clFbS" id="6$7vuu2wFYN" role="3clF47">
+        <node concept="3cpWs8" id="6$7vuu2wKkc" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2wKkd" role="3cpWs9">
+            <property role="TrG5h" value="unit" />
+            <node concept="H_c77" id="6$7vuu2wKke" role="1tU5fm" />
+            <node concept="2OqwBi" id="6$7vuu2wKkf" role="33vP2m">
+              <node concept="3xONca" id="6$7vuu2wKkg" role="2Oq$k0">
+                <ref role="3xOPvv" node="6$7vuu2ubYm" resolve="cls" />
+              </node>
+              <node concept="I4A8Y" id="6$7vuu2wKkh" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6$7vuu2wKki" role="3cqZAp">
+          <node concept="3cpWsn" id="6$7vuu2wKkj" role="3cpWs9">
+            <property role="TrG5h" value="repository" />
+            <node concept="3uibUv" id="6$7vuu2wKkk" role="1tU5fm">
+              <ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
+            </node>
+            <node concept="2OqwBi" id="6$7vuu2wKkl" role="33vP2m">
+              <node concept="2JrnkZ" id="6$7vuu2wKkm" role="2Oq$k0">
+                <node concept="37vLTw" id="6$7vuu2wKkn" role="2JrQYb">
+                  <ref role="3cqZAo" node="6$7vuu2wKkd" resolve="unit" />
+                </node>
+              </node>
+              <node concept="liA8E" id="6$7vuu2wKko" role="2OqNvi">
+                <ref role="37wK5l" to="mhbf:~SModel.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="6$7vuu2wJjQ" role="3cqZAp" />
+        <node concept="2GUZhq" id="6$7vuu2xvuu" role="3cqZAp">
+          <node concept="3clFbS" id="6$7vuu2xvuw" role="2GV8ay">
+            <node concept="3clFbF" id="6$7vuu2xwxg" role="3cqZAp">
+              <node concept="2YIFZM" id="6$7vuu2xCvD" role="3clFbG">
+                <ref role="37wK5l" to="umch:2zU3cYqyaC9" resolve="init" />
+                <ref role="1Pybhc" to="umch:2zU3cYqxbbL" resolve="TypesModelManager" />
+                <node concept="37vLTw" id="6$7vuu2xDwR" role="37wK5m">
+                  <ref role="3cqZAo" node="6$7vuu2wKkj" resolve="repository" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6$7vuu2xEii" role="3cqZAp" />
+            <node concept="3cpWs8" id="6$7vuu2wZdq" role="3cqZAp">
+              <node concept="3cpWsn" id="6$7vuu2wZdr" role="3cpWs9">
+                <property role="TrG5h" value="typeOfExpr" />
+                <node concept="3Tqbb2" id="6$7vuu2wZdp" role="1tU5fm" />
+                <node concept="2OqwBi" id="6$7vuu2wZds" role="33vP2m">
+                  <node concept="2YIFZM" id="6$7vuu2wZdt" role="2Oq$k0">
+                    <ref role="37wK5l" to="hano:7kaxm0sEy4A" resolve="getInstance" />
+                    <ref role="1Pybhc" to="hano:7kaxm0sEy3e" resolve="TypecheckingFacade" />
+                  </node>
+                  <node concept="liA8E" id="6$7vuu2wZdu" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:7kaxm0sEBHs" resolve="typeOf" />
+                    <node concept="3xONca" id="6$7vuu2wZdv" role="37wK5m">
+                      <ref role="3xOPvv" node="6$7vuu2wqbE" resolve="expr" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3vwNmj" id="6$7vuu2wZgV" role="3cqZAp">
+              <node concept="2YFouu" id="6$7vuu2wZgW" role="3vwVQn">
+                <node concept="2c44tf" id="6$7vuu2wZh3" role="3uHU7B">
+                  <node concept="3uibUv" id="6$7vuu2wZh4" role="2c44tc">
+                    <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="6$7vuu2x1Qn" role="3uHU7w">
+                  <ref role="3cqZAo" node="6$7vuu2wZdr" resolve="typeOfExpr" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="6$7vuu2xGtF" role="3cqZAp" />
+            <node concept="3cpWs8" id="6$7vuu2xGoA" role="3cqZAp">
+              <node concept="3cpWsn" id="6$7vuu2xGoB" role="3cpWs9">
+                <property role="TrG5h" value="typeOfExpr2" />
+                <node concept="3Tqbb2" id="6$7vuu2xGoC" role="1tU5fm" />
+                <node concept="2OqwBi" id="6$7vuu2xGoD" role="33vP2m">
+                  <node concept="2YIFZM" id="6$7vuu2xGoE" role="2Oq$k0">
+                    <ref role="37wK5l" to="hano:7kaxm0sEy4A" resolve="getInstance" />
+                    <ref role="1Pybhc" to="hano:7kaxm0sEy3e" resolve="TypecheckingFacade" />
+                  </node>
+                  <node concept="liA8E" id="6$7vuu2xGoF" role="2OqNvi">
+                    <ref role="37wK5l" to="hano:7kaxm0sEBHs" resolve="typeOf" />
+                    <node concept="3xONca" id="6$7vuu2xGoG" role="37wK5m">
+                      <ref role="3xOPvv" node="6$7vuu2wqbE" resolve="expr" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3vMLTj" id="6$7vuu2xH$g" role="3cqZAp">
+              <node concept="37vLTw" id="6$7vuu2xIBQ" role="3tpDZB">
+                <ref role="3cqZAo" node="6$7vuu2wZdr" resolve="typeOfExpr" />
+              </node>
+              <node concept="37vLTw" id="6$7vuu2xJDk" role="3tpDZA">
+                <ref role="3cqZAo" node="6$7vuu2xGoB" resolve="typeOfExpr2" />
+              </node>
+            </node>
+            <node concept="3clFbH" id="6$7vuu2xDxg" role="3cqZAp" />
+          </node>
+          <node concept="3clFbS" id="6$7vuu2xvux" role="2GVbov">
+            <node concept="3clFbF" id="6$7vuu2xDxB" role="3cqZAp">
+              <node concept="2YIFZM" id="6$7vuu2xD$t" role="3clFbG">
+                <ref role="37wK5l" to="umch:2zU3cYqyg2V" resolve="dispose" />
+                <ref role="1Pybhc" to="umch:2zU3cYqxbbL" resolve="TypesModelManager" />
+                <node concept="37vLTw" id="6$7vuu2xD$u" role="37wK5m">
+                  <ref role="3cqZAo" node="6$7vuu2wKkj" resolve="repository" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1qefOq" id="6$7vuu2uamm" role="1SKRRt">
+      <node concept="312cEu" id="6$7vuu2uamo" role="1qenE9">
+        <property role="TrG5h" value="Foo" />
+        <node concept="3clFb_" id="6$7vuu2uaoc" role="jymVt">
+          <property role="TrG5h" value="bar" />
+          <node concept="37vLTG" id="6$7vuu2uaoM" role="3clF46">
+            <property role="TrG5h" value="str" />
+            <node concept="3uibUv" id="6$7vuu2uapo" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+            </node>
+          </node>
+          <node concept="3cqZAl" id="6$7vuu2uaoe" role="3clF45" />
+          <node concept="3Tm1VV" id="6$7vuu2uaof" role="1B3o_S" />
+          <node concept="3clFbS" id="6$7vuu2uaog" role="3clF47">
+            <node concept="3clFbF" id="6$7vuu2uasa" role="3cqZAp">
+              <node concept="1rXfSq" id="6$7vuu2uas9" role="3clFbG">
+                <ref role="37wK5l" node="6$7vuu2uaqf" resolve="bazz" />
+                <node concept="37vLTw" id="6$7vuu2woUY" role="37wK5m">
+                  <ref role="3cqZAo" node="6$7vuu2uaoM" resolve="str" />
+                  <node concept="3xLA65" id="6$7vuu2wqbE" role="lGtFl">
+                    <property role="TrG5h" value="expr" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFb_" id="6$7vuu2uaqf" role="jymVt">
+          <property role="TrG5h" value="bazz" />
+          <node concept="37vLTG" id="6$7vuu2uaqV" role="3clF46">
+            <property role="TrG5h" value="obj" />
+            <node concept="3uibUv" id="6$7vuu2uarh" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+            </node>
+          </node>
+          <node concept="3cqZAl" id="6$7vuu2uaqh" role="3clF45" />
+          <node concept="3Tm1VV" id="6$7vuu2uaqi" role="1B3o_S" />
+          <node concept="3clFbS" id="6$7vuu2uaqj" role="3clF47" />
+        </node>
+        <node concept="3Tm1VV" id="6$7vuu2uamp" role="1B3o_S" />
+        <node concept="3xLA65" id="6$7vuu2ubYm" role="lGtFl">
+          <property role="TrG5h" value="cls" />
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+