diff --git a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps b/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
index 307e6e40..08e447b2 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
@@ -3,11 +3,13 @@
   <persistence version="9" />
   <languages>
     <use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="0" />
+    <use id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots" version="0" />
     <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
   </languages>
   <imports>
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
     <import index="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(sample.fooblin.structure)" />
+    <import index="tpcu" ref="r:00000000-0000-4000-0000-011c89590282(jetbrains.mps.lang.core.behavior)" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
   </imports>
   <registry>
@@ -18,7 +20,12 @@
         <child id="1225194240801" name="constructor" index="13h7CW" />
       </concept>
       <concept id="1225194413805" name="jetbrains.mps.lang.behavior.structure.ConceptConstructorDeclaration" flags="in" index="13hLZK" />
-      <concept id="1225194472830" name="jetbrains.mps.lang.behavior.structure.ConceptMethodDeclaration" flags="ng" index="13i0hz" />
+      <concept id="1225194472830" name="jetbrains.mps.lang.behavior.structure.ConceptMethodDeclaration" flags="ng" index="13i0hz">
+        <property id="1225194472833" name="isPrivate" index="13i0is" />
+        <property id="1225194472832" name="isVirtual" index="13i0it" />
+        <property id="1225194472834" name="isAbstract" index="13i0iv" />
+        <reference id="1225194472831" name="overriddenMethod" index="13i0hy" />
+      </concept>
       <concept id="1225194691553" name="jetbrains.mps.lang.behavior.structure.ThisNodeExpression" flags="nn" index="13iPFW" />
     </language>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -43,6 +50,9 @@
       <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
         <child id="1137022507850" name="body" index="2VODD2" />
       </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="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
         <child id="1164991057263" name="throwable" index="YScLw" />
       </concept>
@@ -50,14 +60,11 @@
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
-      <concept id="1109279763828" name="jetbrains.mps.baseLanguage.structure.TypeVariableDeclaration" flags="ng" index="16euLQ" />
-      <concept id="1109279851642" name="jetbrains.mps.baseLanguage.structure.GenericDeclaration" flags="ng" index="16eOlS">
-        <child id="1109279881614" name="typeVariableDeclaration" index="16eVyc" />
-      </concept>
       <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
         <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
       </concept>
       <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="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
@@ -81,6 +88,7 @@
       <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
         <property id="1068580123138" name="value" index="3clFbU" />
       </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
       <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
         <child id="1068581517676" name="expression" index="3cqZAk" />
       </concept>
@@ -88,6 +96,9 @@
         <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
       </concept>
       <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <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" />
       </concept>
@@ -100,8 +111,16 @@
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
+      <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
+        <child id="1163668914799" name="condition" index="3K4Cdx" />
+        <child id="1163668922816" name="ifTrue" index="3K4E3e" />
+        <child id="1163668934364" name="ifFalse" index="3K4GZi" />
+      </concept>
       <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
     </language>
+    <language id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots">
+      <concept id="4079382982702596667" name="jetbrains.mps.baseLanguage.checkedDots.structure.CheckedDotExpression" flags="nn" index="2EnYce" />
+    </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" />
@@ -115,6 +134,7 @@
       <concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
         <child id="1144104376918" name="parameter" index="1xVPHs" />
       </concept>
+      <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
       <concept id="7453996997717780434" name="jetbrains.mps.lang.smodel.structure.Node_GetSConceptOperation" flags="nn" index="2yIwOk" />
       <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
         <reference id="6733348108486823428" name="concept" index="1m5ApE" />
@@ -204,8 +224,8 @@
                       <node concept="3gn64h" id="4rRw8_AuAJI" role="3gmYPZ">
                         <ref role="3gnhBz" to="8tt8:7_8aRkgDGQf" resolve="Abs" />
                       </node>
-                      <node concept="3gn64h" id="4rRw8_AuAJJ" role="3gmYPZ">
-                        <ref role="3gnhBz" to="8tt8:7_8aRkgDHAe" resolve="LetClause" />
+                      <node concept="3gn64h" id="4dPZ2m2jQy3" role="3gmYPZ">
+                        <ref role="3gnhBz" to="8tt8:7_8aRkgDGQo" resolve="LetExpr" />
                       </node>
                     </node>
                   </node>
@@ -277,8 +297,8 @@
                 </node>
               </node>
               <node concept="1pnPoh" id="4rRw8_AuBwk" role="1_3QMm">
-                <node concept="3gn64h" id="4rRw8_AuBwC" role="1pnPq6">
-                  <ref role="3gnhBz" to="8tt8:7_8aRkgDHAe" resolve="LetClause" />
+                <node concept="3gn64h" id="4dPZ2m2jVp2" role="1pnPq6">
+                  <ref role="3gnhBz" to="8tt8:7_8aRkgDGQo" resolve="LetExpr" />
                 </node>
                 <node concept="3clFbS" id="4rRw8_AuBwo" role="1pnPq1">
                   <node concept="3clFbF" id="4rRw8_AuE83" role="3cqZAp">
@@ -286,13 +306,13 @@
                       <node concept="2OqwBi" id="4rRw8_AuE85" role="37vLTx">
                         <node concept="2OqwBi" id="4rRw8_AuE86" role="2Oq$k0">
                           <node concept="1PxgMI" id="4rRw8_AuE87" role="2Oq$k0">
-                            <ref role="1m5ApE" to="8tt8:7_8aRkgDHAe" resolve="LetClause" />
+                            <ref role="1m5ApE" to="8tt8:7_8aRkgDGQo" resolve="LetExpr" />
                             <node concept="37vLTw" id="4rRw8_AuE88" role="1m5AlR">
                               <ref role="3cqZAo" node="4rRw8_AuAJD" resolve="binder" />
                             </node>
                           </node>
-                          <node concept="3TrEf2" id="4rRw8_Avj70" role="2OqNvi">
-                            <ref role="3Tt5mk" to="8tt8:7_8aRkgDHAf" resolve="var" />
+                          <node concept="3TrEf2" id="4dPZ2m2k18L" role="2OqNvi">
+                            <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQv" resolve="bind" />
                           </node>
                         </node>
                         <node concept="2Rf3mk" id="4rRw8_AuE8a" role="2OqNvi">
@@ -396,11 +416,139 @@
         </node>
         <node concept="3clFbH" id="4rRw8_AtH9u" role="3cqZAp" />
       </node>
-      <node concept="16euLQ" id="4rRw8_AtH8Q" role="16eVyc" />
     </node>
     <node concept="13hLZK" id="4rRw8_AtH8g" role="13h7CW">
       <node concept="3clFbS" id="4rRw8_AtH8h" role="2VODD2" />
     </node>
   </node>
+  <node concept="13h7C7" id="3g9UT2j94eo">
+    <property role="3GE5qa" value="type" />
+    <ref role="13h7C2" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+    <node concept="13hLZK" id="3g9UT2j94ep" role="13h7CW">
+      <node concept="3clFbS" id="3g9UT2j94eq" role="2VODD2" />
+    </node>
+    <node concept="13i0hz" id="3g9UT2j94ez" role="13h7CS">
+      <property role="13i0is" value="false" />
+      <property role="TrG5h" value="getPresentation" />
+      <property role="13i0it" value="false" />
+      <property role="13i0iv" value="false" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="3g9UT2j94fF" role="1B3o_S" />
+      <node concept="3clFbS" id="3g9UT2j94iG" role="3clF47">
+        <node concept="3cpWs8" id="3g9UT2j9tnW" role="3cqZAp">
+          <node concept="3cpWsn" id="3g9UT2j9tnX" role="3cpWs9">
+            <property role="TrG5h" value="arg" />
+            <node concept="17QB3L" id="3g9UT2j9tnU" role="1tU5fm" />
+            <node concept="2EnYce" id="3g9UT2j9tnY" role="33vP2m">
+              <node concept="2OqwBi" id="3g9UT2j9tnZ" role="2Oq$k0">
+                <node concept="13iPFW" id="3g9UT2j9to0" role="2Oq$k0" />
+                <node concept="3TrEf2" id="3g9UT2j9to1" role="2OqNvi">
+                  <ref role="3Tt5mk" to="8tt8:3_qfG1EP6Op" resolve="argType" />
+                </node>
+              </node>
+              <node concept="2qgKlT" id="3g9UT2j9to2" role="2OqNvi">
+                <ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="3g9UT2j9y4S" role="3cqZAp">
+          <node concept="3cpWsn" id="3g9UT2j9y4T" role="3cpWs9">
+            <property role="TrG5h" value="res" />
+            <node concept="17QB3L" id="3g9UT2j9y4Q" role="1tU5fm" />
+            <node concept="2EnYce" id="3g9UT2j9y4U" role="33vP2m">
+              <node concept="2OqwBi" id="3g9UT2j9y4V" role="2Oq$k0">
+                <node concept="13iPFW" id="3g9UT2j9y4W" role="2Oq$k0" />
+                <node concept="3TrEf2" id="3g9UT2j9y4X" role="2OqNvi">
+                  <ref role="3Tt5mk" to="8tt8:3_qfG1EP6O_" resolve="resType" />
+                </node>
+              </node>
+              <node concept="2qgKlT" id="3g9UT2j9y4Y" role="2OqNvi">
+                <ref role="37wK5l" to="tpcu:hEwIMiw" resolve="getPresentation" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3g9UT2j959x" role="3cqZAp">
+          <node concept="3cpWs3" id="3g9UT2j98F7" role="3clFbG">
+            <node concept="1eOMI4" id="3g9UT2j9yFi" role="3uHU7w">
+              <node concept="3K4zz7" id="3g9UT2j9zdX" role="1eOMHV">
+                <node concept="37vLTw" id="3g9UT2j9zpP" role="3K4E3e">
+                  <ref role="3cqZAo" node="3g9UT2j9y4T" resolve="res" />
+                </node>
+                <node concept="Xl_RD" id="3g9UT2j9zdZ" role="3K4GZi">
+                  <property role="Xl_RC" value="?" />
+                </node>
+                <node concept="3y3z36" id="3g9UT2j9ze0" role="3K4Cdx">
+                  <node concept="10Nm6u" id="3g9UT2j9ze1" role="3uHU7w" />
+                  <node concept="37vLTw" id="3g9UT2j9zph" role="3uHU7B">
+                    <ref role="3cqZAo" node="3g9UT2j9y4T" resolve="res" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs3" id="3g9UT2j9wmh" role="3uHU7B">
+              <node concept="1eOMI4" id="3g9UT2j9xEV" role="3uHU7B">
+                <node concept="3K4zz7" id="3g9UT2j9xPw" role="1eOMHV">
+                  <node concept="37vLTw" id="3g9UT2j9xPx" role="3K4E3e">
+                    <ref role="3cqZAo" node="3g9UT2j9tnX" resolve="arg" />
+                  </node>
+                  <node concept="Xl_RD" id="3g9UT2j9xPy" role="3K4GZi">
+                    <property role="Xl_RC" value="?" />
+                  </node>
+                  <node concept="3y3z36" id="3g9UT2j9xPz" role="3K4Cdx">
+                    <node concept="10Nm6u" id="3g9UT2j9xP$" role="3uHU7w" />
+                    <node concept="37vLTw" id="3g9UT2j9xP_" role="3uHU7B">
+                      <ref role="3cqZAo" node="3g9UT2j9tnX" resolve="arg" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="Xl_RD" id="3g9UT2j97GC" role="3uHU7w">
+                <property role="Xl_RC" value=" -&gt; " />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="3g9UT2j94iH" role="3clF45" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="3g9UT2j9Iup">
+    <property role="3GE5qa" value="type" />
+    <ref role="13h7C2" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+    <node concept="13hLZK" id="3g9UT2j9Iuq" role="13h7CW">
+      <node concept="3clFbS" id="3g9UT2j9Iur" role="2VODD2" />
+    </node>
+    <node concept="13i0hz" id="3g9UT2j9Iu$" role="13h7CS">
+      <property role="13i0is" value="false" />
+      <property role="TrG5h" value="getPresentation" />
+      <property role="13i0it" value="false" />
+      <property role="13i0iv" value="false" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="3g9UT2j9IvG" role="1B3o_S" />
+      <node concept="3clFbS" id="3g9UT2j9IvH" role="3clF47">
+        <node concept="3clFbF" id="3g9UT2j9IzO" role="3cqZAp">
+          <node concept="3cpWs3" id="2OtUBGmkOUy" role="3clFbG">
+            <node concept="Xl_RD" id="2OtUBGmkOU_" role="3uHU7w">
+              <property role="Xl_RC" value="'" />
+            </node>
+            <node concept="3cpWs3" id="2OtUBGmkOiq" role="3uHU7B">
+              <node concept="Xl_RD" id="2OtUBGmkOit" role="3uHU7B">
+                <property role="Xl_RC" value="'" />
+              </node>
+              <node concept="2OqwBi" id="3g9UT2j9IHa" role="3uHU7w">
+                <node concept="13iPFW" id="3g9UT2j9IzN" role="2Oq$k0" />
+                <node concept="3TrcHB" id="3g9UT2j9IRP" role="2OqNvi">
+                  <ref role="3TsBF5" to="8tt8:3g9UT2j9Itl" resolve="name" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="3g9UT2j9IvI" role="3clF45" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps b/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
index 26ea2cb5..b071735c 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
@@ -786,14 +786,14 @@
         </node>
       </node>
       <node concept="3F1sOY" id="3_qfG1EP6OC" role="3EZMnx">
-        <property role="1$x2rV" value="*" />
+        <property role="1$x2rV" value="?" />
         <ref role="1NtTu8" to="8tt8:3_qfG1EP6Op" resolve="argType" />
       </node>
       <node concept="3F0ifn" id="3_qfG1EP6OI" role="3EZMnx">
         <property role="3F0ifm" value="-&gt;" />
       </node>
       <node concept="3F1sOY" id="3_qfG1EP6OV" role="3EZMnx">
-        <property role="1$x2rV" value="*" />
+        <property role="1$x2rV" value="?" />
         <ref role="1NtTu8" to="8tt8:3_qfG1EP6O_" resolve="resType" />
       </node>
       <node concept="3F0ifn" id="4rRw8_AvxCE" role="3EZMnx">
@@ -841,5 +841,31 @@
       <node concept="l2Vlx" id="492bFERojSt" role="2iSdaV" />
     </node>
   </node>
+  <node concept="24kQdi" id="4dPZ2m2jEF0">
+    <property role="3GE5qa" value="type" />
+    <ref role="1XX52x" to="8tt8:492bFERodLp" resolve="BoolType" />
+    <node concept="3EZMnI" id="4dPZ2m2jEF2" role="2wV5jI">
+      <node concept="PMmxH" id="4dPZ2m2jEFc" role="3EZMnx">
+        <ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
+      </node>
+      <node concept="l2Vlx" id="4dPZ2m2jEF5" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3g9UT2j9ItM">
+    <property role="3GE5qa" value="type" />
+    <ref role="1XX52x" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+    <node concept="3EZMnI" id="3g9UT2j9ItO" role="2wV5jI">
+      <node concept="3F0ifn" id="2OtUBGmkNrh" role="3EZMnx">
+        <property role="3F0ifm" value="'" />
+      </node>
+      <node concept="3F0A7n" id="3g9UT2j9ItV" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:3g9UT2j9Itl" resolve="name" />
+      </node>
+      <node concept="3F0ifn" id="2OtUBGmkNrp" role="3EZMnx">
+        <property role="3F0ifm" value="'" />
+      </node>
+      <node concept="l2Vlx" id="3g9UT2j9ItR" role="2iSdaV" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/models/structure.mps b/samples/lambdacalc/languages/sample.fooblin/models/structure.mps
index bc224d4d..511b58c3 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/structure.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/structure.mps
@@ -16,6 +16,7 @@
         <property id="4628067390765956802" name="abstract" index="R5$K7" />
         <property id="5092175715804935370" name="conceptAlias" index="34LRSv" />
         <child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
+        <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
       </concept>
       <concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
         <reference id="1169127628841" name="intfc" index="PrY4T" />
@@ -25,6 +26,10 @@
         <reference id="1071489389519" name="extends" index="1TJDcQ" />
         <child id="1169129564478" name="implements" index="PzmwI" />
       </concept>
+      <concept id="1071489288299" name="jetbrains.mps.lang.structure.structure.PropertyDeclaration" flags="ig" index="1TJgyi">
+        <property id="241647608299431129" name="propertyId" index="IQ2nx" />
+        <reference id="1082985295845" name="dataType" index="AX2Wp" />
+      </concept>
       <concept id="1071489288298" name="jetbrains.mps.lang.structure.structure.LinkDeclaration" flags="ig" index="1TJgyj">
         <property id="1071599776563" name="role" index="20kJfa" />
         <property id="1071599893252" name="sourceCardinality" index="20lbJX" />
@@ -282,5 +287,16 @@
     <property role="34LRSv" value="false" />
     <ref role="1TJDcQ" node="7_8aRkgDGQe" resolve="Const" />
   </node>
+  <node concept="1TIwiD" id="3g9UT2j9I06">
+    <property role="EcuMT" value="3749787170939265030" />
+    <property role="3GE5qa" value="type" />
+    <property role="TrG5h" value="VarType" />
+    <ref role="1TJDcQ" node="3_qfG1EP6Nw" resolve="Type" />
+    <node concept="1TJgyi" id="3g9UT2j9Itl" role="1TKVEl">
+      <property role="IQ2nx" value="3749787170939266901" />
+      <property role="TrG5h" value="name" />
+      <ref role="AX2Wp" to="tpck:fKAOsGN" resolve="string" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
index e8f2b37a..474d79e4 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -4,18 +4,31 @@
   <languages>
     <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.typesystem2" version="0" />
     <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="4" />
+    <use id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="sample.fooblin" version="0" />
+    <use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="0" />
+    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
+    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="0" />
     <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
   </languages>
   <imports>
     <import index="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(sample.fooblin.structure)" />
     <import index="hano" ref="r:2b43b673-12f9-49ea-8e43-d0c7a401586a(jetbrains.mps.lang.typesystem2.typechecking)" />
     <import index="1x08" ref="r:9dec6437-6097-4be2-891f-1792da0df61f(sample.fooblin.behavior)" />
+    <import index="bj13" ref="bbf5c548-7111-4a53-a117-cdefc664cf34/java:jetbrains.mps.logic.reactor.logical(jetbrains.mps.logic.reactor/)" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
+    <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="8tt8" ref="r:e74c1bfc-387b-4b4b-abee-2eb77ee510ec(sample.fooblin.structure)" />
+    <import index="nz6g" ref="r:ac00f724-30be-446e-805c-2345efc460d7(jetbrains.mps.lang.typesystem2.program)" />
+    <import index="69ci" ref="r:d628db6e-191f-4c0f-a802-15ad423aa41e(sample.fooblin.types)" />
     <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" implicit="true" />
-    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
     <import index="6bz1" ref="r:d3905048-7598-4a84-931a-cbbcbcda146d(jetbrains.mps.lang.intentions.methods)" implicit="true" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
       <concept id="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" />
@@ -23,9 +36,13 @@
       <concept id="1215695189714" name="jetbrains.mps.baseLanguage.structure.PlusAssignmentExpression" flags="nn" index="d57v9" />
       <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="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
         <child id="1076505808688" name="condition" index="2$JKZa" />
       </concept>
+      <concept id="1239714755177" name="jetbrains.mps.baseLanguage.structure.AbstractUnaryNumberOperation" flags="nn" index="2$Kvd9">
+        <child id="1239714902950" name="expression" index="2$L3a6" />
+      </concept>
       <concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
         <reference id="1188208074048" name="annotation" index="2AI5Lk" />
       </concept>
@@ -46,14 +63,26 @@
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
       <concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
+      <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="1182160077978" name="jetbrains.mps.baseLanguage.structure.AnonymousClassCreator" flags="nn" index="YeOm9">
+        <child id="1182160096073" name="cls" index="YeSDq" />
+      </concept>
       <concept id="1081236700938" name="jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" flags="ig" index="2YIFZL" />
       <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
         <reference id="1144433194310" name="classConcept" index="1Pybhc" />
       </concept>
+      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
+        <child id="1164991057263" name="throwable" index="YScLw" />
+      </concept>
       <concept id="1081256982272" name="jetbrains.mps.baseLanguage.structure.InstanceOfExpression" flags="nn" index="2ZW3vV">
         <child id="1081256993305" name="classType" index="2ZW6by" />
         <child id="1081256993304" name="leftExpression" index="2ZW6bz" />
       </concept>
+      <concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
+        <reference id="1144433057691" name="classifier" index="1PxDUh" />
+      </concept>
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
       <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
       <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
@@ -62,15 +91,27 @@
         <child id="1070534934092" name="expression" index="10QFUP" />
       </concept>
       <concept id="1068390468200" name="jetbrains.mps.baseLanguage.structure.FieldDeclaration" flags="ig" index="312cEg" />
-      <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu" />
+      <concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
+        <property id="1075300953594" name="abstractClass" index="1sVAO0" />
+        <property id="1221565133444" name="isFinal" index="1EXbeo" />
+      </concept>
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <property id="1176718929932" name="isFinal" index="3TUv4t" />
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
+      <concept id="1109279763828" name="jetbrains.mps.baseLanguage.structure.TypeVariableDeclaration" flags="ng" index="16euLQ" />
+      <concept id="1109279851642" name="jetbrains.mps.baseLanguage.structure.GenericDeclaration" flags="ng" index="16eOlS">
+        <child id="1109279881614" name="typeVariableDeclaration" index="16eVyc" />
+      </concept>
+      <concept id="1109283449304" name="jetbrains.mps.baseLanguage.structure.TypeVariableReference" flags="in" index="16syzq">
+        <reference id="1109283546497" name="typeVariableDeclaration" index="16sUi3" />
+      </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="1225271283259" name="jetbrains.mps.baseLanguage.structure.NPEEqualsExpression" flags="nn" index="17R0WA" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
@@ -91,6 +132,7 @@
       </concept>
       <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
         <child id="1068580123161" name="ifTrue" index="3clFbx" />
       </concept>
@@ -116,6 +158,7 @@
       <concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
         <child id="1079359253376" name="expression" index="1eOMHV" />
       </concept>
+      <concept id="1081506762703" name="jetbrains.mps.baseLanguage.structure.GreaterThanExpression" flags="nn" index="3eOSWO" />
       <concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
       <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
         <child id="1081516765348" name="expression" index="3fr31v" />
@@ -132,6 +175,7 @@
       <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" />
@@ -141,6 +185,11 @@
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
+      <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
+        <child id="1163668914799" name="condition" index="3K4Cdx" />
+        <child id="1163668922816" name="ifTrue" index="3K4E3e" />
+        <child id="1163668934364" name="ifFalse" index="3K4GZi" />
+      </concept>
       <concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
         <property id="6329021646629104958" name="text" index="3SKdUp" />
       </concept>
@@ -149,15 +198,38 @@
       </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="1116615150612" name="jetbrains.mps.baseLanguage.structure.ClassifierClassExpression" flags="nn" index="3VsKOn">
+        <reference id="1116615189566" name="classifier" index="3VsUkX" />
+      </concept>
       <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+      <concept id="1170345865475" name="jetbrains.mps.baseLanguage.structure.AnonymousClass" flags="ig" index="1Y3b0j">
+        <reference id="1170346070688" name="classifier" index="1Y3XeK" />
+      </concept>
+    </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="1199569916463" name="body" index="1bW5cS" />
+      </concept>
     </language>
     <language id="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67" name="jetbrains.mps.baseLanguage.lightweightdsl">
       <concept id="8880393040217246788" name="jetbrains.mps.baseLanguage.lightweightdsl.structure.MethodParameterInstance" flags="ig" index="ffn8J">
         <reference id="8880393040217294897" name="decl" index="ffrpq" />
       </concept>
     </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="1196350785112" name="jetbrains.mps.lang.quotation.structure.Antiquotation" flags="ng" index="2c44te" />
+      <concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
+        <child id="1196350785114" name="quotedNode" index="2c44tc" />
+      </concept>
+      <concept id="1196866233735" name="jetbrains.mps.lang.quotation.structure.PropertyAntiquotation" flags="ng" index="2EMmih" />
+    </language>
     <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
       <concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
+        <child id="6399471711045617306" name="dataType" index="3vLBG7" />
         <child id="3063948360254832884" name="declaration" index="3XD1gS" />
       </concept>
       <concept id="8829335963593820278" name="jetbrains.mps.logic.structure.LogicalVariableReference" flags="ng" index="a7P8L">
@@ -166,21 +238,24 @@
       <concept id="8829335963591331603" name="jetbrains.mps.logic.structure.LogicalValue" flags="ng" index="aYllk">
         <child id="8829335963591353819" name="code" index="aYrYs" />
       </concept>
+      <concept id="8829335963591530299" name="jetbrains.mps.logic.structure.ExpressionLogicalVariable" flags="ng" index="aZ4PW">
+        <child id="8829335963591530990" name="expression" index="aZ4eD" />
+      </concept>
       <concept id="8829335963591572611" name="jetbrains.mps.logic.structure.LogicalVariableDeclaration" flags="ng" index="aZer4" />
+      <concept id="5131913661993028914" name="jetbrains.mps.logic.structure.AssignedLogicalVariable" flags="ng" index="1uarlV">
+        <child id="5131913661993028915" name="variable" index="1uarlU" />
+        <child id="5131913661993028917" name="value" index="1uarlW" />
+      </concept>
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
       <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
-      <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
-        <reference id="6733348108486823428" name="concept" index="1m5ApE" />
-        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
-      </concept>
       <concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
         <child id="1145404616321" name="leftExpression" index="2JrQYb" />
       </concept>
-      <concept id="1181949435690" name="jetbrains.mps.lang.smodel.structure.Concept_NewInstance" flags="nn" index="LFhST" />
-      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
-        <property id="1238684351431" name="asCast" index="1BlNFB" />
+      <concept id="2644386474300074836" name="jetbrains.mps.lang.smodel.structure.ConceptIdRefExpression" flags="nn" index="35c_gC">
+        <reference id="2644386474300074837" name="conceptDeclaration" index="35c_gD" />
       </concept>
+      <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
       <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
         <reference id="1138405853777" name="concept" index="ehGHo" />
       </concept>
@@ -192,6 +267,10 @@
       <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
         <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
       </concept>
+      <concept id="3364660638048049750" name="jetbrains.mps.lang.core.structure.PropertyAttribute" flags="ng" index="A9Btg">
+        <property id="1757699476691236117" name="propertyName" index="2qtEX9" />
+        <property id="1341860900487648621" name="propertyId" index="P4ACc" />
+      </concept>
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
@@ -203,6 +282,33 @@
         <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
       </concept>
     </language>
+    <language id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="sample.fooblin">
+      <concept id="3749787170939265030" name="sample.fooblin.structure.VarType" flags="ng" index="2BbKIm">
+        <property id="3749787170939266901" name="name" index="2BbKN5" />
+      </concept>
+      <concept id="4132684604212800783" name="sample.fooblin.structure.FunType" flags="ng" index="1jz_ff">
+        <child id="4132684604212800793" name="argType" index="1jz_fp" />
+        <child id="4132684604212800805" name="resType" index="1jz_f_" />
+      </concept>
+      <concept id="4774429934441520217" name="sample.fooblin.structure.BoolType" flags="ng" index="3P8Jbz" />
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
+        <child id="1201654602639" name="key" index="38cxEo" />
+      </concept>
+      <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>
     <language id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.typesystem2">
       <concept id="1618328391714701929" name="jetbrains.mps.lang.typesystem2.structure.TypeTermTemplate" flags="ng" index="0oftK">
         <child id="1618328391714701961" name="feature" index="0ofug" />
@@ -210,40 +316,50 @@
       <concept id="1618328391714701966" name="jetbrains.mps.lang.typesystem2.structure.StringTypeFeature" flags="ng" index="0ofun">
         <child id="1476354154047290766" name="getter" index="3AP2R9" />
       </concept>
+      <concept id="1618328391714701957" name="jetbrains.mps.lang.typesystem2.structure.TypeFeature" flags="ng" index="0ofus">
+        <property id="1877115349164965185" name="final" index="3JpusR" />
+      </concept>
       <concept id="1618328391714702001" name="jetbrains.mps.lang.typesystem2.structure.ChildTypeFeature" flags="ng" index="0ofuC" />
       <concept id="1618328391714763069" name="jetbrains.mps.lang.typesystem2.structure.TypeTable" flags="ng" index="0oKg$">
         <child id="1618328391714763070" name="type" index="0oKgB" />
+        <child id="5524459797190401360" name="termDeclaration" index="BRKYU" />
       </concept>
       <concept id="1618328391714763491" name="jetbrains.mps.lang.typesystem2.structure.TypeDeclaration" flags="ng" index="0oKvU">
+        <reference id="5524459797192461937" name="termDecl" index="BfTMr" />
         <reference id="6677504323281689839" name="conceptDeclaraton" index="3bZ5Sy" />
-        <child id="1618328391714763494" name="term" index="0oKvZ" />
-        <child id="8908809128802132746" name="parameter" index="3tC56T" />
         <child id="8908809128801952514" name="init" index="3unh6L" />
-        <child id="3371197252794315279" name="recovery" index="1ImLg5" />
+      </concept>
+      <concept id="6928531011217292466" name="jetbrains.mps.lang.typesystem2.structure.IsfreeVariableConstraint" flags="ng" index="2aLmEc" />
+      <concept id="6928531011217258898" name="jetbrains.mps.lang.typesystem2.structure.LogicVariableConstraint" flags="ng" index="2aLIYG">
+        <child id="6928531011217290187" name="variable" index="2aLmnP" />
       </concept>
       <concept id="4992889260816483106" name="jetbrains.mps.lang.typesystem2.structure.Condition" flags="ng" index="cBwPQ" />
       <concept id="6691972578451976398" name="jetbrains.mps.lang.typesystem2.structure.RuleInputSpecification" flags="ng" index="2t___k">
         <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
         <child id="6691972578451986151" name="input" index="2t_VXX" />
       </concept>
-      <concept id="8335224865066016385" name="jetbrains.mps.lang.typesystem2.structure.NewTypeConstraint" flags="ng" index="AVZhr">
-        <reference id="1129524318932020868" name="typeDeclaration" index="WHOVA" />
-        <child id="7368070394768578348" name="typeVar" index="3A07fg" />
-      </concept>
       <concept id="8335224865066016388" name="jetbrains.mps.lang.typesystem2.structure.Rule" flags="ng" index="AVZhu">
         <child id="4340821131304055573" name="condition" index="30RCb4" />
       </concept>
       <concept id="8335224865066015764" name="jetbrains.mps.lang.typesystem2.structure.Handler" flags="ng" index="AVZre">
+        <property id="2316688792951788157" name="stage" index="3J8TDj" />
         <child id="7368070394767441299" name="rule" index="3ArX_J" />
       </concept>
-      <concept id="7248331023826941335" name="jetbrains.mps.lang.typesystem2.structure.AssertExpressionConstraint" flags="ng" index="3lcGGY" />
-      <concept id="8908809128802132672" name="jetbrains.mps.lang.typesystem2.structure.TypeDeclarationParameter" flags="ng" index="3tC51N">
-        <child id="8908809128802132718" name="type" index="3tC51t" />
+      <concept id="5524459797186715156" name="jetbrains.mps.lang.typesystem2.structure.NewTypePseudoConstraint" flags="ng" index="B_ONY">
+        <child id="5524459797186715211" name="typeTerm" index="B_OMx" />
+        <child id="5524459797186715209" name="typeVar" index="B_OMz" />
+      </concept>
+      <concept id="5524459797190399502" name="jetbrains.mps.lang.typesystem2.structure.TypeTermDeclaration" flags="ng" index="BRKj$">
+        <child id="5524459797190401236" name="template" index="BRKSY" />
+      </concept>
+      <concept id="7248331023826941335" name="jetbrains.mps.lang.typesystem2.structure.AssertExpressionConstraint" flags="ng" index="3lcGGY" />
+      <concept id="8908809128804390455" name="jetbrains.mps.lang.typesystem2.structure.TypeLogicalExpression" flags="ng" index="3txIi4" />
+      <concept id="8908809128801951589" name="jetbrains.mps.lang.typesystem2.structure.TypeInitializer" flags="ng" index="3uniRm">
+        <child id="8908809128801951592" name="code" index="3uniRr" />
       </concept>
-      <concept id="8908809128804077211" name="jetbrains.mps.lang.typesystem2.structure.TypeConceptExpression" flags="ng" index="3tJrKC" />
-      <concept id="8908809128801951589" name="jetbrains.mps.lang.typesystem2.structure.TypeInitializer" flags="ng" index="3uniRm" />
       <concept id="5372587443975633709" name="jetbrains.mps.lang.typesystem2.structure.AbstractRule" flags="ng" index="3wqRzX">
         <child id="7509376976631847095" name="input" index="20_v8_" />
+        <child id="1427485783571243167" name="guard" index="3oo59u" />
         <child id="1427485783570316357" name="head" index="3orSU4" />
         <child id="1427485783571962463" name="body" index="3otmyu" />
       </concept>
@@ -260,15 +376,17 @@
         <child id="7368070394770793388" name="assignee" index="3A8wtg" />
       </concept>
       <concept id="7368070394771082804" name="jetbrains.mps.lang.typesystem2.structure.LogicalExpression" flags="ng" index="3A9UF8">
-        <child id="7368070394771104782" name="clause" index="3A9W3M" />
+        <child id="7368070394771104782" name="content" index="3A9W3M" />
       </concept>
       <concept id="7368070394766963750" name="jetbrains.mps.lang.typesystem2.structure.Head" flags="ng" index="3Aq93q">
         <property id="7368070394767443940" name="keep" index="3ArMco" />
       </concept>
       <concept id="7368070394766963523" name="jetbrains.mps.lang.typesystem2.structure.RuleComponent" flags="ng" index="3Aq9uZ">
         <child id="7368070394766972297" name="code" index="3Aqf5P" />
+        <child id="2316688792939037645" name="logic" index="3Ip0Jz" />
         <child id="965748826975413053" name="parameter" index="3Nuqhd" />
       </concept>
+      <concept id="7368070394766966158" name="jetbrains.mps.lang.typesystem2.structure.Guard" flags="ng" index="3Aq9_M" />
       <concept id="7368070394766966388" name="jetbrains.mps.lang.typesystem2.structure.Body" flags="ng" index="3Aq9E8" />
       <concept id="7368070394766978092" name="jetbrains.mps.lang.typesystem2.structure.EmitConstraintStatement" flags="ng" index="3Aqczg">
         <child id="7368070394767031348" name="constraint" index="3Aqpz8" />
@@ -288,24 +406,26 @@
         <child id="535508562359074271" name="code" index="16YjZG" />
       </concept>
       <concept id="1476354154047290768" name="jetbrains.mps.lang.typesystem2.structure.GetterBlock" flags="ng" index="3AP2Rn" />
-      <concept id="3371197252794311516" name="jetbrains.mps.lang.typesystem2.structure.RecoveryBlock" flags="ng" index="1ImKlm" />
-      <concept id="3371197252795670298" name="jetbrains.mps.lang.typesystem2.structure.TypeFeatureExpression" flags="ng" index="1Io7$g">
-        <reference id="3371197252795670299" name="feature" index="1Io7$h" />
+      <concept id="1877115349178398764" name="jetbrains.mps.lang.typesystem2.structure.EqualsConstraint" flags="ng" index="3GeI9q">
+        <child id="1877115349178398815" name="right" index="3GeI8D" />
+        <child id="1877115349178398813" name="left" index="3GeI8F" />
+      </concept>
+      <concept id="2316688792938826204" name="jetbrains.mps.lang.typesystem2.structure.ConstraintLogicalClause" flags="ng" index="3I6s7M">
+        <child id="2316688792938826214" name="constraint" index="3I6s78" />
+      </concept>
+      <concept id="2316688792938825384" name="jetbrains.mps.lang.typesystem2.structure.LogicalClauseList" flags="ng" index="3I6sU6">
+        <child id="2316688792938825385" name="clauses" index="3I6sU7" />
+      </concept>
+      <concept id="2316688792939428589" name="jetbrains.mps.lang.typesystem2.structure.TemplateLogicalClause" flags="ng" index="3IrJb3">
+        <child id="2316688792939428590" name="code" index="3IrJb0" />
       </concept>
-      <concept id="3371197252802480392" name="jetbrains.mps.lang.typesystem2.structure.RecoverOperation" flags="ng" index="1JQ6W2" />
       <concept id="965748826975413063" name="jetbrains.mps.lang.typesystem2.structure.RulePartParameterDeclaration" flags="ng" index="3NuqgR" />
       <concept id="2037618519496446007" name="jetbrains.mps.lang.typesystem2.structure.TypeTerm" flags="ng" index="1Q4cc8">
         <reference id="2037618519496446056" name="declaration" index="1Q4cdn" />
         <child id="2037618519496647045" name="argument" index="1Q7vaU" />
         <child id="2037618519520915633" name="override" index="1Ryyee" />
       </concept>
-      <concept id="2037618519496634972" name="jetbrains.mps.lang.typesystem2.structure.TypeParameterBinding" flags="ng" index="1Q7q5z">
-        <reference id="2037618519496638493" name="parameter" index="1Q7tcy" />
-        <child id="2037618519536835329" name="code" index="1KxKwY" />
-      </concept>
-      <concept id="2037618519496637434" name="jetbrains.mps.lang.typesystem2.structure.TypeArgumentList" flags="ng" index="1Q7qz5">
-        <child id="2037618519496637435" name="binding" index="1Q7qz4" />
-      </concept>
+      <concept id="2037618519496637434" name="jetbrains.mps.lang.typesystem2.structure.TypeArgumentList" flags="ng" index="1Q7qz5" />
       <concept id="2037618519520719251" name="jetbrains.mps.lang.typesystem2.structure.TypeFeatureOverride" flags="ng" index="1RziaG">
         <reference id="2037618519520719300" name="feature" index="1RzibV" />
         <child id="2037618519520739064" name="term" index="1RzmR7" />
@@ -314,6 +434,7 @@
         <child id="3063948360252667312" name="assignedType" index="3Xxm5W" />
         <child id="3063948360252666228" name="anchor" index="3XxmmS" />
       </concept>
+      <concept id="3063948360254202562" name="jetbrains.mps.lang.typesystem2.structure.LocalDeclarationStatement" flags="ng" index="3X$Joe" />
     </language>
   </registry>
   <node concept="0oKg$" id="3_qfG1EPgcF">
@@ -321,29 +442,18 @@
     <node concept="0oKvU" id="492bFERodOY" role="0oKgB">
       <property role="TrG5h" value="Bool" />
       <ref role="3bZ5Sy" to="8tt8:492bFERodLp" resolve="BoolType" />
-      <node concept="0oftK" id="492bFERodOZ" role="0oKvZ">
-        <node concept="0ofun" id="492bFERoe4_" role="0ofug">
-          <property role="TrG5h" value="concept" />
-          <node concept="3AP2Rn" id="492bFERoe4G" role="3AP2R9">
-            <node concept="3clFbS" id="492bFERoe4H" role="16YjZG">
-              <node concept="3clFbF" id="492bFERoe4U" role="3cqZAp">
-                <node concept="2OqwBi" id="492bFERoej8" role="3clFbG">
-                  <node concept="3tJrKC" id="492bFERoe4T" role="2Oq$k0" />
-                  <node concept="liA8E" id="492bFERoeF_" role="2OqNvi">
-                    <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
-                  </node>
-                </node>
+      <ref role="BfTMr" node="4dPZ2m2hTAN" resolve="Bool" />
+      <node concept="3uniRm" id="4dPZ2m2k8Tn" role="3unh6L">
+        <node concept="3clFbS" id="4dPZ2m2k8Vr" role="3uniRr">
+          <node concept="3Aqczg" id="4dPZ2m2k8Vq" role="3cqZAp">
+            <node concept="3A8Hvi" id="4dPZ2m2k8Vn" role="3Aqpz8">
+              <node concept="aZ4PW" id="4dPZ2m2k8Vx" role="3A8wtg">
+                <node concept="3txIi4" id="4dPZ2m2k8VB" role="aZ4eD" />
+              </node>
+              <node concept="1Q4cc8" id="4dPZ2m2k8VH" role="3A8w4Q">
+                <ref role="1Q4cdn" node="492bFERodOY" resolve="Bool" />
+                <node concept="1Q7qz5" id="4dPZ2m2k8VJ" role="1Q7vaU" />
               </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="1ImKlm" id="492bFERodP1" role="1ImLg5">
-        <node concept="3clFbS" id="492bFERodP2" role="16YjZG">
-          <node concept="3clFbF" id="492bFERoeKM" role="3cqZAp">
-            <node concept="2OqwBi" id="492bFERoeZ0" role="3clFbG">
-              <node concept="3tJrKC" id="492bFERoeKL" role="2Oq$k0" />
-              <node concept="LFhST" id="492bFERog36" role="2OqNvi" />
             </node>
           </node>
         </node>
@@ -352,21 +462,101 @@
     <node concept="0oKvU" id="3_qfG1EPlgE" role="0oKgB">
       <property role="TrG5h" value="Fun" />
       <ref role="3bZ5Sy" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
-      <node concept="3tC51N" id="3dV5CmlM9It" role="3tC56T">
-        <property role="TrG5h" value="dummy" />
-        <node concept="3uibUv" id="3dV5CmlM9V$" role="3tC51t">
-          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+      <ref role="BfTMr" node="4dPZ2m2hWGK" resolve="Fun" />
+      <node concept="3uniRm" id="4dPZ2m2k8V8" role="3unh6L">
+        <node concept="3clFbS" id="4dPZ2m2k8VN" role="3uniRr">
+          <node concept="3X$Joe" id="5zncGqwemIa" role="3cqZAp">
+            <node concept="aZer4" id="5zncGqwemIb" role="3XD1gS">
+              <property role="TrG5h" value="A" />
+            </node>
+            <node concept="aZer4" id="5zncGqwemIU" role="3XD1gS">
+              <property role="TrG5h" value="R" />
+            </node>
+          </node>
+          <node concept="3Aqczg" id="6TfRIXf6F$f" role="3cqZAp">
+            <node concept="3Aqt3T" id="6TfRIXf6F$b" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="6TfRIXf6F$K" role="3AunhB">
+                <ref role="a7OzE" node="5zncGqwemIb" resolve="A" />
+              </node>
+              <node concept="aYllk" id="6TfRIXf6F$Q" role="3AunhB">
+                <node concept="2YIFZM" id="6TfRIXf6F_A" role="aYrYs">
+                  <ref role="37wK5l" node="2zhm1Y5WQUZ" resolve="nextIndex" />
+                  <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="6TfRIXf6FAl" role="3cqZAp">
+            <node concept="3Aqt3T" id="6TfRIXf6FAm" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="6TfRIXf6FBu" role="3AunhB">
+                <ref role="a7OzE" node="5zncGqwemIU" resolve="R" />
+              </node>
+              <node concept="aYllk" id="6TfRIXf6FAo" role="3AunhB">
+                <node concept="2YIFZM" id="6TfRIXf6FAp" role="aYrYs">
+                  <ref role="37wK5l" node="2zhm1Y5WQUZ" resolve="nextIndex" />
+                  <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="4dPZ2m2k8VP" role="3cqZAp">
+            <node concept="3A8Hvi" id="4dPZ2m2k8VQ" role="3Aqpz8">
+              <node concept="aZ4PW" id="4dPZ2m2k8VR" role="3A8wtg">
+                <node concept="3txIi4" id="4dPZ2m2k8VS" role="aZ4eD" />
+              </node>
+              <node concept="1Q4cc8" id="4dPZ2m2k8W6" role="3A8w4Q">
+                <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
+                <node concept="1Q7qz5" id="4dPZ2m2k8W8" role="1Q7vaU" />
+                <node concept="1RziaG" id="6TfRIXf6FBK" role="1Ryyee">
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
+                  <node concept="3AP2Rn" id="6TfRIXf6FBL" role="1RzmR7">
+                    <node concept="3clFbS" id="6TfRIXf6FBM" role="16YjZG">
+                      <node concept="3clFbF" id="6TfRIXf6FC2" role="3cqZAp">
+                        <node concept="3A9UF8" id="6TfRIXf6FBZ" role="3clFbG">
+                          <node concept="a7P8L" id="6TfRIXf6FC1" role="3A9W3M">
+                            <ref role="a7OzE" node="5zncGqwemIb" resolve="A" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="6TfRIXf6FEt" role="1Ryyee">
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
+                  <node concept="3AP2Rn" id="6TfRIXf6FEu" role="1RzmR7">
+                    <node concept="3clFbS" id="6TfRIXf6FEv" role="16YjZG">
+                      <node concept="3clFbF" id="6TfRIXf6FEP" role="3cqZAp">
+                        <node concept="3A9UF8" id="6TfRIXf6FEM" role="3clFbG">
+                          <node concept="a7P8L" id="6TfRIXf6FEO" role="3A9W3M">
+                            <ref role="a7OzE" node="5zncGqwemIU" resolve="R" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
         </node>
       </node>
-      <node concept="0oftK" id="3_qfG1EPlgL" role="0oKvZ">
-        <node concept="0ofun" id="3dV5CmlLR7I" role="0ofug">
+    </node>
+    <node concept="BRKj$" id="4dPZ2m2hTAN" role="BRKYU">
+      <property role="TrG5h" value="Bool" />
+      <node concept="0oftK" id="4dPZ2m2hTAO" role="BRKSY">
+        <node concept="0ofun" id="4dPZ2m2hTAX" role="0ofug">
           <property role="TrG5h" value="concept" />
-          <node concept="3AP2Rn" id="3dV5CmlLR7J" role="3AP2R9">
-            <node concept="3clFbS" id="3dV5CmlLR7K" role="16YjZG">
-              <node concept="3clFbF" id="3dV5CmlLR7L" role="3cqZAp">
-                <node concept="2OqwBi" id="3dV5CmlLR7M" role="3clFbG">
-                  <node concept="3tJrKC" id="3dV5CmlLR7N" role="2Oq$k0" />
-                  <node concept="liA8E" id="3dV5CmlLR7O" role="2OqNvi">
+          <property role="3JpusR" value="true" />
+          <node concept="3AP2Rn" id="4dPZ2m2hUlX" role="3AP2R9">
+            <node concept="3clFbS" id="4dPZ2m2hUlY" role="16YjZG">
+              <node concept="3clFbF" id="4dPZ2m2hUmb" role="3cqZAp">
+                <node concept="2OqwBi" id="4dPZ2m2hUDU" role="3clFbG">
+                  <node concept="35c_gC" id="4dPZ2m2hUma" role="2Oq$k0">
+                    <ref role="35c_gD" to="8tt8:492bFERodLp" resolve="BoolType" />
+                  </node>
+                  <node concept="liA8E" id="4dPZ2m2hVir" role="2OqNvi">
                     <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
                   </node>
                 </node>
@@ -374,79 +564,36 @@
             </node>
           </node>
         </node>
-        <node concept="0ofuC" id="3_qfG1EPt__" role="0ofug">
+      </node>
+    </node>
+    <node concept="BRKj$" id="4dPZ2m2hWGK" role="BRKYU">
+      <property role="TrG5h" value="Fun" />
+      <node concept="0oftK" id="4dPZ2m2hWGL" role="BRKSY">
+        <node concept="0ofun" id="4dPZ2m2hWGZ" role="0ofug">
+          <property role="TrG5h" value="concept" />
+          <property role="3JpusR" value="true" />
+          <node concept="3AP2Rn" id="4dPZ2m2hWH8" role="3AP2R9">
+            <node concept="3clFbS" id="4dPZ2m2hWH9" role="16YjZG">
+              <node concept="3clFbF" id="4dPZ2m2hWIj" role="3cqZAp">
+                <node concept="2OqwBi" id="4dPZ2m2hWZj" role="3clFbG">
+                  <node concept="35c_gC" id="4dPZ2m2hWIi" role="2Oq$k0">
+                    <ref role="35c_gD" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+                  </node>
+                  <node concept="liA8E" id="4dPZ2m2hXCv" role="2OqNvi">
+                    <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="0ofuC" id="4dPZ2m2hXGZ" role="0ofug">
           <property role="TrG5h" value="arg" />
         </node>
-        <node concept="0ofuC" id="698OP6KS2yM" role="0ofug">
+        <node concept="0ofuC" id="4dPZ2m2hXHj" role="0ofug">
           <property role="TrG5h" value="res" />
         </node>
       </node>
-      <node concept="1ImKlm" id="3_qfG1EPlgR" role="1ImLg5">
-        <node concept="3clFbS" id="3_qfG1EPlgS" role="16YjZG">
-          <node concept="3cpWs8" id="3_qfG1EPmJW" role="3cqZAp">
-            <node concept="3cpWsn" id="3_qfG1EPmJX" role="3cpWs9">
-              <property role="TrG5h" value="funType" />
-              <node concept="3Tqbb2" id="3_qfG1EPmJV" role="1tU5fm">
-                <ref role="ehGHo" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
-              </node>
-              <node concept="2OqwBi" id="3dV5CmlLRlV" role="33vP2m">
-                <node concept="3tJrKC" id="3dV5CmlLRlW" role="2Oq$k0" />
-                <node concept="LFhST" id="3dV5CmlLRlX" role="2OqNvi" />
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="698OP6KS0aI" role="3cqZAp">
-            <node concept="37vLTI" id="698OP6KS1jW" role="3clFbG">
-              <node concept="2OqwBi" id="698OP6KS0tO" role="37vLTJ">
-                <node concept="37vLTw" id="698OP6KS0aG" role="2Oq$k0">
-                  <ref role="3cqZAo" node="3_qfG1EPmJX" resolve="funType" />
-                </node>
-                <node concept="3TrEf2" id="698OP6KS0Qw" role="2OqNvi">
-                  <ref role="3Tt5mk" to="8tt8:3_qfG1EP6Op" resolve="argType" />
-                </node>
-              </node>
-              <node concept="1PxgMI" id="698OP6KS25N" role="37vLTx">
-                <property role="1BlNFB" value="true" />
-                <ref role="1m5ApE" to="8tt8:3_qfG1EP6Nw" resolve="Type" />
-                <node concept="2OqwBi" id="698OP6KS1mo" role="1m5AlR">
-                  <node concept="1Io7$g" id="698OP6KS1mp" role="2Oq$k0">
-                    <ref role="1Io7$h" node="3_qfG1EPt__" resolve="arg" />
-                  </node>
-                  <node concept="1JQ6W2" id="698OP6KS1mq" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="698OP6KS2dM" role="3cqZAp">
-            <node concept="37vLTI" id="698OP6KS2dN" role="3clFbG">
-              <node concept="2OqwBi" id="698OP6KS2dO" role="37vLTJ">
-                <node concept="37vLTw" id="698OP6KS2dP" role="2Oq$k0">
-                  <ref role="3cqZAo" node="3_qfG1EPmJX" resolve="funType" />
-                </node>
-                <node concept="3TrEf2" id="698OP6KS2wc" role="2OqNvi">
-                  <ref role="3Tt5mk" to="8tt8:3_qfG1EP6O_" resolve="resType" />
-                </node>
-              </node>
-              <node concept="1PxgMI" id="698OP6KS2dR" role="37vLTx">
-                <property role="1BlNFB" value="true" />
-                <ref role="1m5ApE" to="8tt8:3_qfG1EP6Nw" resolve="Type" />
-                <node concept="2OqwBi" id="698OP6KS2dS" role="1m5AlR">
-                  <node concept="1Io7$g" id="698OP6KS2$J" role="2Oq$k0">
-                    <ref role="1Io7$h" node="698OP6KS2yM" resolve="res" />
-                  </node>
-                  <node concept="1JQ6W2" id="698OP6KS2dU" role="2OqNvi" />
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbF" id="698OP6KS2Fa" role="3cqZAp">
-            <node concept="37vLTw" id="698OP6KS2F8" role="3clFbG">
-              <ref role="3cqZAo" node="3_qfG1EPmJX" resolve="funType" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3uniRm" id="3_qfG1EPoKL" role="3unh6L" />
     </node>
   </node>
   <node concept="AVZre" id="5dGkjBXlLmT">
@@ -460,12 +607,15 @@
           </node>
         </node>
         <node concept="3clFbS" id="492bFERognL" role="3Aqf5P">
-          <node concept="3Aqczg" id="492bFERogo0" role="3cqZAp">
-            <node concept="AVZhr" id="492bFERognY" role="3Aqpz8">
-              <ref role="WHOVA" node="492bFERodOY" resolve="Bool" />
-              <node concept="a7P8L" id="492bFERogo4" role="3A07fg">
+          <node concept="3Aqczg" id="4dPZ2m2iQwH" role="3cqZAp">
+            <node concept="B_ONY" id="4dPZ2m2iQw_" role="3Aqpz8">
+              <node concept="a7P8L" id="4dPZ2m2iQwV" role="B_OMz">
                 <ref role="a7OzE" node="492bFERognP" resolve="T" />
               </node>
+              <node concept="1Q4cc8" id="4dPZ2m2iQwD" role="B_OMx">
+                <ref role="1Q4cdn" node="492bFERodOY" resolve="Bool" />
+                <node concept="1Q7qz5" id="4dPZ2m2iQwF" role="1Q7vaU" />
+              </node>
             </node>
           </node>
           <node concept="3Aqczg" id="492bFERogoJ" role="3cqZAp">
@@ -498,12 +648,15 @@
           </node>
         </node>
         <node concept="3clFbS" id="492bFERojTV" role="3Aqf5P">
-          <node concept="3Aqczg" id="492bFERojTW" role="3cqZAp">
-            <node concept="AVZhr" id="492bFERojTX" role="3Aqpz8">
-              <ref role="WHOVA" node="492bFERodOY" resolve="Bool" />
-              <node concept="a7P8L" id="492bFERojTY" role="3A07fg">
+          <node concept="3Aqczg" id="4dPZ2m2iQxh" role="3cqZAp">
+            <node concept="B_ONY" id="4dPZ2m2iQxi" role="3Aqpz8">
+              <node concept="a7P8L" id="4dPZ2m2iQxj" role="B_OMz">
                 <ref role="a7OzE" node="492bFERojTU" resolve="T" />
               </node>
+              <node concept="1Q4cc8" id="4dPZ2m2iQxk" role="B_OMx">
+                <ref role="1Q4cdn" node="492bFERodOY" resolve="Bool" />
+                <node concept="1Q7qz5" id="4dPZ2m2iQxl" role="1Q7vaU" />
+              </node>
             </node>
           </node>
           <node concept="3Aqczg" id="492bFERojTZ" role="3cqZAp">
@@ -544,15 +697,29 @@
           <node concept="3Aqczg" id="3dV5CmlMdxk" role="3cqZAp">
             <node concept="3XxkQB" id="3dV5CmlMdxc" role="3Aqpz8">
               <node concept="aYllk" id="3dV5CmlMdxe" role="3XxmmS">
-                <node concept="3A2sRY" id="3dV5CmlMdy6" role="aYrYs">
+                <node concept="3A2sRY" id="492bFERozSf" role="aYrYs">
                   <ref role="3A2yKK" node="3dV5CmlMdwE" resolve="var" />
                 </node>
               </node>
-              <node concept="a7P8L" id="3dV5CmlMdye" role="3Xxm5W">
+              <node concept="a7P8L" id="492bFERozSn" role="3Xxm5W">
                 <ref role="a7OzE" node="3dV5CmlMdwV" resolve="T" />
               </node>
             </node>
           </node>
+          <node concept="3Aqczg" id="492bFERozSD" role="3cqZAp">
+            <node concept="3Aqt3T" id="492bFERozS_" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="492bFERozSO" role="3AunhB">
+                <ref role="a7OzE" node="3dV5CmlMdwV" resolve="T" />
+              </node>
+              <node concept="aYllk" id="492bFERozTa" role="3AunhB">
+                <node concept="2YIFZM" id="2zhm1Y5Xh9k" role="aYrYs">
+                  <ref role="37wK5l" node="2zhm1Y5WQUZ" resolve="nextIndex" />
+                  <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                </node>
+              </node>
+            </node>
+          </node>
         </node>
       </node>
       <node concept="2t___k" id="3dV5CmlMdwD" role="20_v8_">
@@ -680,6 +847,17 @@
           </node>
         </node>
         <node concept="3clFbS" id="3dV5CmlM9lA" role="3Aqf5P">
+          <node concept="3Aqczg" id="5zncGqweDlX" role="3cqZAp">
+            <node concept="B_ONY" id="5zncGqweDlP" role="3Aqpz8">
+              <node concept="a7P8L" id="5zncGqweDmp" role="B_OMz">
+                <ref role="a7OzE" node="3dV5CmlM9lE" resolve="T" />
+              </node>
+              <node concept="1Q4cc8" id="5zncGqweDlT" role="B_OMx">
+                <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
+                <node concept="1Q7qz5" id="5zncGqweDlV" role="1Q7vaU" />
+              </node>
+            </node>
+          </node>
           <node concept="3Aqczg" id="3dV5CmlM9lQ" role="3cqZAp">
             <node concept="3A8Hvi" id="3dV5CmlM9lN" role="3Aqpz8">
               <node concept="a7P8L" id="3dV5CmlM9lV" role="3A8wtg">
@@ -687,16 +865,9 @@
               </node>
               <node concept="1Q4cc8" id="3dV5CmlM9m0" role="3A8w4Q">
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
-                <node concept="1Q7qz5" id="3dV5CmlM9m2" role="1Q7vaU">
-                  <node concept="1Q7q5z" id="3dV5CmlMhtk" role="1Q7qz4">
-                    <ref role="1Q7tcy" node="3dV5CmlM9It" resolve="dummy" />
-                    <node concept="3cmrfG" id="3dV5CmlMhto" role="1KxKwY">
-                      <property role="3cmrfH" value="42" />
-                    </node>
-                  </node>
-                </node>
+                <node concept="1Q7qz5" id="3dV5CmlM9m2" role="1Q7vaU" />
                 <node concept="1RziaG" id="3dV5CmlM9VG" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="3dV5CmlM9VH" role="1RzmR7">
                     <node concept="3clFbS" id="3dV5CmlM9VI" role="16YjZG">
                       <node concept="3clFbF" id="3dV5CmlMbpp" role="3cqZAp">
@@ -710,7 +881,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="3dV5CmlM9VV" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="3dV5CmlM9VW" role="1RzmR7">
                     <node concept="3clFbS" id="3dV5CmlM9VX" role="16YjZG">
                       <node concept="3clFbF" id="3dV5CmlMbqU" role="3cqZAp">
@@ -890,16 +1061,9 @@
               </node>
               <node concept="1Q4cc8" id="44a9n8Es2_e" role="3AunhB">
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
-                <node concept="1Q7qz5" id="44a9n8Es2_g" role="1Q7vaU">
-                  <node concept="1Q7q5z" id="44a9n8Es2__" role="1Q7qz4">
-                    <ref role="1Q7tcy" node="3dV5CmlM9It" resolve="dummy" />
-                    <node concept="3cmrfG" id="44a9n8Es2_D" role="1KxKwY">
-                      <property role="3cmrfH" value="42" />
-                    </node>
-                  </node>
-                </node>
+                <node concept="1Q7qz5" id="44a9n8Es2_g" role="1Q7vaU" />
                 <node concept="1RziaG" id="44a9n8Es2_m" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="44a9n8Es2_n" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8Es2_o" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8Es2Ay" role="3cqZAp">
@@ -913,7 +1077,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="44a9n8Es2_O" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="44a9n8Es2_P" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8Es2_Q" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8Es2C4" role="3cqZAp">
@@ -955,7 +1119,7 @@
       </node>
     </node>
     <node concept="AVZhu" id="4rRw8_Avlkw" role="3ArX_J">
-      <property role="TrG5h" value="typeOf_Let" />
+      <property role="TrG5h" value="typeOf_LetClause" />
       <node concept="3Aq93q" id="4rRw8_Avls4" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3NuqgR" id="4rRw8_Avls8" role="3Nuqhd">
@@ -1024,6 +1188,76 @@
         </node>
       </node>
     </node>
+    <node concept="AVZhu" id="4dPZ2m2k3OY" role="3ArX_J">
+      <property role="TrG5h" value="typeof_Pattern" />
+      <node concept="3Aq93q" id="4dPZ2m2k40k" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="4dPZ2m2k4H$" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2k4H_" role="3XD1gS">
+            <property role="TrG5h" value="L" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2k4HF" role="3XD1gS">
+            <property role="TrG5h" value="R" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2k40q" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2k40s" role="3I6sU7">
+            <node concept="3XxkQB" id="4dPZ2m2k40w" role="3I6s78">
+              <node concept="aYllk" id="4dPZ2m2k40y" role="3XxmmS">
+                <node concept="2OqwBi" id="4dPZ2m2k48m" role="aYrYs">
+                  <node concept="3A2sRY" id="4dPZ2m2k40J" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4dPZ2m2k408" resolve="p" />
+                  </node>
+                  <node concept="3TrEf2" id="4dPZ2m2k4FJ" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQq" resolve="left" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="4dPZ2m2k4HR" role="3Xxm5W">
+                <ref role="a7OzE" node="4dPZ2m2k4H_" resolve="L" />
+              </node>
+            </node>
+          </node>
+          <node concept="3I6s7M" id="4dPZ2m2k4Iv" role="3I6sU7">
+            <node concept="3XxkQB" id="4dPZ2m2k4IG" role="3I6s78">
+              <node concept="aYllk" id="4dPZ2m2k4II" role="3XxmmS">
+                <node concept="2OqwBi" id="4dPZ2m2k4PR" role="aYrYs">
+                  <node concept="3A2sRY" id="4dPZ2m2k4IV" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4dPZ2m2k408" resolve="p" />
+                  </node>
+                  <node concept="3TrEf2" id="4dPZ2m2k52u" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQs" resolve="right" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="4dPZ2m2k54j" role="3Xxm5W">
+                <ref role="a7OzE" node="4dPZ2m2k4HF" resolve="R" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="4dPZ2m2k407" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGQp" resolve="Pattern" />
+        <node concept="3A20r5" id="4dPZ2m2k408" role="2t_VXX">
+          <property role="TrG5h" value="p" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="4dPZ2m2k5ks" role="3otmyu">
+        <node concept="3I6sU6" id="4dPZ2m2k5ku" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2k5kw" role="3I6sU7">
+            <node concept="3A8Hvi" id="4dPZ2m2k5k$" role="3I6s78">
+              <node concept="a7P8L" id="4dPZ2m2k5kH" role="3A8wtg">
+                <ref role="a7OzE" node="4dPZ2m2k4H_" resolve="L" />
+              </node>
+              <node concept="a7P8L" id="4dPZ2m2k5kM" role="3A8w4Q">
+                <ref role="a7OzE" node="4dPZ2m2k4HF" resolve="R" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="3AqmoV" id="44a9n8ErYcS">
     <property role="TrG5h" value="constraints" />
@@ -1044,6 +1278,37 @@
         <property role="TrG5h" value="term" />
       </node>
     </node>
+    <node concept="3AqmO8" id="492bFERomj4" role="3AqmFx">
+      <property role="TrG5h" value="varname" />
+      <property role="3AqDzJ" value="2" />
+      <node concept="1zAUYm" id="492bFERomjb" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+      <node concept="1zAUYm" id="492bFERomjd" role="1zAUyy">
+        <property role="TrG5h" value="name" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4dPZ2m2jAgt" role="3AqmFx">
+      <property role="TrG5h" value="recoverAll" />
+    </node>
+    <node concept="3AqmO8" id="4dPZ2m2i60v" role="3AqmFx">
+      <property role="TrG5h" value="recover" />
+      <node concept="1zAUYm" id="4dPZ2m2i60D" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+      <node concept="1zAUYm" id="4dPZ2m2i60F" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4dPZ2m2i64a" role="3AqmFx">
+      <property role="TrG5h" value="typeNode" />
+      <node concept="1zAUYm" id="4dPZ2m2i64n" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+      <node concept="1zAUYm" id="4dPZ2m2i64p" role="1zAUyy">
+        <property role="TrG5h" value="anchor" />
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="44a9n8ErYgw">
     <property role="TrG5h" value="unifies" />
@@ -1073,7 +1338,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="44a9n8ErYi5" role="1Q7vaU" />
                 <node concept="1RziaG" id="44a9n8ErYib" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="44a9n8ErYic" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8ErYid" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8ErYkB" role="3cqZAp">
@@ -1087,7 +1352,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="44a9n8ErYiq" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="44a9n8ErYir" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8ErYis" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8ErYm8" role="3cqZAp">
@@ -1105,7 +1370,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="44a9n8ErYj6" role="1Q7vaU" />
                 <node concept="1RziaG" id="44a9n8ErYjm" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="44a9n8ErYjn" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8ErYjo" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8ErYnD" role="3cqZAp">
@@ -1119,7 +1384,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="44a9n8ErYj_" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="44a9n8ErYjA" role="1RzmR7">
                     <node concept="3clFbS" id="44a9n8ErYjB" role="16YjZG">
                       <node concept="3clFbF" id="44a9n8ErYpa" role="3cqZAp">
@@ -1185,7 +1450,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="6eI2Tb45gAm" role="1Q7vaU" />
                 <node concept="1RziaG" id="6eI2Tb45gAn" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="6eI2Tb45gAo" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45gAp" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45gAq" role="3cqZAp">
@@ -1199,7 +1464,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="6eI2Tb45gAt" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="6eI2Tb45gAu" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45gAv" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45gAw" role="3cqZAp">
@@ -1231,7 +1496,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="6eI2Tb45hxg" role="1Q7vaU" />
                 <node concept="1RziaG" id="6eI2Tb45hxh" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="6eI2Tb45hxi" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45hxj" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45hxk" role="3cqZAp">
@@ -1245,7 +1510,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="6eI2Tb45hxn" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="6eI2Tb45hxo" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45hxp" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45hxq" role="3cqZAp">
@@ -1290,7 +1555,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="6eI2Tb45hzP" role="1Q7vaU" />
                 <node concept="1RziaG" id="6eI2Tb45hzQ" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="6eI2Tb45hzR" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45hzS" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45hzT" role="3cqZAp">
@@ -1304,7 +1569,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="6eI2Tb45hzW" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="6eI2Tb45hzX" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45hzY" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45hzZ" role="3cqZAp">
@@ -1333,7 +1598,7 @@
                 <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
                 <node concept="1Q7qz5" id="6eI2Tb45i2U" role="1Q7vaU" />
                 <node concept="1RziaG" id="6eI2Tb45i2V" role="1Ryyee">
-                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
                   <node concept="3AP2Rn" id="6eI2Tb45i2W" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45i2X" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45i2Y" role="3cqZAp">
@@ -1347,7 +1612,7 @@
                   </node>
                 </node>
                 <node concept="1RziaG" id="6eI2Tb45i31" role="1Ryyee">
-                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
                   <node concept="3AP2Rn" id="6eI2Tb45i32" role="1RzmR7">
                     <node concept="3clFbS" id="6eI2Tb45i33" role="16YjZG">
                       <node concept="3clFbF" id="6eI2Tb45i34" role="3cqZAp">
@@ -1961,5 +2226,1182 @@
     <node concept="2tJIrI" id="4rRw8_AtKpv" role="jymVt" />
     <node concept="3Tm1VV" id="4rRw8_AtKo1" role="1B3o_S" />
   </node>
+  <node concept="AVZre" id="492bFERomjg">
+    <property role="TrG5h" value="name" />
+    <node concept="AVZhu" id="492bFERomjj" role="3ArX_J">
+      <property role="TrG5h" value="name_unique" />
+      <node concept="3Aq93q" id="492bFERomjm" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="492bFERomjs" role="3Nuqhd">
+          <node concept="aZer4" id="492bFERomjt" role="3XD1gS">
+            <property role="TrG5h" value="V" />
+          </node>
+        </node>
+        <node concept="3NuqgR" id="492bFERomjQ" role="3Nuqhd">
+          <node concept="aZer4" id="492bFERomjR" role="3XD1gS">
+            <property role="TrG5h" value="N1" />
+          </node>
+          <node concept="aZer4" id="492bFERoK0U" role="3XD1gS">
+            <property role="TrG5h" value="N2" />
+          </node>
+          <node concept="17QB3L" id="492bFERomk9" role="3vLBG7" />
+        </node>
+        <node concept="3clFbS" id="492bFERomjn" role="3Aqf5P">
+          <node concept="3Aqczg" id="492bFERomjE" role="3cqZAp">
+            <node concept="3Aqt3T" id="492bFERomjA" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="492bFERomjI" role="3AunhB">
+                <ref role="a7OzE" node="492bFERomjt" resolve="V" />
+              </node>
+              <node concept="a7P8L" id="492bFERoml6" role="3AunhB">
+                <ref role="a7OzE" node="492bFERomjR" resolve="N1" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="492bFERommi" role="3cqZAp">
+            <node concept="3Aqt3T" id="492bFERommg" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="492bFERommm" role="3AunhB">
+                <ref role="a7OzE" node="492bFERomjt" resolve="V" />
+              </node>
+              <node concept="a7P8L" id="492bFERommu" role="3AunhB">
+                <ref role="a7OzE" node="492bFERoK0U" resolve="N2" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="492bFERos2G" role="3otmyu">
+        <node concept="3NuqgR" id="492bFERoJB1" role="3Nuqhd">
+          <node concept="aZer4" id="492bFERoJB2" role="3XD1gS">
+            <property role="TrG5h" value="N" />
+          </node>
+          <node concept="17QB3L" id="492bFERoJDM" role="3vLBG7" />
+        </node>
+        <node concept="3clFbS" id="492bFERos2H" role="3Aqf5P">
+          <node concept="3Aqczg" id="492bFERoASu" role="3cqZAp">
+            <node concept="3wWvb2" id="492bFERoASs" role="3Aqpz8">
+              <node concept="2YIFZM" id="492bFERoB1m" role="3wWo3s">
+                <ref role="37wK5l" node="492bFERos4c" resolve="leastIndex" />
+                <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                <node concept="3A9UF8" id="492bFERoJE5" role="37wK5m">
+                  <node concept="a7P8L" id="492bFERoJE7" role="3A9W3M">
+                    <ref role="a7OzE" node="492bFERoJB2" resolve="N" />
+                  </node>
+                </node>
+                <node concept="3A9UF8" id="492bFERoB25" role="37wK5m">
+                  <node concept="a7P8L" id="492bFERoB27" role="3A9W3M">
+                    <ref role="a7OzE" node="492bFERomjR" resolve="N1" />
+                  </node>
+                </node>
+                <node concept="3A9UF8" id="492bFERoB4i" role="37wK5m">
+                  <node concept="a7P8L" id="492bFERoB4k" role="3A9W3M">
+                    <ref role="a7OzE" node="492bFERoK0U" resolve="N2" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="492bFERoJNC" role="3cqZAp">
+            <node concept="3Aqt3T" id="492bFERoJN$" role="3Aqpz8">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="492bFERoJQN" role="3AunhB">
+                <ref role="a7OzE" node="492bFERomjt" resolve="V" />
+              </node>
+              <node concept="a7P8L" id="492bFERoJQV" role="3AunhB">
+                <ref role="a7OzE" node="492bFERoJB2" resolve="N" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="312cEu" id="492bFERos2W">
+    <property role="TrG5h" value="Names" />
+    <node concept="2tJIrI" id="492bFERos3m" role="jymVt" />
+    <node concept="2YIFZL" id="492bFERos4c" role="jymVt">
+      <property role="DiZV1" value="false" />
+      <property role="od$2w" value="false" />
+      <property role="TrG5h" value="leastIndex" />
+      <node concept="37vLTG" id="492bFERoJe8" role="3clF46">
+        <property role="TrG5h" value="least" />
+        <node concept="3uibUv" id="492bFERoJnn" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+          <node concept="17QB3L" id="492bFERoJrU" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="492bFERoDPB" role="3clF46">
+        <property role="TrG5h" value="index1" />
+        <node concept="3uibUv" id="492bFERoFO7" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+          <node concept="17QB3L" id="492bFERoFTd" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="492bFERoGm6" role="3clF46">
+        <property role="TrG5h" value="index2" />
+        <node concept="3uibUv" id="492bFERoGm7" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+          <node concept="17QB3L" id="492bFERoGm8" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="492bFERos3O" role="3clF47">
+        <node concept="3clFbH" id="492bFERos6Q" role="3cqZAp" />
+        <node concept="3cpWs8" id="492bFERoNWY" role="3cqZAp">
+          <node concept="3cpWsn" id="492bFERoNWZ" role="3cpWs9">
+            <property role="TrG5h" value="n1" />
+            <node concept="10Oyi0" id="492bFERoNWK" role="1tU5fm" />
+            <node concept="2YIFZM" id="492bFERoNX0" role="33vP2m">
+              <ref role="37wK5l" to="wyt6:~Integer.parseInt(java.lang.String):int" resolve="parseInt" />
+              <ref role="1Pybhc" to="wyt6:~Integer" resolve="Integer" />
+              <node concept="2OqwBi" id="492bFERoNX1" role="37wK5m">
+                <node concept="2OqwBi" id="492bFERoNX2" role="2Oq$k0">
+                  <node concept="37vLTw" id="492bFERoNX3" role="2Oq$k0">
+                    <ref role="3cqZAo" node="492bFERoDPB" resolve="index1" />
+                  </node>
+                  <node concept="liA8E" id="492bFERoNX4" role="2OqNvi">
+                    <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="492bFERoNX5" role="2OqNvi">
+                  <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="492bFERoO5C" role="3cqZAp">
+          <node concept="3cpWsn" id="492bFERoO5D" role="3cpWs9">
+            <property role="TrG5h" value="n2" />
+            <node concept="10Oyi0" id="492bFERoO5E" role="1tU5fm" />
+            <node concept="2YIFZM" id="492bFERoO5F" role="33vP2m">
+              <ref role="37wK5l" to="wyt6:~Integer.parseInt(java.lang.String):int" resolve="parseInt" />
+              <ref role="1Pybhc" to="wyt6:~Integer" resolve="Integer" />
+              <node concept="2OqwBi" id="492bFERoO5G" role="37wK5m">
+                <node concept="2OqwBi" id="492bFERoO5H" role="2Oq$k0">
+                  <node concept="37vLTw" id="492bFERoOcx" role="2Oq$k0">
+                    <ref role="3cqZAo" node="492bFERoGm6" resolve="index2" />
+                  </node>
+                  <node concept="liA8E" id="492bFERoO5J" role="2OqNvi">
+                    <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="492bFERoO5K" role="2OqNvi">
+                  <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="492bFERoOv0" role="3cqZAp">
+          <node concept="3clFbS" id="492bFERoOv2" role="3clFbx">
+            <node concept="3clFbF" id="492bFERoQLq" role="3cqZAp">
+              <node concept="37vLTI" id="492bFERoRrO" role="3clFbG">
+                <node concept="37vLTw" id="492bFERoRsk" role="37vLTx">
+                  <ref role="3cqZAo" node="492bFERoO5D" resolve="n2" />
+                </node>
+                <node concept="37vLTw" id="492bFERoQLo" role="37vLTJ">
+                  <ref role="3cqZAo" node="492bFERoNWZ" resolve="n1" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3eOVzh" id="492bFERoQDg" role="3clFbw">
+            <node concept="37vLTw" id="492bFERoQD_" role="3uHU7w">
+              <ref role="3cqZAo" node="492bFERoNWZ" resolve="n1" />
+            </node>
+            <node concept="37vLTw" id="492bFERoPMW" role="3uHU7B">
+              <ref role="3cqZAo" node="492bFERoO5D" resolve="n2" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="492bFERoTi8" role="3cqZAp" />
+        <node concept="3cpWs8" id="492bFERoVGs" role="3cqZAp">
+          <node concept="3cpWsn" id="492bFERoVGt" role="3cpWs9">
+            <property role="TrG5h" value="sessionSolver" />
+            <node concept="3uibUv" id="492bFERoVGp" role="1tU5fm">
+              <ref role="3uigEE" to="w7la:~SessionSolver" resolve="SessionSolver" />
+            </node>
+            <node concept="2OqwBi" id="492bFERoVGu" role="33vP2m">
+              <node concept="2YIFZM" id="492bFERoVGv" role="2Oq$k0">
+                <ref role="37wK5l" to="w7la:~EvaluationSession.current():jetbrains.mps.logic.reactor.evaluation.EvaluationSession" resolve="current" />
+                <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
+              </node>
+              <node concept="liA8E" id="492bFERoVGw" role="2OqNvi">
+                <ref role="37wK5l" to="w7la:~EvaluationSession.sessionSolver():jetbrains.mps.logic.reactor.evaluation.SessionSolver" resolve="sessionSolver" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="492bFERoUQ1" role="3cqZAp">
+          <node concept="2OqwBi" id="492bFERoW9u" role="3clFbG">
+            <node concept="37vLTw" id="492bFERoVGx" role="2Oq$k0">
+              <ref role="3cqZAo" node="492bFERoVGt" resolve="sessionSolver" />
+            </node>
+            <node concept="liA8E" id="492bFERoWx$" role="2OqNvi">
+              <ref role="37wK5l" to="w7la:~SessionSolver.tell(jetbrains.mps.logic.reactor.program.AndItem,jetbrains.mps.logic.reactor.logical.LogicalContext):void" resolve="tell" />
+              <node concept="2OqwBi" id="4dPZ2m2iOWV" role="37wK5m">
+                <node concept="2OqwBi" id="4dPZ2m2iO4i" role="2Oq$k0">
+                  <node concept="2ShNRf" id="4dPZ2m2iLnS" role="2Oq$k0">
+                    <node concept="1pGfFk" id="4dPZ2m2iNJ6" role="2ShVmc">
+                      <ref role="37wK5l" to="nz6g:4sSe4$oM2B4" resolve="PredicateBuilder" />
+                      <node concept="10M0yZ" id="492bFERoWG6" role="37wK5m">
+                        <ref role="1PxDUh" to="cxk7:3HJTsBn4kk_" resolve="EqualsPredicate" />
+                        <ref role="3cqZAo" to="cxk7:5uFPQ7C23RV" resolve="EQ_SYM" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="4dPZ2m2iOkS" role="2OqNvi">
+                    <ref role="37wK5l" to="nz6g:4sSe4$oM2Bb" resolve="withArguments" />
+                    <node concept="37vLTw" id="492bFERoWNw" role="37wK5m">
+                      <ref role="3cqZAo" node="492bFERoJe8" resolve="least" />
+                    </node>
+                    <node concept="2YIFZM" id="492bFERoZXK" role="37wK5m">
+                      <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                      <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+                      <node concept="37vLTw" id="492bFERp02x" role="37wK5m">
+                        <ref role="3cqZAo" node="492bFERoNWZ" resolve="n1" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="4dPZ2m2iPq2" role="2OqNvi">
+                  <ref role="37wK5l" to="nz6g:4sSe4$oM2Bs" resolve="toPredicate" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="4dPZ2m2iJwv" role="37wK5m">
+                <node concept="YeOm9" id="4dPZ2m2iJww" role="2ShVmc">
+                  <node concept="1Y3b0j" id="4dPZ2m2iJwx" role="YeSDq">
+                    <property role="1sVAO0" value="false" />
+                    <property role="1EXbeo" value="false" />
+                    <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+                    <ref role="1Y3XeK" to="bj13:~LogicalContext" resolve="LogicalContext" />
+                    <node concept="3clFb_" id="4dPZ2m2iJwy" role="jymVt">
+                      <property role="TrG5h" value="variable" />
+                      <property role="DiZV1" value="false" />
+                      <property role="od$2w" value="false" />
+                      <node concept="2AHcQZ" id="4dPZ2m2iJwz" role="2AJF6D">
+                        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+                      </node>
+                      <node concept="16euLQ" id="4dPZ2m2iJw$" role="16eVyc">
+                        <property role="TrG5h" value="V" />
+                      </node>
+                      <node concept="37vLTG" id="4dPZ2m2iJw_" role="3clF46">
+                        <property role="TrG5h" value="logical" />
+                        <property role="3TUv4t" value="false" />
+                        <node concept="3uibUv" id="4dPZ2m2iJwA" role="1tU5fm">
+                          <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                          <node concept="16syzq" id="4dPZ2m2iJwB" role="11_B2D">
+                            <ref role="16sUi3" node="4dPZ2m2iJw$" resolve="V" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbS" id="4dPZ2m2iJwC" role="3clF47">
+                        <node concept="YS8fn" id="4dPZ2m2iJwD" role="3cqZAp">
+                          <node concept="2ShNRf" id="4dPZ2m2iJwE" role="YScLw">
+                            <node concept="1pGfFk" id="4dPZ2m2iJwF" role="2ShVmc">
+                              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
+                              <node concept="Xl_RD" id="4dPZ2m2iJwG" role="37wK5m">
+                                <property role="Xl_RC" value="not implemented" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Tm1VV" id="4dPZ2m2iJwH" role="1B3o_S" />
+                      <node concept="3uibUv" id="4dPZ2m2iJwI" role="3clF45">
+                        <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+                        <node concept="16syzq" id="4dPZ2m2iJwJ" role="11_B2D">
+                          <ref role="16sUi3" node="4dPZ2m2iJw$" resolve="V" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="492bFERoOqC" role="3cqZAp" />
+        <node concept="3clFbF" id="492bFERoBcg" role="3cqZAp">
+          <node concept="3clFbT" id="492bFERoBcf" role="3clFbG">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="10P_77" id="492bFERoATE" role="3clF45" />
+      <node concept="3Tm1VV" id="492bFERos3N" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="492bFERos3r" role="jymVt" />
+    <node concept="2YIFZL" id="2zhm1Y5WQUZ" role="jymVt">
+      <property role="DiZV1" value="false" />
+      <property role="od$2w" value="false" />
+      <property role="TrG5h" value="nextIndex" />
+      <node concept="3clFbS" id="2zhm1Y5WQTb" role="3clF47">
+        <node concept="3clFbF" id="2zhm1Y5XfXH" role="3cqZAp">
+          <node concept="2YIFZM" id="2zhm1Y5Xg9A" role="3clFbG">
+            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+            <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+            <node concept="2OqwBi" id="2zhm1Y5WTxH" role="37wK5m">
+              <node concept="2YIFZM" id="5zncGqweU5L" role="2Oq$k0">
+                <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                <ref role="37wK5l" node="5zncGqweU5I" resolve="get" />
+              </node>
+              <node concept="liA8E" id="2zhm1Y5Xf$V" role="2OqNvi">
+                <ref role="37wK5l" node="2zhm1Y5WSfW" resolve="primNextIndex" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="2zhm1Y5WQXV" role="3clF45" />
+      <node concept="3Tm1VV" id="2zhm1Y5WQTa" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="5zncGqweNW8" role="jymVt" />
+    <node concept="2YIFZL" id="5zncGqweOW0" role="jymVt">
+      <property role="TrG5h" value="asName" />
+      <node concept="37vLTG" id="5zncGqweP_N" role="3clF46">
+        <property role="TrG5h" value="index" />
+        <node concept="3uibUv" id="5zncGqwePAD" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+          <node concept="17QB3L" id="5zncGqwePDT" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="17QB3L" id="5zncGqwePgU" role="3clF45" />
+      <node concept="3Tm1VV" id="5zncGqweOW2" role="1B3o_S" />
+      <node concept="3clFbS" id="5zncGqweOW4" role="3clF47">
+        <node concept="3cpWs8" id="5zncGqweSk$" role="3cqZAp">
+          <node concept="3cpWsn" id="5zncGqweSk_" role="3cpWs9">
+            <property role="TrG5h" value="idx" />
+            <node concept="10Oyi0" id="5zncGqweSkA" role="1tU5fm" />
+            <node concept="2YIFZM" id="5zncGqweSkB" role="33vP2m">
+              <ref role="1Pybhc" to="wyt6:~Integer" resolve="Integer" />
+              <ref role="37wK5l" to="wyt6:~Integer.parseInt(java.lang.String):int" resolve="parseInt" />
+              <node concept="2OqwBi" id="5zncGqweSkC" role="37wK5m">
+                <node concept="2OqwBi" id="5zncGqweSkD" role="2Oq$k0">
+                  <node concept="37vLTw" id="5zncGqweTy8" role="2Oq$k0">
+                    <ref role="3cqZAo" node="5zncGqweP_N" resolve="index" />
+                  </node>
+                  <node concept="liA8E" id="5zncGqweSkF" role="2OqNvi">
+                    <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="5zncGqweSkG" role="2OqNvi">
+                  <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5zncGqwfNr3" role="3cqZAp">
+          <node concept="3cpWs3" id="5zncGqwfOc5" role="3cqZAk">
+            <node concept="Xl_RD" id="5zncGqwfNww" role="3uHU7B">
+              <property role="Xl_RC" value="t" />
+            </node>
+            <node concept="2OqwBi" id="5zncGqwfOge" role="3uHU7w">
+              <node concept="1rXfSq" id="5zncGqwfOgf" role="2Oq$k0">
+                <ref role="37wK5l" node="5zncGqweU5I" resolve="get" />
+              </node>
+              <node concept="liA8E" id="5zncGqwfOgg" role="2OqNvi">
+                <ref role="37wK5l" node="5zncGqweYMf" resolve="toCardinal" />
+                <node concept="37vLTw" id="5zncGqwfO$E" role="37wK5m">
+                  <ref role="3cqZAo" node="5zncGqweSk_" resolve="idx" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="5zncGqweUr_" role="jymVt" />
+    <node concept="2YIFZL" id="5zncGqweU5I" role="jymVt">
+      <property role="TrG5h" value="get" />
+      <node concept="3Tm6S6" id="5zncGqweU5J" role="1B3o_S" />
+      <node concept="3uibUv" id="5zncGqweU5K" role="3clF45">
+        <ref role="3uigEE" node="492bFERos2W" resolve="Names" />
+      </node>
+      <node concept="3clFbS" id="5zncGqweU1G" role="3clF47">
+        <node concept="3cpWs6" id="5zncGqweU3D" role="3cqZAp">
+          <node concept="2YIFZM" id="5zncGqweU3E" role="3cqZAk">
+            <ref role="37wK5l" to="hano:2tjs8VC2Blb" resolve="getOrPut" />
+            <ref role="1Pybhc" to="hano:2tjs8VC0K0m" resolve="Memoizer" />
+            <node concept="3VsKOn" id="5zncGqweU3F" role="37wK5m">
+              <ref role="3VsUkX" node="492bFERos2W" resolve="Names" />
+            </node>
+            <node concept="1bVj0M" id="5zncGqweU3G" role="37wK5m">
+              <node concept="3clFbS" id="5zncGqweU3H" role="1bW5cS">
+                <node concept="3clFbF" id="5zncGqweU3I" role="3cqZAp">
+                  <node concept="2ShNRf" id="5zncGqweU3J" role="3clFbG">
+                    <node concept="1pGfFk" id="5zncGqweU3K" role="2ShVmc">
+                      <ref role="37wK5l" node="2zhm1Y5WRX6" resolve="Names" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2zhm1Y5WRT4" role="jymVt" />
+    <node concept="3clFbW" id="2zhm1Y5WRX6" role="jymVt">
+      <node concept="3cqZAl" id="2zhm1Y5WRX8" role="3clF45" />
+      <node concept="3Tm6S6" id="2zhm1Y5WS0f" role="1B3o_S" />
+      <node concept="3clFbS" id="2zhm1Y5WRXa" role="3clF47" />
+    </node>
+    <node concept="2tJIrI" id="2zhm1Y5WSbG" role="jymVt" />
+    <node concept="3clFb_" id="2zhm1Y5WSfW" role="jymVt">
+      <property role="TrG5h" value="primNextIndex" />
+      <node concept="10Oyi0" id="2zhm1Y5WSkW" role="3clF45" />
+      <node concept="3Tm6S6" id="2zhm1Y5WSje" role="1B3o_S" />
+      <node concept="3clFbS" id="2zhm1Y5WSg0" role="3clF47">
+        <node concept="3clFbF" id="2zhm1Y5WSt0" role="3cqZAp">
+          <node concept="2$rviw" id="2zhm1Y5WSsY" role="3clFbG">
+            <node concept="37vLTw" id="2zhm1Y5WSut" role="2$L3a6">
+              <ref role="3cqZAo" node="2zhm1Y5WS4I" resolve="lastIndex" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="5zncGqwgg87" role="jymVt" />
+    <node concept="3clFb_" id="5zncGqwgf_H" role="jymVt">
+      <property role="TrG5h" value="primNextCardinal" />
+      <node concept="10Oyi0" id="5zncGqwgf_I" role="3clF45" />
+      <node concept="3Tm6S6" id="5zncGqwgf_J" role="1B3o_S" />
+      <node concept="3clFbS" id="5zncGqwgf_K" role="3clF47">
+        <node concept="3clFbF" id="5zncGqwgf_L" role="3cqZAp">
+          <node concept="2$rviw" id="5zncGqwgf_M" role="3clFbG">
+            <node concept="37vLTw" id="5zncGqwghL5" role="2$L3a6">
+              <ref role="3cqZAo" node="5zncGqwgbfu" resolve="lastCardinal" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="492bFERos3$" role="jymVt" />
+    <node concept="3clFb_" id="5zncGqweYMf" role="jymVt">
+      <property role="TrG5h" value="toCardinal" />
+      <node concept="37vLTG" id="5zncGqwf3BG" role="3clF46">
+        <property role="TrG5h" value="index" />
+        <node concept="10Oyi0" id="5zncGqwf49Y" role="1tU5fm" />
+      </node>
+      <node concept="17QB3L" id="5zncGqweZTa" role="3clF45" />
+      <node concept="3Tm6S6" id="5zncGqweZn5" role="1B3o_S" />
+      <node concept="3clFbS" id="5zncGqweYMj" role="3clF47">
+        <node concept="3cpWs8" id="5zncGqwfRgX" role="3cqZAp">
+          <node concept="3cpWsn" id="5zncGqwfRgY" role="3cpWs9">
+            <property role="TrG5h" value="card" />
+            <node concept="10Oyi0" id="5zncGqwfRgN" role="1tU5fm" />
+          </node>
+        </node>
+        <node concept="3clFbJ" id="5zncGqwfP9F" role="3cqZAp">
+          <node concept="3clFbS" id="5zncGqwfP9H" role="3clFbx">
+            <node concept="3clFbF" id="5zncGqwgoVk" role="3cqZAp">
+              <node concept="37vLTI" id="5zncGqwgoVm" role="3clFbG">
+                <node concept="3EllGN" id="5zncGqwfRgZ" role="37vLTx">
+                  <node concept="37vLTw" id="5zncGqwfRh0" role="3ElVtu">
+                    <ref role="3cqZAo" node="5zncGqwf3BG" resolve="index" />
+                  </node>
+                  <node concept="37vLTw" id="5zncGqwfRh1" role="3ElQJh">
+                    <ref role="3cqZAo" node="5zncGqwfHcP" resolve="index2cardinal" />
+                  </node>
+                </node>
+                <node concept="37vLTw" id="5zncGqwgoVq" role="37vLTJ">
+                  <ref role="3cqZAo" node="5zncGqwfRgY" resolve="card" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="5zncGqwgqv8" role="3cqZAp" />
+          </node>
+          <node concept="2OqwBi" id="5zncGqwfP$b" role="3clFbw">
+            <node concept="37vLTw" id="5zncGqwfPaz" role="2Oq$k0">
+              <ref role="3cqZAo" node="5zncGqwfHcP" resolve="index2cardinal" />
+            </node>
+            <node concept="2Nt0df" id="5zncGqwgaBr" role="2OqNvi">
+              <node concept="37vLTw" id="5zncGqwgaEJ" role="38cxEo">
+                <ref role="3cqZAo" node="5zncGqwf3BG" resolve="index" />
+              </node>
+            </node>
+          </node>
+          <node concept="9aQIb" id="5zncGqwgpYo" role="9aQIa">
+            <node concept="3clFbS" id="5zncGqwgpYp" role="9aQI4">
+              <node concept="3clFbF" id="5zncGqwgr0o" role="3cqZAp">
+                <node concept="37vLTI" id="5zncGqwgrEQ" role="3clFbG">
+                  <node concept="1rXfSq" id="5zncGqwgrOd" role="37vLTx">
+                    <ref role="37wK5l" node="5zncGqwgf_H" resolve="primNextCardinal" />
+                  </node>
+                  <node concept="37vLTw" id="5zncGqwgr0n" role="37vLTJ">
+                    <ref role="3cqZAo" node="5zncGqwfRgY" resolve="card" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbF" id="5zncGqwgkUA" role="3cqZAp">
+                <node concept="37vLTI" id="5zncGqwgnLE" role="3clFbG">
+                  <node concept="37vLTw" id="5zncGqwgsNL" role="37vLTx">
+                    <ref role="3cqZAo" node="5zncGqwfRgY" resolve="card" />
+                  </node>
+                  <node concept="3EllGN" id="5zncGqwglLU" role="37vLTJ">
+                    <node concept="37vLTw" id="5zncGqwgmag" role="3ElVtu">
+                      <ref role="3cqZAo" node="5zncGqwf3BG" resolve="index" />
+                    </node>
+                    <node concept="37vLTw" id="5zncGqwgkU$" role="3ElQJh">
+                      <ref role="3cqZAo" node="5zncGqwfHcP" resolve="index2cardinal" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="5zncGqwgopW" role="3cqZAp">
+          <node concept="3K4zz7" id="5zncGqwgopX" role="3cqZAk">
+            <node concept="3cpWs3" id="5zncGqwgopY" role="3K4E3e">
+              <node concept="Xl_RD" id="5zncGqwgopZ" role="3uHU7B">
+                <property role="Xl_RC" value="" />
+              </node>
+              <node concept="37vLTw" id="5zncGqwgt0J" role="3uHU7w">
+                <ref role="3cqZAo" node="5zncGqwfRgY" resolve="card" />
+              </node>
+            </node>
+            <node concept="Xl_RD" id="5zncGqwgoq1" role="3K4GZi" />
+            <node concept="3eOSWO" id="5zncGqwgoq2" role="3K4Cdx">
+              <node concept="37vLTw" id="5zncGqwgsV5" role="3uHU7B">
+                <ref role="3cqZAo" node="5zncGqwfRgY" resolve="card" />
+              </node>
+              <node concept="3cmrfG" id="5zncGqwgoq4" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="5zncGqweYdJ" role="jymVt" />
+    <node concept="312cEg" id="2zhm1Y5WS4I" role="jymVt">
+      <property role="TrG5h" value="lastIndex" />
+      <node concept="3Tm6S6" id="2zhm1Y5WS4J" role="1B3o_S" />
+      <node concept="10Oyi0" id="2zhm1Y5WS7H" role="1tU5fm" />
+      <node concept="3cmrfG" id="2zhm1Y5WS8C" role="33vP2m">
+        <property role="3cmrfH" value="-1" />
+      </node>
+    </node>
+    <node concept="312cEg" id="5zncGqwgbfu" role="jymVt">
+      <property role="TrG5h" value="lastCardinal" />
+      <node concept="3Tm6S6" id="5zncGqwgbfv" role="1B3o_S" />
+      <node concept="10Oyi0" id="5zncGqwgbLd" role="1tU5fm" />
+      <node concept="3cmrfG" id="5zncGqwgbMh" role="33vP2m">
+        <property role="3cmrfH" value="-1" />
+      </node>
+    </node>
+    <node concept="312cEg" id="5zncGqwfHcP" role="jymVt">
+      <property role="TrG5h" value="index2cardinal" />
+      <node concept="3Tm6S6" id="5zncGqwfHcQ" role="1B3o_S" />
+      <node concept="3rvAFt" id="5zncGqwfJ7S" role="1tU5fm">
+        <node concept="10Oyi0" id="5zncGqwfJ8e" role="3rvQeY" />
+        <node concept="10Oyi0" id="5zncGqwfJ8u" role="3rvSg0" />
+      </node>
+      <node concept="2ShNRf" id="5zncGqwfJb6" role="33vP2m">
+        <node concept="3rGOSV" id="5zncGqwfJaH" role="2ShVmc">
+          <node concept="10Oyi0" id="5zncGqwfJaI" role="3rHrn6" />
+          <node concept="10Oyi0" id="5zncGqwfJaJ" role="3rHtpV" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="5zncGqwfOGf" role="jymVt" />
+    <node concept="3Tm1VV" id="492bFERos2X" role="1B3o_S" />
+  </node>
+  <node concept="AVZre" id="4dPZ2m2i46N">
+    <property role="TrG5h" value="recover" />
+    <property role="3J8TDj" value="Stage2" />
+    <node concept="AVZhu" id="4dPZ2m2jAOh" role="3ArX_J">
+      <property role="TrG5h" value="recover_all" />
+      <node concept="3Aq9E8" id="4dPZ2m2jAYr" role="3otmyu">
+        <node concept="3I6sU6" id="4dPZ2m2jAYt" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2jAYv" role="3I6sU7">
+            <node concept="3Aqt3T" id="4dPZ2m2jAYz" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2jAgt" resolve="recoverAll" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="4dPZ2m2jB8S" role="3ArX_J">
+      <property role="TrG5h" value="expr_typeNode" />
+      <node concept="3Aq9E8" id="4dPZ2m2jBn7" role="3otmyu">
+        <node concept="3NuqgR" id="4dPZ2m2jBnp" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2jBnq" role="3XD1gS">
+            <property role="TrG5h" value="Node" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2jBnd" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2jBnf" role="3I6sU7">
+            <node concept="3Aqt3T" id="4dPZ2m2jBnj" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+              <node concept="a7P8L" id="4dPZ2m2jBnM" role="3AunhB">
+                <ref role="a7OzE" node="4dPZ2m2jBnq" resolve="Node" />
+              </node>
+              <node concept="a7P8L" id="4dPZ2m2jBnS" role="3AunhB">
+                <ref role="a7OzE" node="4dPZ2m2jBjz" resolve="Type" />
+              </node>
+            </node>
+          </node>
+          <node concept="3I6s7M" id="4dPZ2m2jBoh" role="3I6sU7">
+            <node concept="3Aqt3T" id="4dPZ2m2jBor" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2i64a" resolve="typeNode" />
+              <node concept="a7P8L" id="4dPZ2m2jBox" role="3AunhB">
+                <ref role="a7OzE" node="4dPZ2m2jBnq" resolve="Node" />
+              </node>
+              <node concept="aYllk" id="4dPZ2m2jBoD" role="3AunhB">
+                <node concept="3A2sRY" id="4dPZ2m2jBoN" role="aYrYs">
+                  <ref role="3A2yKK" node="4dPZ2m2jBj9" resolve="expr" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="4dPZ2m2jBjw" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="4dPZ2m2jBjy" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2jBjz" role="3XD1gS">
+            <property role="TrG5h" value="Type" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2jBjG" role="3Ip0Jz">
+          <node concept="3IrJb3" id="4dPZ2m2jBkh" role="3I6sU7">
+            <node concept="3clFbS" id="4dPZ2m2jBki" role="3IrJb0">
+              <node concept="3Aqczg" id="4dPZ2m2jBkn" role="3cqZAp">
+                <node concept="3Aqt3T" id="4dPZ2m2jBkl" role="3Aqpz8">
+                  <ref role="3AqCNq" node="4dPZ2m2jAgt" resolve="recoverAll" />
+                </node>
+              </node>
+              <node concept="3Aqczg" id="4dPZ2m2jBmI" role="3cqZAp">
+                <node concept="3XxkQB" id="4dPZ2m2jBmA" role="3Aqpz8">
+                  <node concept="aYllk" id="4dPZ2m2jBmC" role="3XxmmS">
+                    <node concept="3A2sRY" id="4dPZ2m2jBmU" role="aYrYs">
+                      <ref role="3A2yKK" node="4dPZ2m2jBj9" resolve="expr" />
+                    </node>
+                  </node>
+                  <node concept="a7P8L" id="4dPZ2m2jBn2" role="3Xxm5W">
+                    <ref role="a7OzE" node="4dPZ2m2jBjz" resolve="Type" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="4dPZ2m2jBj8" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGPJ" resolve="Expr" />
+        <node concept="3A20r5" id="4dPZ2m2jBj9" role="2t_VXX">
+          <property role="TrG5h" value="expr" />
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="3g9UT2j9OcI" role="3ArX_J">
+      <property role="TrG5h" value="recover_var" />
+      <node concept="3Aq9E8" id="3g9UT2j9OAv" role="3otmyu">
+        <node concept="3I6sU6" id="3g9UT2j9OAx" role="3Ip0Jz">
+          <node concept="3IrJb3" id="3g9UT2j9OG0" role="3I6sU7">
+            <node concept="3clFbS" id="3g9UT2j9OG1" role="3IrJb0">
+              <node concept="3Aqczg" id="5zncGqwgy2A" role="3cqZAp">
+                <node concept="3wWvb2" id="5zncGqwgy2B" role="3Aqpz8">
+                  <node concept="2YIFZM" id="5zncGqwgy2C" role="3wWo3s">
+                    <ref role="37wK5l" node="4dPZ2m2jg0d" resolve="assign" />
+                    <ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
+                    <node concept="3A9UF8" id="5zncGqwgy2D" role="37wK5m">
+                      <node concept="a7P8L" id="5zncGqwgy2E" role="3A9W3M">
+                        <ref role="a7OzE" node="3g9UT2j9O_S" resolve="Node" />
+                      </node>
+                    </node>
+                    <node concept="2c44tf" id="5zncGqwgy2F" role="37wK5m">
+                      <node concept="2BbKIm" id="5zncGqwgy2G" role="2c44tc">
+                        <property role="2BbKN5" value="name" />
+                        <node concept="2EMmih" id="5zncGqwgy2H" role="lGtFl">
+                          <property role="P4ACc" value="af858d84-85f2-42f4-a854-0b3c6b5cd482/3749787170939265030/3749787170939266901" />
+                          <property role="2qtEX9" value="name" />
+                          <property role="3hQQBS" value="VarType" />
+                          <node concept="2YIFZM" id="5zncGqwgyJN" role="2c44t1">
+                            <ref role="37wK5l" node="5zncGqweOW0" resolve="asName" />
+                            <ref role="1Pybhc" node="492bFERos2W" resolve="Names" />
+                            <node concept="3A9UF8" id="5zncGqwgyQc" role="37wK5m">
+                              <node concept="a7P8L" id="5zncGqwgyQe" role="3A9W3M">
+                                <ref role="a7OzE" node="3g9UT2j9OEt" resolve="Name" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9_M" id="3g9UT2j9OAf" role="3oo59u">
+        <node concept="3I6sU6" id="3g9UT2j9OAh" role="3Ip0Jz">
+          <node concept="3I6s7M" id="3g9UT2j9OAL" role="3I6sU7">
+            <node concept="2aLmEc" id="3g9UT2j9OAP" role="3I6s78">
+              <node concept="a7P8L" id="3g9UT2j9OAS" role="2aLmnP">
+                <ref role="a7OzE" node="3g9UT2j9O_3" resolve="Var" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="3g9UT2j9O_0" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="3g9UT2j9O_2" role="3Nuqhd">
+          <node concept="aZer4" id="3g9UT2j9O_S" role="3XD1gS">
+            <property role="TrG5h" value="Node" />
+          </node>
+          <node concept="aZer4" id="3g9UT2j9O_3" role="3XD1gS">
+            <property role="TrG5h" value="Var" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="3g9UT2j9O_k" role="3Ip0Jz">
+          <node concept="3I6s7M" id="3g9UT2j9O_D" role="3I6sU7">
+            <node concept="3Aqt3T" id="3g9UT2j9O_H" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+              <node concept="a7P8L" id="3g9UT2j9OA9" role="3AunhB">
+                <ref role="a7OzE" node="3g9UT2j9O_S" resolve="Node" />
+              </node>
+              <node concept="a7P8L" id="3g9UT2j9O_N" role="3AunhB">
+                <ref role="a7OzE" node="3g9UT2j9O_3" resolve="Var" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="3g9UT2j9SIF" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="3g9UT2j9TnT" role="3Nuqhd">
+          <node concept="aZer4" id="3g9UT2j9OEt" role="3XD1gS">
+            <property role="TrG5h" value="Name" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="3g9UT2j9Tij" role="3Ip0Jz">
+          <node concept="3I6s7M" id="3g9UT2j9OE0" role="3I6sU7">
+            <node concept="3Aqt3T" id="3g9UT2j9OEa" role="3I6s78">
+              <ref role="3AqCNq" node="492bFERomj4" resolve="varname" />
+              <node concept="a7P8L" id="3g9UT2j9OF2" role="3AunhB">
+                <ref role="a7OzE" node="3g9UT2j9O_3" resolve="Var" />
+              </node>
+              <node concept="a7P8L" id="3g9UT2j9OFe" role="3AunhB">
+                <ref role="a7OzE" node="3g9UT2j9OEt" resolve="Name" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="4dPZ2m2i48s" role="3ArX_J">
+      <property role="TrG5h" value="recover_bool" />
+      <node concept="3Aq93q" id="4dPZ2m2i60h" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="4dPZ2m2i60V" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2i60W" role="3XD1gS">
+            <property role="TrG5h" value="Node" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2i61g" role="3XD1gS">
+            <property role="TrG5h" value="Type" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2i60p" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2i60r" role="3I6sU7">
+            <node concept="3Aqt3T" id="4dPZ2m2i60I" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+              <node concept="a7P8L" id="4dPZ2m2i61s" role="3AunhB">
+                <ref role="a7OzE" node="4dPZ2m2i60W" resolve="Node" />
+              </node>
+              <node concept="1uarlV" id="4dPZ2m2i61C" role="3AunhB">
+                <node concept="a7P8L" id="4dPZ2m2i61y" role="1uarlU">
+                  <ref role="a7OzE" node="4dPZ2m2i61g" resolve="Type" />
+                </node>
+                <node concept="1Q4cc8" id="4dPZ2m2i61S" role="1uarlW">
+                  <ref role="1Q4cdn" node="492bFERodOY" resolve="Bool" />
+                  <node concept="1Q7qz5" id="4dPZ2m2i61U" role="1Q7vaU" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="4dPZ2m2i648" role="3otmyu">
+        <node concept="3I6sU6" id="4dPZ2m2i64s" role="3Ip0Jz">
+          <node concept="3IrJb3" id="4dPZ2m2i64u" role="3I6sU7">
+            <node concept="3clFbS" id="4dPZ2m2i64v" role="3IrJb0">
+              <node concept="3Aqczg" id="4dPZ2m2i64Y" role="3cqZAp">
+                <node concept="3GeI9q" id="4dPZ2m2i64S" role="3Aqpz8">
+                  <node concept="a7P8L" id="4dPZ2m2i658" role="3GeI8F">
+                    <ref role="a7OzE" node="4dPZ2m2i60W" resolve="Node" />
+                  </node>
+                  <node concept="aYllk" id="4dPZ2m2i65p" role="3GeI8D">
+                    <node concept="2c44tf" id="4dPZ2m2i65y" role="aYrYs">
+                      <node concept="3P8Jbz" id="4dPZ2m2i6g7" role="2c44tc" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="4dPZ2m2i6gJ" role="3ArX_J">
+      <property role="TrG5h" value="recover_fun" />
+      <node concept="3Aq93q" id="4dPZ2m2i6h9" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="4dPZ2m2i6hx" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2i6hy" role="3XD1gS">
+            <property role="TrG5h" value="Node" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2i6hI" role="3XD1gS">
+            <property role="TrG5h" value="Type" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2i6iY" role="3XD1gS">
+            <property role="TrG5h" value="TypeArg" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2i6ji" role="3XD1gS">
+            <property role="TrG5h" value="TypeRes" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2i6hh" role="3Ip0Jz">
+          <node concept="3I6s7M" id="4dPZ2m2i6hn" role="3I6sU7">
+            <node concept="3Aqt3T" id="4dPZ2m2i6hr" role="3I6s78">
+              <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+              <node concept="a7P8L" id="4dPZ2m2i6hX" role="3AunhB">
+                <ref role="a7OzE" node="4dPZ2m2i6hy" resolve="Node" />
+              </node>
+              <node concept="1uarlV" id="4dPZ2m2i6i9" role="3AunhB">
+                <node concept="a7P8L" id="4dPZ2m2i6i3" role="1uarlU">
+                  <ref role="a7OzE" node="4dPZ2m2i6hI" resolve="Type" />
+                </node>
+                <node concept="1Q4cc8" id="4dPZ2m2i6ir" role="1uarlW">
+                  <ref role="1Q4cdn" node="3_qfG1EPlgE" resolve="Fun" />
+                  <node concept="1Q7qz5" id="4dPZ2m2i6it" role="1Q7vaU" />
+                  <node concept="1RziaG" id="4dPZ2m2i6iy" role="1Ryyee">
+                    <ref role="1RzibV" node="4dPZ2m2hXGZ" resolve="arg" />
+                    <node concept="3AP2Rn" id="4dPZ2m2i6iz" role="1RzmR7">
+                      <node concept="3clFbS" id="4dPZ2m2i6i$" role="16YjZG">
+                        <node concept="3clFbF" id="4dPZ2m2i6jK" role="3cqZAp">
+                          <node concept="3A9UF8" id="4dPZ2m2i6jH" role="3clFbG">
+                            <node concept="a7P8L" id="4dPZ2m2i6jJ" role="3A9W3M">
+                              <ref role="a7OzE" node="4dPZ2m2i6iY" resolve="TypeArg" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="1RziaG" id="4dPZ2m2i6ng" role="1Ryyee">
+                    <ref role="1RzibV" node="4dPZ2m2hXHj" resolve="res" />
+                    <node concept="3AP2Rn" id="4dPZ2m2i6nh" role="1RzmR7">
+                      <node concept="3clFbS" id="4dPZ2m2i6ni" role="16YjZG">
+                        <node concept="3clFbF" id="4dPZ2m2i6nC" role="3cqZAp">
+                          <node concept="3A9UF8" id="4dPZ2m2i6n_" role="3clFbG">
+                            <node concept="a7P8L" id="4dPZ2m2i6nB" role="3A9W3M">
+                              <ref role="a7OzE" node="4dPZ2m2i6ji" resolve="TypeRes" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="4dPZ2m2i6rp" role="3otmyu">
+        <node concept="3NuqgR" id="4dPZ2m2i6rR" role="3Nuqhd">
+          <node concept="aZer4" id="4dPZ2m2i6rS" role="3XD1gS">
+            <property role="TrG5h" value="TypeArgNode" />
+          </node>
+          <node concept="aZer4" id="4dPZ2m2i6s7" role="3XD1gS">
+            <property role="TrG5h" value="TypeResNode" />
+          </node>
+        </node>
+        <node concept="3I6sU6" id="4dPZ2m2i6ru" role="3Ip0Jz">
+          <node concept="3IrJb3" id="4dPZ2m2i6rH" role="3I6sU7">
+            <node concept="3clFbS" id="4dPZ2m2i6rI" role="3IrJb0">
+              <node concept="3Aqczg" id="4dPZ2m2i6rN" role="3cqZAp">
+                <node concept="3Aqt3T" id="4dPZ2m2i6rL" role="3Aqpz8">
+                  <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+                  <node concept="a7P8L" id="4dPZ2m2i6sv" role="3AunhB">
+                    <ref role="a7OzE" node="4dPZ2m2i6rS" resolve="TypeArgNode" />
+                  </node>
+                  <node concept="a7P8L" id="4dPZ2m2i6sB" role="3AunhB">
+                    <ref role="a7OzE" node="4dPZ2m2i6iY" resolve="TypeArg" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aqczg" id="4dPZ2m2i6sH" role="3cqZAp">
+                <node concept="3Aqt3T" id="4dPZ2m2i6sI" role="3Aqpz8">
+                  <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+                  <node concept="a7P8L" id="4dPZ2m2i6t8" role="3AunhB">
+                    <ref role="a7OzE" node="4dPZ2m2i6s7" resolve="TypeResNode" />
+                  </node>
+                  <node concept="a7P8L" id="4dPZ2m2i6u2" role="3AunhB">
+                    <ref role="a7OzE" node="4dPZ2m2i6ji" resolve="TypeRes" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aqczg" id="4dPZ2m2jtMs" role="3cqZAp">
+                <node concept="3wWvb2" id="4dPZ2m2jtMq" role="3Aqpz8">
+                  <node concept="2YIFZM" id="4dPZ2m2jtVp" role="3wWo3s">
+                    <ref role="37wK5l" node="4dPZ2m2jg0d" resolve="assign" />
+                    <ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
+                    <node concept="3A9UF8" id="4dPZ2m2jtVq" role="37wK5m">
+                      <node concept="a7P8L" id="4dPZ2m2jtVr" role="3A9W3M">
+                        <ref role="a7OzE" node="4dPZ2m2i6hy" resolve="Node" />
+                      </node>
+                    </node>
+                    <node concept="2c44tf" id="4dPZ2m2jtVs" role="37wK5m">
+                      <node concept="1jz_ff" id="4dPZ2m2jtVt" role="2c44tc">
+                        <node concept="3P8Jbz" id="4dPZ2m2jtVu" role="1jz_fp">
+                          <node concept="2c44te" id="4dPZ2m2jtVv" role="lGtFl">
+                            <node concept="2OqwBi" id="3g9UT2j9kqx" role="2c44t1">
+                              <node concept="2OqwBi" id="4dPZ2m2jtVw" role="2Oq$k0">
+                                <node concept="2OqwBi" id="4dPZ2m2jtVx" role="2Oq$k0">
+                                  <node concept="1eOMI4" id="4dPZ2m2jtVy" role="2Oq$k0">
+                                    <node concept="10QFUN" id="4dPZ2m2jtVz" role="1eOMHV">
+                                      <node concept="3uibUv" id="4dPZ2m2jtV$" role="10QFUM">
+                                        <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+                                        <node concept="3Tqbb2" id="4dPZ2m2jtV_" role="11_B2D" />
+                                      </node>
+                                      <node concept="3A9UF8" id="4dPZ2m2jtVA" role="10QFUP">
+                                        <node concept="a7P8L" id="4dPZ2m2jtVB" role="3A9W3M">
+                                          <ref role="a7OzE" node="4dPZ2m2i6rS" resolve="TypeArgNode" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="4dPZ2m2jtVC" role="2OqNvi">
+                                    <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="4dPZ2m2jtVD" role="2OqNvi">
+                                  <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
+                                </node>
+                              </node>
+                              <node concept="1$rogu" id="3g9UT2j9ldl" role="2OqNvi" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3P8Jbz" id="4dPZ2m2jtVE" role="1jz_f_">
+                          <node concept="2c44te" id="4dPZ2m2jtVF" role="lGtFl">
+                            <node concept="2OqwBi" id="3g9UT2j9lp6" role="2c44t1">
+                              <node concept="2OqwBi" id="4dPZ2m2jtVG" role="2Oq$k0">
+                                <node concept="2OqwBi" id="4dPZ2m2jtVH" role="2Oq$k0">
+                                  <node concept="1eOMI4" id="4dPZ2m2jtVI" role="2Oq$k0">
+                                    <node concept="10QFUN" id="4dPZ2m2jtVJ" role="1eOMHV">
+                                      <node concept="3uibUv" id="4dPZ2m2jtVK" role="10QFUM">
+                                        <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+                                        <node concept="3Tqbb2" id="4dPZ2m2jtVL" role="11_B2D" />
+                                      </node>
+                                      <node concept="3A9UF8" id="4dPZ2m2jtVM" role="10QFUP">
+                                        <node concept="a7P8L" id="4dPZ2m2jtVN" role="3A9W3M">
+                                          <ref role="a7OzE" node="4dPZ2m2i6s7" resolve="TypeResNode" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="4dPZ2m2jtVO" role="2OqNvi">
+                                    <ref role="37wK5l" to="bj13:~Logical.findRoot():jetbrains.mps.logic.reactor.logical.Logical" resolve="findRoot" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="4dPZ2m2jtVP" role="2OqNvi">
+                                  <ref role="37wK5l" to="bj13:~Logical.value():java.lang.Object" resolve="value" />
+                                </node>
+                              </node>
+                              <node concept="1$rogu" id="3g9UT2j9lBS" role="2OqNvi" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1X3_iC" id="4dPZ2m2jmji" role="lGtFl">
+                <property role="3V$3am" value="statement" />
+                <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                <node concept="3Aqczg" id="4dPZ2m2i6ve" role="8Wnug">
+                  <node concept="3GeI9q" id="4dPZ2m2i6v8" role="3Aqpz8">
+                    <node concept="a7P8L" id="4dPZ2m2i6vr" role="3GeI8F">
+                      <ref role="a7OzE" node="4dPZ2m2i6hy" resolve="Node" />
+                    </node>
+                    <node concept="aYllk" id="4dPZ2m2i6vw" role="3GeI8D">
+                      <node concept="2c44tf" id="4dPZ2m2i6vD" role="aYrYs">
+                        <node concept="1jz_ff" id="4dPZ2m2i6vT" role="2c44tc">
+                          <node concept="3P8Jbz" id="4dPZ2m2i6wS" role="1jz_fp">
+                            <node concept="2c44te" id="4dPZ2m2i6x1" role="lGtFl">
+                              <node concept="3A9UF8" id="4dPZ2m2i6xb" role="2c44t1">
+                                <node concept="a7P8L" id="4dPZ2m2i6xd" role="3A9W3M">
+                                  <ref role="a7OzE" node="4dPZ2m2i6rS" resolve="TypeArgNode" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3P8Jbz" id="4dPZ2m2i6yC" role="1jz_f_">
+                            <node concept="2c44te" id="4dPZ2m2i6yL" role="lGtFl">
+                              <node concept="3A9UF8" id="4dPZ2m2i6yV" role="2c44t1">
+                                <node concept="a7P8L" id="4dPZ2m2i6yX" role="3A9W3M">
+                                  <ref role="a7OzE" node="4dPZ2m2i6s7" resolve="TypeResNode" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="312cEu" id="4dPZ2m2jfZE">
+    <property role="TrG5h" value="Util" />
+    <node concept="2tJIrI" id="4dPZ2m2jg00" role="jymVt" />
+    <node concept="2YIFZL" id="4dPZ2m2jg0d" role="jymVt">
+      <property role="TrG5h" value="assign" />
+      <property role="DiZV1" value="false" />
+      <property role="od$2w" value="false" />
+      <node concept="37vLTG" id="4dPZ2m2jgzY" role="3clF46">
+        <property role="TrG5h" value="logical" />
+        <node concept="3uibUv" id="4dPZ2m2jxZ3" role="1tU5fm">
+          <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+          <node concept="3Tqbb2" id="4dPZ2m2jyq1" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="4dPZ2m2jgQf" role="3clF46">
+        <property role="TrG5h" value="node" />
+        <node concept="3Tqbb2" id="4dPZ2m2jgYK" role="1tU5fm" />
+      </node>
+      <node concept="3clFbS" id="4dPZ2m2jg0e" role="3clF47">
+        <node concept="3cpWs8" id="4dPZ2m2jgbf" role="3cqZAp">
+          <node concept="3cpWsn" id="4dPZ2m2jgbe" role="3cpWs9">
+            <property role="3TUv4t" value="false" />
+            <property role="TrG5h" value="sessionSolver" />
+            <node concept="3uibUv" id="4dPZ2m2jgbg" role="1tU5fm">
+              <ref role="3uigEE" to="w7la:~SessionSolver" resolve="SessionSolver" />
+            </node>
+            <node concept="2OqwBi" id="4dPZ2m2jgbh" role="33vP2m">
+              <node concept="2YIFZM" id="4dPZ2m2jgb_" role="2Oq$k0">
+                <ref role="1Pybhc" to="w7la:~EvaluationSession" resolve="EvaluationSession" />
+                <ref role="37wK5l" to="w7la:~EvaluationSession.current():jetbrains.mps.logic.reactor.evaluation.EvaluationSession" resolve="current" />
+              </node>
+              <node concept="liA8E" id="4dPZ2m2jgbj" role="2OqNvi">
+                <ref role="37wK5l" to="w7la:~EvaluationSession.sessionSolver():jetbrains.mps.logic.reactor.evaluation.SessionSolver" resolve="sessionSolver" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4dPZ2m2jgbk" role="3cqZAp">
+          <node concept="2OqwBi" id="4dPZ2m2jgbD" role="3clFbG">
+            <node concept="37vLTw" id="4dPZ2m2jgbC" role="2Oq$k0">
+              <ref role="3cqZAo" node="4dPZ2m2jgbe" resolve="sessionSolver" />
+            </node>
+            <node concept="liA8E" id="4dPZ2m2jgbE" role="2OqNvi">
+              <ref role="37wK5l" to="w7la:~SessionSolver.tell(jetbrains.mps.logic.reactor.program.AndItem,jetbrains.mps.logic.reactor.logical.LogicalContext):void" resolve="tell" />
+              <node concept="2OqwBi" id="4dPZ2m2jgbm" role="37wK5m">
+                <node concept="2OqwBi" id="4dPZ2m2jgbn" role="2Oq$k0">
+                  <node concept="2ShNRf" id="4dPZ2m2jgbF" role="2Oq$k0">
+                    <node concept="1pGfFk" id="4dPZ2m2jgbT" role="2ShVmc">
+                      <ref role="37wK5l" to="nz6g:4sSe4$oM2B4" resolve="PredicateBuilder" />
+                      <node concept="10M0yZ" id="4dPZ2m2jgeW" role="37wK5m">
+                        <ref role="1PxDUh" to="cxk7:3HJTsBn4kk_" resolve="EqualsPredicate" />
+                        <ref role="3cqZAo" to="cxk7:5uFPQ7C23RV" resolve="EQ_SYM" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="4dPZ2m2jgbq" role="2OqNvi">
+                    <ref role="37wK5l" to="nz6g:4sSe4$oM2Bb" resolve="withArguments" />
+                    <node concept="37vLTw" id="4dPZ2m2jgbr" role="37wK5m">
+                      <ref role="3cqZAo" node="4dPZ2m2jgzY" resolve="logical" />
+                    </node>
+                    <node concept="37vLTw" id="4dPZ2m2jgbs" role="37wK5m">
+                      <ref role="3cqZAo" node="4dPZ2m2jgQf" resolve="node" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="liA8E" id="4dPZ2m2jgbt" role="2OqNvi">
+                  <ref role="37wK5l" to="nz6g:4sSe4$oM2Bs" resolve="toPredicate" />
+                </node>
+              </node>
+              <node concept="2ShNRf" id="4dPZ2m2jhMm" role="37wK5m">
+                <node concept="YeOm9" id="4dPZ2m2jhMn" role="2ShVmc">
+                  <node concept="1Y3b0j" id="4dPZ2m2jhMo" role="YeSDq">
+                    <property role="1sVAO0" value="false" />
+                    <property role="1EXbeo" value="false" />
+                    <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+                    <ref role="1Y3XeK" to="bj13:~LogicalContext" resolve="LogicalContext" />
+                    <node concept="3clFb_" id="4dPZ2m2jhMp" role="jymVt">
+                      <property role="TrG5h" value="variable" />
+                      <property role="DiZV1" value="false" />
+                      <property role="od$2w" value="false" />
+                      <node concept="2AHcQZ" id="4dPZ2m2jhMq" role="2AJF6D">
+                        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+                      </node>
+                      <node concept="16euLQ" id="4dPZ2m2jhMr" role="16eVyc">
+                        <property role="TrG5h" value="V" />
+                      </node>
+                      <node concept="37vLTG" id="4dPZ2m2jhMs" role="3clF46">
+                        <property role="TrG5h" value="logical" />
+                        <property role="3TUv4t" value="false" />
+                        <node concept="3uibUv" id="4dPZ2m2jhMt" role="1tU5fm">
+                          <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                          <node concept="16syzq" id="4dPZ2m2jhMu" role="11_B2D">
+                            <ref role="16sUi3" node="4dPZ2m2jhMr" resolve="V" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbS" id="4dPZ2m2jhMv" role="3clF47">
+                        <node concept="YS8fn" id="4dPZ2m2jhMw" role="3cqZAp">
+                          <node concept="2ShNRf" id="4dPZ2m2jhMx" role="YScLw">
+                            <node concept="1pGfFk" id="4dPZ2m2jhMy" role="2ShVmc">
+                              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
+                              <node concept="Xl_RD" id="4dPZ2m2jhMz" role="37wK5m">
+                                <property role="Xl_RC" value="not implemented" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3Tm1VV" id="4dPZ2m2jhM$" role="1B3o_S" />
+                      <node concept="3uibUv" id="4dPZ2m2jhM_" role="3clF45">
+                        <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
+                        <node concept="16syzq" id="4dPZ2m2jhMA" role="11_B2D">
+                          <ref role="16sUi3" node="4dPZ2m2jhMr" resolve="V" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4dPZ2m2jizH" role="3cqZAp">
+          <node concept="3clFbT" id="4dPZ2m2jizG" role="3clFbG">
+            <property role="3clFbU" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4dPZ2m2jg0p" role="1B3o_S" />
+      <node concept="10P_77" id="4dPZ2m2jg0q" role="3clF45" />
+    </node>
+    <node concept="2tJIrI" id="4dPZ2m2jg03" role="jymVt" />
+    <node concept="3Tm1VV" id="4dPZ2m2jfZF" role="1B3o_S" />
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl b/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
index 47f25326..c0185a92 100644
--- a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
+++ b/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
@@ -55,6 +55,8 @@
     <dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
     <dependency reexport="false">af858d84-85f2-42f4-a854-0b3c6b5cd482(sample.fooblin)</dependency>
     <dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
+    <dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
+    <dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
   </dependencies>
   <usedDevKits>
     <usedDevKit>2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)</usedDevKit>
@@ -62,6 +64,7 @@
   <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:774bf8a0-62e5-41e1-af63-f4812e60e48b:jetbrains.mps.baseLanguage.checkedDots" 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" />
@@ -97,6 +100,7 @@
     <language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="0" />
     <language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.typesystem2" version="0" />
     <language slang="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" version="0" />
+    <language slang="l:af858d84-85f2-42f4-a854-0b3c6b5cd482:sample.fooblin" version="0" />
   </languageVersions>
   <dependencyVersions>
     <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
@@ -109,6 +113,7 @@
     <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="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
+    <module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
     <module reference="af858d84-85f2-42f4-a854-0b3c6b5cd482(sample.fooblin)" version="0" />
   </dependencyVersions>
   <extendedLanguages />