diff --git a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps b/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
index b83f5231..307e6e40 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps
@@ -5,7 +5,402 @@
     <use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="0" />
     <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
   </languages>
-  <imports />
-  <registry />
+  <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="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior">
+      <concept id="1225194240794" name="jetbrains.mps.lang.behavior.structure.ConceptBehavior" flags="ng" index="13h7C7">
+        <reference id="1225194240799" name="concept" index="13h7C2" />
+        <child id="1225194240805" name="method" index="13h7CS" />
+        <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="1225194691553" name="jetbrains.mps.lang.behavior.structure.ThisNodeExpression" flags="nn" index="13iPFW" />
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
+      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
+      <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="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
+        <child id="1154032183016" name="body" index="2LFqv$" />
+      </concept>
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </concept>
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
+        <child id="1164991057263" name="throwable" index="YScLw" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <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="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" />
+      </concept>
+      <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
+        <child id="1068580123133" name="returnType" index="3clF45" />
+        <child id="1068580123135" name="body" index="3clF47" />
+      </concept>
+      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+      </concept>
+      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
+      <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
+        <child id="1178549979242" name="visibility" index="1B3o_S" />
+      </concept>
+      <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
+    </language>
+    <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
+      <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
+        <child id="1199569916463" name="body" index="1bW5cS" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
+        <child id="1144104376918" name="parameter" index="1xVPHs" />
+      </concept>
+      <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" />
+        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
+      </concept>
+      <concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS">
+        <reference id="1145383142433" name="elementConcept" index="2I9WkF" />
+      </concept>
+      <concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
+      <concept id="1171407110247" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorOperation" flags="nn" index="2Xjw5R" />
+      <concept id="1154546920561" name="jetbrains.mps.lang.smodel.structure.OperationParm_ConceptList" flags="ng" index="3gmYPX">
+        <child id="1154546920563" name="concept" index="3gmYPZ" />
+      </concept>
+      <concept id="1154546950173" name="jetbrains.mps.lang.smodel.structure.ConceptReference" flags="ng" index="3gn64h">
+        <reference id="1154546997487" name="concept" index="3gnhBz" />
+      </concept>
+      <concept id="6039268229364358244" name="jetbrains.mps.lang.smodel.structure.ExactConceptCase" flags="ng" index="1pnPoh">
+        <child id="6039268229364358388" name="body" index="1pnPq1" />
+        <child id="6039268229364358387" name="concept" index="1pnPq6" />
+      </concept>
+      <concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
+        <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
+      </concept>
+      <concept id="5944356402132808749" name="jetbrains.mps.lang.smodel.structure.ConceptSwitchStatement" flags="nn" index="1_3QMa">
+        <child id="6039268229365417680" name="defaultBlock" index="1prKM_" />
+        <child id="5944356402132808753" name="case" index="1_3QMm" />
+        <child id="5944356402132808752" name="expression" index="1_3QMn" />
+      </concept>
+      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
+        <child id="1204796294226" name="closure" index="23t8la" />
+      </concept>
+      <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
+      <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
+    </language>
+  </registry>
+  <node concept="13h7C7" id="4rRw8_AtH8f">
+    <property role="3GE5qa" value="expr" />
+    <ref role="13h7C2" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+    <node concept="13i0hz" id="4rRw8_AtH8q" role="13h7CS">
+      <property role="TrG5h" value="binding" />
+      <node concept="3Tm1VV" id="4rRw8_AtH8r" role="1B3o_S" />
+      <node concept="3Tqbb2" id="4rRw8_AtH8E" role="3clF45">
+        <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+      </node>
+      <node concept="3clFbS" id="4rRw8_AtH8t" role="3clF47">
+        <node concept="3cpWs8" id="4rRw8_AuQzk" role="3cqZAp">
+          <node concept="3cpWsn" id="4rRw8_AuQzl" role="3cpWs9">
+            <property role="TrG5h" value="current" />
+            <node concept="3Tqbb2" id="4rRw8_AuQzj" role="1tU5fm" />
+            <node concept="13iPFW" id="4rRw8_AuQzm" role="33vP2m" />
+          </node>
+        </node>
+        <node concept="2$JKZl" id="4rRw8_AuSzT" role="3cqZAp">
+          <node concept="3clFbS" id="4rRw8_AuSzV" role="2LFqv$">
+            <node concept="3cpWs8" id="4rRw8_AuAJC" role="3cqZAp">
+              <node concept="3cpWsn" id="4rRw8_AuAJD" role="3cpWs9">
+                <property role="TrG5h" value="binder" />
+                <node concept="3Tqbb2" id="4rRw8_AuAJB" role="1tU5fm">
+                  <ref role="ehGHo" to="tpck:gw2VY9q" resolve="BaseConcept" />
+                </node>
+                <node concept="2OqwBi" id="4rRw8_AuAJE" role="33vP2m">
+                  <node concept="37vLTw" id="4rRw8_AuQzn" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4rRw8_AuQzl" resolve="current" />
+                  </node>
+                  <node concept="2Xjw5R" id="4rRw8_AuAJG" role="2OqNvi">
+                    <node concept="3gmYPX" id="4rRw8_AuAJH" role="1xVPHs">
+                      <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>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbJ" id="4rRw8_AuROO" role="3cqZAp">
+              <node concept="3clFbS" id="4rRw8_AuROQ" role="3clFbx">
+                <node concept="3cpWs6" id="4rRw8_AuSa6" role="3cqZAp">
+                  <node concept="10Nm6u" id="4rRw8_AuSae" role="3cqZAk" />
+                </node>
+              </node>
+              <node concept="3clFbC" id="4rRw8_AuS9d" role="3clFbw">
+                <node concept="10Nm6u" id="4rRw8_AuS9E" role="3uHU7w" />
+                <node concept="37vLTw" id="4rRw8_AuS1f" role="3uHU7B">
+                  <ref role="3cqZAo" node="4rRw8_AuAJD" resolve="binder" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="4rRw8_AuSaA" role="3cqZAp" />
+            <node concept="3cpWs8" id="4rRw8_AuDnT" role="3cqZAp">
+              <node concept="3cpWsn" id="4rRw8_AuDnU" role="3cpWs9">
+                <property role="TrG5h" value="allBound" />
+                <node concept="2I9FWS" id="4rRw8_AuDnO" role="1tU5fm">
+                  <ref role="2I9WkF" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+                </node>
+              </node>
+            </node>
+            <node concept="1_3QMa" id="4rRw8_AuBgF" role="3cqZAp">
+              <node concept="2OqwBi" id="4rRw8_AuBn_" role="1_3QMn">
+                <node concept="37vLTw" id="4rRw8_AuBhm" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4rRw8_AuAJD" resolve="binder" />
+                </node>
+                <node concept="2yIwOk" id="4rRw8_AuBvl" role="2OqNvi" />
+              </node>
+              <node concept="1pnPoh" id="4rRw8_AuBvI" role="1_3QMm">
+                <node concept="3gn64h" id="4rRw8_AuBvW" role="1pnPq6">
+                  <ref role="3gnhBz" to="8tt8:7_8aRkgDGQf" resolve="Abs" />
+                </node>
+                <node concept="3clFbS" id="4rRw8_AuBvK" role="1pnPq1">
+                  <node concept="3clFbF" id="4rRw8_AuDEG" role="3cqZAp">
+                    <node concept="37vLTI" id="4rRw8_AuDEI" role="3clFbG">
+                      <node concept="2OqwBi" id="4rRw8_AuDnV" role="37vLTx">
+                        <node concept="2OqwBi" id="4rRw8_AuDnW" role="2Oq$k0">
+                          <node concept="1PxgMI" id="4rRw8_AuDnX" role="2Oq$k0">
+                            <ref role="1m5ApE" to="8tt8:7_8aRkgDGQf" resolve="Abs" />
+                            <node concept="37vLTw" id="4rRw8_AuDnY" role="1m5AlR">
+                              <ref role="3cqZAo" node="4rRw8_AuAJD" resolve="binder" />
+                            </node>
+                          </node>
+                          <node concept="3TrEf2" id="4rRw8_AuDnZ" role="2OqNvi">
+                            <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQg" resolve="bind" />
+                          </node>
+                        </node>
+                        <node concept="2Rf3mk" id="4rRw8_AuDo0" role="2OqNvi">
+                          <node concept="1xMEDy" id="4rRw8_AuDo1" role="1xVPHs">
+                            <node concept="chp4Y" id="4rRw8_AuDo2" role="ri$Ld">
+                              <ref role="cht4Q" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4rRw8_AuDEM" role="37vLTJ">
+                        <ref role="3cqZAo" node="4rRw8_AuDnU" resolve="allBound" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="4rRw8_AuBwX" role="3cqZAp" />
+                </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>
+                <node concept="3clFbS" id="4rRw8_AuBwo" role="1pnPq1">
+                  <node concept="3clFbF" id="4rRw8_AuE83" role="3cqZAp">
+                    <node concept="37vLTI" id="4rRw8_AuE84" role="3clFbG">
+                      <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" />
+                            <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>
+                        </node>
+                        <node concept="2Rf3mk" id="4rRw8_AuE8a" role="2OqNvi">
+                          <node concept="1xMEDy" id="4rRw8_AuE8b" role="1xVPHs">
+                            <node concept="chp4Y" id="4rRw8_AuE8c" role="ri$Ld">
+                              <ref role="cht4Q" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="37vLTw" id="4rRw8_AuE8d" role="37vLTJ">
+                        <ref role="3cqZAo" node="4rRw8_AuDnU" resolve="allBound" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="4rRw8_AuEv3" role="3cqZAp" />
+                </node>
+              </node>
+              <node concept="3clFbS" id="4rRw8_AuOep" role="1prKM_">
+                <node concept="YS8fn" id="4rRw8_AuOe_" role="3cqZAp">
+                  <node concept="2ShNRf" id="4rRw8_AuOeV" role="YScLw">
+                    <node concept="1pGfFk" id="4rRw8_AuOnv" role="2ShVmc">
+                      <ref role="37wK5l" to="wyt6:~IllegalStateException.&lt;init&gt;()" resolve="IllegalStateException" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3cpWs8" id="4rRw8_AuOAF" role="3cqZAp">
+              <node concept="3cpWsn" id="4rRw8_AuOAG" role="3cpWs9">
+                <property role="TrG5h" value="bound" />
+                <node concept="3Tqbb2" id="4rRw8_AuOA_" role="1tU5fm">
+                  <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+                </node>
+                <node concept="2OqwBi" id="4rRw8_AuOAH" role="33vP2m">
+                  <node concept="37vLTw" id="4rRw8_AuOAI" role="2Oq$k0">
+                    <ref role="3cqZAo" node="4rRw8_AuDnU" resolve="allBound" />
+                  </node>
+                  <node concept="1z4cxt" id="4rRw8_AuOAJ" role="2OqNvi">
+                    <node concept="1bVj0M" id="4rRw8_AuOAK" role="23t8la">
+                      <node concept="3clFbS" id="4rRw8_AuOAL" role="1bW5cS">
+                        <node concept="3clFbF" id="4rRw8_AuOAM" role="3cqZAp">
+                          <node concept="17R0WA" id="4rRw8_AuOAN" role="3clFbG">
+                            <node concept="2OqwBi" id="4rRw8_AuOAO" role="3uHU7w">
+                              <node concept="13iPFW" id="4rRw8_AuOAP" role="2Oq$k0" />
+                              <node concept="3TrcHB" id="4rRw8_AuOAQ" role="2OqNvi">
+                                <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                              </node>
+                            </node>
+                            <node concept="2OqwBi" id="4rRw8_AuOAR" role="3uHU7B">
+                              <node concept="37vLTw" id="4rRw8_AuOAS" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4rRw8_AuOAU" resolve="it" />
+                              </node>
+                              <node concept="3TrcHB" id="4rRw8_AuOAT" role="2OqNvi">
+                                <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Rh6nW" id="4rRw8_AuOAU" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="4rRw8_AuOAV" role="1tU5fm" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="4rRw8_AuXKG" role="3cqZAp" />
+            <node concept="3clFbJ" id="4rRw8_AuPqc" role="3cqZAp">
+              <node concept="3clFbS" id="4rRw8_AuPqe" role="3clFbx">
+                <node concept="3cpWs6" id="4rRw8_AuPKr" role="3cqZAp">
+                  <node concept="37vLTw" id="4rRw8_AuPKJ" role="3cqZAk">
+                    <ref role="3cqZAo" node="4rRw8_AuOAG" resolve="bound" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3y3z36" id="4rRw8_AuPJu" role="3clFbw">
+                <node concept="10Nm6u" id="4rRw8_AuPK1" role="3uHU7w" />
+                <node concept="37vLTw" id="4rRw8_AuP_4" role="3uHU7B">
+                  <ref role="3cqZAo" node="4rRw8_AuOAG" resolve="bound" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbH" id="4rRw8_AuEBW" role="3cqZAp" />
+            <node concept="3clFbF" id="4rRw8_AuR5N" role="3cqZAp">
+              <node concept="37vLTI" id="4rRw8_AuRwC" role="3clFbG">
+                <node concept="37vLTw" id="4rRw8_AuRyY" role="37vLTx">
+                  <ref role="3cqZAo" node="4rRw8_AuAJD" resolve="binder" />
+                </node>
+                <node concept="37vLTw" id="4rRw8_AuR5L" role="37vLTJ">
+                  <ref role="3cqZAo" node="4rRw8_AuQzl" resolve="current" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbT" id="4rRw8_AuSKI" role="2$JKZa">
+            <property role="3clFbU" value="true" />
+          </node>
+        </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>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps b/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
index b087b9e4..7e96e866 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/editor.mps
@@ -88,6 +88,7 @@
       <concept id="5692353713941573329" name="jetbrains.mps.lang.editor.structure.QueryFunction_TransformationMenu_ActionLabelText" flags="ig" index="1hCUdq" />
       <concept id="3308396621974580100" name="jetbrains.mps.lang.editor.structure.SubstituteMenu_Default" flags="ng" index="3p36aQ" />
       <concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
+        <property id="1139852716018" name="noTargetText" index="1$x2rV" />
         <reference id="1140103550593" name="relationDeclaration" index="1NtTu8" />
       </concept>
       <concept id="1073389214265" name="jetbrains.mps.lang.editor.structure.EditorCellModel" flags="ng" index="3EYTF0">
@@ -129,6 +130,7 @@
       </concept>
     </language>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1080223426719" name="jetbrains.mps.baseLanguage.structure.OrExpression" flags="nn" index="22lmx$" />
       <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" />
@@ -355,7 +357,7 @@
   </node>
   <node concept="24kQdi" id="7_8aRkgE08o">
     <property role="3GE5qa" value="expr.fun" />
-    <ref role="1XX52x" to="8tt8:7_8aRkgDGQi" resolve="VarType" />
+    <ref role="1XX52x" to="8tt8:7_8aRkgDGQi" resolve="BindVar" />
     <node concept="3EZMnI" id="7_8aRkgE08q" role="2wV5jI">
       <node concept="3F1sOY" id="7_8aRkgE08x" role="3EZMnx">
         <ref role="1NtTu8" to="8tt8:7_8aRkgDGQj" resolve="var" />
@@ -389,6 +391,9 @@
       <node concept="3F1sOY" id="7_8aRkgE090" role="3EZMnx">
         <ref role="1NtTu8" to="8tt8:7_8aRkgDGPL" resolve="fun" />
       </node>
+      <node concept="3F0ifn" id="4ZByBOoFhg_" role="3EZMnx">
+        <property role="3F0ifm" value=" " />
+      </node>
       <node concept="3F1sOY" id="7_8aRkgE096" role="3EZMnx">
         <ref role="1NtTu8" to="8tt8:7_8aRkgDGPX" resolve="arg" />
       </node>
@@ -848,7 +853,7 @@
               <node concept="3cpWsn" id="7_8aRkgGaHx" role="3cpWs9">
                 <property role="TrG5h" value="varType" />
                 <node concept="3Tqbb2" id="7_8aRkgGaHp" role="1tU5fm">
-                  <ref role="ehGHo" to="8tt8:7_8aRkgDGQi" resolve="VarType" />
+                  <ref role="ehGHo" to="8tt8:7_8aRkgDGQi" resolve="BindVar" />
                 </node>
                 <node concept="2OqwBi" id="7_8aRkgGaHy" role="33vP2m">
                   <node concept="2OqwBi" id="7_8aRkgGaHz" role="2Oq$k0">
@@ -860,7 +865,7 @@
                     </node>
                   </node>
                   <node concept="2DeJnY" id="7_8aRkgGRu1" role="2OqNvi">
-                    <ref role="1A9B2P" to="8tt8:7_8aRkgDGQi" resolve="VarType" />
+                    <ref role="1A9B2P" to="8tt8:7_8aRkgDGQi" resolve="BindVar" />
                   </node>
                 </node>
               </node>
@@ -957,5 +962,105 @@
     <property role="3GE5qa" value="expr.fun" />
     <ref role="aqKnT" to="8tt8:7_8aRkgDGPK" resolve="App" />
   </node>
+  <node concept="24kQdi" id="3_qfG1EP6NQ">
+    <property role="3GE5qa" value="type" />
+    <ref role="1XX52x" to="8tt8:3_qfG1EP6NP" resolve="StrType" />
+    <node concept="3EZMnI" id="3_qfG1EP6NS" role="2wV5jI">
+      <node concept="3F0ifn" id="3_qfG1EP6NZ" role="3EZMnx">
+        <property role="3F0ifm" value="Str" />
+      </node>
+      <node concept="l2Vlx" id="3_qfG1EP6NV" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3_qfG1EP6O3">
+    <property role="3GE5qa" value="type" />
+    <ref role="1XX52x" to="8tt8:3_qfG1EP6O2" resolve="NumType" />
+    <node concept="3EZMnI" id="3_qfG1EP6O5" role="2wV5jI">
+      <node concept="3F0ifn" id="3_qfG1EP6Oc" role="3EZMnx">
+        <property role="3F0ifm" value="Num" />
+      </node>
+      <node concept="l2Vlx" id="3_qfG1EP6O8" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3_qfG1EP6Og">
+    <property role="3GE5qa" value="type" />
+    <ref role="1XX52x" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+    <node concept="3EZMnI" id="3_qfG1EP6Oi" role="2wV5jI">
+      <node concept="3F0ifn" id="4rRw8_AvxCu" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <node concept="pkWqt" id="4rRw8_AvxCL" role="pqm2j">
+          <node concept="3clFbS" id="4rRw8_AvxCM" role="2VODD2">
+            <node concept="3clFbF" id="4rRw8_Avyxn" role="3cqZAp">
+              <node concept="22lmx$" id="4rRw8_AvzoJ" role="3clFbG">
+                <node concept="3clFbC" id="4rRw8_Avyxo" role="3uHU7B">
+                  <node concept="28GBK8" id="4rRw8_Avyxs" role="3uHU7B">
+                    <ref role="28GBKb" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+                    <ref role="28H3Ia" to="8tt8:3_qfG1EP6Op" resolve="argType" />
+                  </node>
+                  <node concept="2OqwBi" id="4rRw8_Avyxp" role="3uHU7w">
+                    <node concept="pncrf" id="4rRw8_Avyxq" role="2Oq$k0" />
+                    <node concept="25OxAV" id="4rRw8_Avyxr" role="2OqNvi" />
+                  </node>
+                </node>
+                <node concept="3clFbC" id="4rRw8_AvzwM" role="3uHU7w">
+                  <node concept="28GBK8" id="4rRw8_AvzwN" role="3uHU7B">
+                    <ref role="28GBKb" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+                    <ref role="28H3Ia" to="8tt8:3_qfG1EP6O_" resolve="resType" />
+                  </node>
+                  <node concept="2OqwBi" id="4rRw8_AvzwO" role="3uHU7w">
+                    <node concept="pncrf" id="4rRw8_AvzwP" role="2Oq$k0" />
+                    <node concept="25OxAV" id="4rRw8_AvzwQ" role="2OqNvi" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3F1sOY" id="3_qfG1EP6OC" role="3EZMnx">
+        <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="*" />
+        <ref role="1NtTu8" to="8tt8:3_qfG1EP6O_" resolve="resType" />
+      </node>
+      <node concept="3F0ifn" id="4rRw8_AvxCE" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <node concept="pkWqt" id="4rRw8_Av_at" role="pqm2j">
+          <node concept="3clFbS" id="4rRw8_Av_au" role="2VODD2">
+            <node concept="3clFbF" id="4rRw8_Av_hW" role="3cqZAp">
+              <node concept="22lmx$" id="4rRw8_Av_hX" role="3clFbG">
+                <node concept="3clFbC" id="4rRw8_Av_hY" role="3uHU7B">
+                  <node concept="28GBK8" id="4rRw8_Av_hZ" role="3uHU7B">
+                    <ref role="28GBKb" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+                    <ref role="28H3Ia" to="8tt8:3_qfG1EP6Op" resolve="argType" />
+                  </node>
+                  <node concept="2OqwBi" id="4rRw8_Av_i0" role="3uHU7w">
+                    <node concept="pncrf" id="4rRw8_Av_i1" role="2Oq$k0" />
+                    <node concept="25OxAV" id="4rRw8_Av_i2" role="2OqNvi" />
+                  </node>
+                </node>
+                <node concept="3clFbC" id="4rRw8_Av_i3" role="3uHU7w">
+                  <node concept="28GBK8" id="4rRw8_Av_i4" role="3uHU7B">
+                    <ref role="28GBKb" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+                    <ref role="28H3Ia" to="8tt8:3_qfG1EP6O_" resolve="resType" />
+                  </node>
+                  <node concept="2OqwBi" id="4rRw8_Av_i5" role="3uHU7w">
+                    <node concept="pncrf" id="4rRw8_Av_i6" role="2Oq$k0" />
+                    <node concept="25OxAV" id="4rRw8_Av_i7" role="2OqNvi" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3_qfG1EP6Ol" 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 c6fd979a..16ea986f 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/structure.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/structure.mps
@@ -102,7 +102,7 @@
       <property role="20lmBu" value="aggregation" />
       <property role="20kJfa" value="bind" />
       <property role="20lbJX" value="1" />
-      <ref role="20lvS9" node="7_8aRkgDGQi" resolve="VarType" />
+      <ref role="20lvS9" node="7_8aRkgDGQi" resolve="BindVar" />
     </node>
     <node concept="1TJgyj" id="7_8aRkgDGQl" role="1TKVEi">
       <property role="IQ2ns" value="8739282858702982549" />
@@ -114,7 +114,7 @@
   </node>
   <node concept="1TIwiD" id="7_8aRkgDGQi">
     <property role="EcuMT" value="8739282858702982546" />
-    <property role="TrG5h" value="VarType" />
+    <property role="TrG5h" value="BindVar" />
     <property role="3GE5qa" value="expr.fun" />
     <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
     <node concept="1TJgyj" id="7_8aRkgDGQj" role="1TKVEi">
@@ -260,5 +260,45 @@
       <ref role="20lvS9" node="7_8aRkgDGPJ" resolve="Expr" />
     </node>
   </node>
+  <node concept="1TIwiD" id="3_qfG1EP6Nw">
+    <property role="EcuMT" value="4132684604212800736" />
+    <property role="TrG5h" value="Type" />
+    <property role="R5$K7" value="true" />
+    <property role="R5$K2" value="false" />
+    <property role="3GE5qa" value="type" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+  </node>
+  <node concept="1TIwiD" id="3_qfG1EP6NP">
+    <property role="EcuMT" value="4132684604212800757" />
+    <property role="TrG5h" value="StrType" />
+    <property role="3GE5qa" value="type" />
+    <ref role="1TJDcQ" node="3_qfG1EP6Nw" resolve="Type" />
+  </node>
+  <node concept="1TIwiD" id="3_qfG1EP6O2">
+    <property role="EcuMT" value="4132684604212800770" />
+    <property role="TrG5h" value="NumType" />
+    <property role="3GE5qa" value="type" />
+    <ref role="1TJDcQ" node="3_qfG1EP6Nw" resolve="Type" />
+  </node>
+  <node concept="1TIwiD" id="3_qfG1EP6Of">
+    <property role="EcuMT" value="4132684604212800783" />
+    <property role="TrG5h" value="FunType" />
+    <property role="3GE5qa" value="type" />
+    <ref role="1TJDcQ" node="3_qfG1EP6Nw" resolve="Type" />
+    <node concept="1TJgyj" id="3_qfG1EP6Op" role="1TKVEi">
+      <property role="IQ2ns" value="4132684604212800793" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="argType" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3_qfG1EP6Nw" resolve="Type" />
+    </node>
+    <node concept="1TJgyj" id="3_qfG1EP6O_" role="1TKVEi">
+      <property role="IQ2ns" value="4132684604212800805" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="resType" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3_qfG1EP6Nw" resolve="Type" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
new file mode 100644
index 00000000..0520e901
--- /dev/null
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -0,0 +1,1379 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:d628db6e-191f-4c0f-a802-15ad423aa41e(sample.fooblin.types)">
+  <persistence version="9" />
+  <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" />
+    <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="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+    <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
+        <child id="1068498886297" name="rValue" index="37vLTx" />
+        <child id="1068498886295" name="lValue" index="37vLTJ" />
+      </concept>
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+      </concept>
+      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
+        <reference id="1107535924139" name="classifier" index="3uigEE" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
+      <concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
+        <property id="6329021646629104958" name="text" index="3SKdUp" />
+      </concept>
+      <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
+        <child id="6329021646629175155" name="commentPart" index="3SKWNk" />
+      </concept>
+      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
+    </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="3063948360254832884" name="declaration" index="3XD1gS" />
+      </concept>
+      <concept id="8829335963593820278" name="jetbrains.mps.logic.structure.LogicalVariableReference" flags="ng" index="a7P8L">
+        <reference id="8829335963593822893" name="declaration" index="a7OzE" />
+      </concept>
+      <concept id="8829335963591331603" name="jetbrains.mps.logic.structure.LogicalValue" flags="ng" index="aYllk">
+        <child id="8829335963591353819" name="code" index="aYrYs" />
+      </concept>
+      <concept id="8829335963591572611" name="jetbrains.mps.logic.structure.LogicalVariableDeclaration" flags="ng" index="aZer4" />
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="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="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>
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+      <concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
+        <property id="709746936026609031" name="linkId" index="3V$3ak" />
+        <property id="709746936026609029" name="linkRole" index="3V$3am" />
+      </concept>
+      <concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
+        <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
+      </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" />
+      </concept>
+      <concept id="1618328391714701966" name="jetbrains.mps.lang.typesystem2.structure.StringTypeFeature" flags="ng" index="0ofun">
+        <child id="1476354154047290766" name="getter" index="3AP2R9" />
+      </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" />
+      </concept>
+      <concept id="1618328391714763491" name="jetbrains.mps.lang.typesystem2.structure.TypeDeclaration" flags="ng" index="0oKvU">
+        <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="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="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">
+        <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>
+      <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="1427485783570316357" name="head" index="3orSU4" />
+        <child id="1427485783571962463" name="body" index="3otmyu" />
+      </concept>
+      <concept id="5372587443968979218" name="jetbrains.mps.lang.typesystem2.structure.ExpressionConstraint" flags="ng" index="3wWvb2">
+        <child id="5372587443968983820" name="expression" index="3wWo3s" />
+      </concept>
+      <concept id="1878265754077060950" name="jetbrains.mps.lang.typesystem2.structure.ConstraintParameterDeclaration" flags="ng" index="1zAUYm" />
+      <concept id="7368070394769089081" name="jetbrains.mps.lang.typesystem2.structure.RuleInputDeclaration" flags="ng" index="3A20r5" />
+      <concept id="7368070394769139970" name="jetbrains.mps.lang.typesystem2.structure.RuleInputReference" flags="ng" index="3A2sRY">
+        <reference id="7368070394769213644" name="declaration" index="3A2yKK" />
+      </concept>
+      <concept id="7368070394770780974" name="jetbrains.mps.lang.typesystem2.structure.AssignConstraint" flags="ng" index="3A8Hvi">
+        <child id="7368070394770793930" name="value" index="3A8w4Q" />
+        <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" />
+      </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="965748826975413053" name="parameter" index="3Nuqhd" />
+      </concept>
+      <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" />
+      </concept>
+      <concept id="7368070394767065799" name="jetbrains.mps.lang.typesystem2.structure.Solver" flags="ng" index="3AqmoV">
+        <child id="7368070394767068701" name="template" index="3AqmFx" />
+      </concept>
+      <concept id="7368070394767067636" name="jetbrains.mps.lang.typesystem2.structure.ConstraintDeclaration" flags="ng" index="3AqmO8">
+        <property id="7368070394767096851" name="arity" index="3AqDzJ" />
+        <child id="1878265754077059170" name="parameters" index="1zAUyy" />
+      </concept>
+      <concept id="7368070394767045637" name="jetbrains.mps.lang.typesystem2.structure.UserConstraint" flags="ng" index="3Aqt3T">
+        <reference id="7368070394767091750" name="template" index="3AqCNq" />
+        <child id="7368070394768117915" name="argument" index="3AunhB" />
+      </concept>
+      <concept id="1476354154047570702" name="jetbrains.mps.lang.typesystem2.structure.CodeBlock" flags="ng" index="3AO9d9">
+        <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>
+      <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="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" />
+      </concept>
+      <concept id="3063948360252660075" name="jetbrains.mps.lang.typesystem2.structure.TypeofConstraint" flags="ng" index="3XxkQB">
+        <child id="3063948360252667312" name="assignedType" index="3Xxm5W" />
+        <child id="3063948360252666228" name="anchor" index="3XxmmS" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="0oKg$" id="3_qfG1EPgcF">
+    <property role="TrG5h" value="types" />
+    <node concept="0oKvU" id="3_qfG1EPgcG" role="0oKgB">
+      <property role="TrG5h" value="Str" />
+      <ref role="3bZ5Sy" to="8tt8:3_qfG1EP6NP" resolve="StrType" />
+      <node concept="3tC51N" id="5dGkjBXlRez" role="3tC56T">
+        <property role="TrG5h" value="dummy" />
+        <node concept="3uibUv" id="5dGkjBXlReB" role="3tC51t">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="0oftK" id="3_qfG1EPgcH" role="0oKvZ">
+        <node concept="0ofun" id="3dV5CmlLMot" role="0ofug">
+          <property role="TrG5h" value="concept" />
+          <node concept="3AP2Rn" id="3dV5CmlLMo_" role="3AP2R9">
+            <node concept="3clFbS" id="3dV5CmlLMoA" role="16YjZG">
+              <node concept="3clFbF" id="3dV5CmlLO$h" role="3cqZAp">
+                <node concept="2OqwBi" id="3dV5CmlLOUK" role="3clFbG">
+                  <node concept="3tJrKC" id="3dV5CmlLOGz" role="2Oq$k0" />
+                  <node concept="liA8E" id="3dV5CmlLQ5f" role="2OqNvi">
+                    <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="1ImKlm" id="3_qfG1EPgcJ" role="1ImLg5">
+        <node concept="3clFbS" id="3_qfG1EPgcK" role="16YjZG">
+          <node concept="3clFbF" id="3dV5CmlLQfU" role="3cqZAp">
+            <node concept="2OqwBi" id="3dV5CmlLQsw" role="3clFbG">
+              <node concept="3tJrKC" id="3dV5CmlLQfS" role="2Oq$k0" />
+              <node concept="LFhST" id="3dV5CmlLQLY" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="0oKvU" id="3_qfG1EPl91" role="0oKgB">
+      <property role="TrG5h" value="Num" />
+      <ref role="3bZ5Sy" to="8tt8:3_qfG1EP6O2" resolve="NumType" />
+      <node concept="3tC51N" id="5dGkjBXlReF" role="3tC56T">
+        <property role="TrG5h" value="dummy" />
+        <node concept="3uibUv" id="5dGkjBXlReJ" role="3tC51t">
+          <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+        </node>
+      </node>
+      <node concept="0oftK" id="3_qfG1EPl92" role="0oKvZ">
+        <node concept="0ofun" id="3dV5CmlLQWf" role="0ofug">
+          <property role="TrG5h" value="concept" />
+          <node concept="3AP2Rn" id="3dV5CmlLQWg" role="3AP2R9">
+            <node concept="3clFbS" id="3dV5CmlLQWh" role="16YjZG">
+              <node concept="3clFbF" id="3dV5CmlLQWi" role="3cqZAp">
+                <node concept="2OqwBi" id="3dV5CmlLQWj" role="3clFbG">
+                  <node concept="3tJrKC" id="3dV5CmlLQWk" role="2Oq$k0" />
+                  <node concept="liA8E" id="3dV5CmlLQWl" role="2OqNvi">
+                    <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="1ImKlm" id="3_qfG1EPl98" role="1ImLg5">
+        <node concept="3clFbS" id="3_qfG1EPl99" role="16YjZG">
+          <node concept="3clFbF" id="3dV5CmlLR1k" role="3cqZAp">
+            <node concept="2OqwBi" id="3dV5CmlLR1l" role="3clFbG">
+              <node concept="3tJrKC" id="3dV5CmlLR1m" role="2Oq$k0" />
+              <node concept="LFhST" id="3dV5CmlLR1n" role="2OqNvi" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <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" />
+        </node>
+      </node>
+      <node concept="0oftK" id="3_qfG1EPlgL" role="0oKvZ">
+        <node concept="0ofun" id="3dV5CmlLR7I" 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">
+                    <ref role="37wK5l" to="c17a:~SAbstractConcept.getName():java.lang.String" resolve="getName" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="0ofuC" id="3_qfG1EPt__" role="0ofug">
+          <property role="TrG5h" value="arg" />
+        </node>
+        <node concept="0ofuC" id="698OP6KS2yM" 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">
+    <property role="TrG5h" value="typeOf" />
+    <node concept="AVZhu" id="5dGkjBXlLmW" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_StringConst" />
+      <node concept="2t___k" id="5dGkjBXlLn5" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDHBc" resolve="StringConst" />
+        <node concept="3A20r5" id="5dGkjBXlLn6" role="2t_VXX">
+          <property role="TrG5h" value="str" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="5dGkjBXlLnr" role="3otmyu">
+        <node concept="3NuqgR" id="5dGkjBXmlUM" role="3Nuqhd">
+          <node concept="aZer4" id="5dGkjBXmlUN" role="3XD1gS">
+            <property role="TrG5h" value="T" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="5dGkjBXlLns" role="3Aqf5P">
+          <node concept="3Aqczg" id="5dGkjBXmlU_" role="3cqZAp">
+            <node concept="3A8Hvi" id="5dGkjBXmlUv" role="3Aqpz8">
+              <node concept="a7P8L" id="5dGkjBXmlUW" role="3A8wtg">
+                <ref role="a7OzE" node="5dGkjBXmlUN" resolve="T" />
+              </node>
+              <node concept="1Q4cc8" id="5dGkjBXmlV1" role="3A8w4Q">
+                <ref role="1Q4cdn" node="3_qfG1EPgcG" resolve="Str" />
+                <node concept="1Q7qz5" id="5dGkjBXmlV2" role="1Q7vaU">
+                  <node concept="1Q7q5z" id="5dGkjBXmlV3" role="1Q7qz4">
+                    <ref role="1Q7tcy" node="5dGkjBXlRez" resolve="dummy" />
+                    <node concept="3cmrfG" id="5dGkjBXmxR8" role="1KxKwY">
+                      <property role="3cmrfH" value="42" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="5dGkjBXlM9v" role="3cqZAp">
+            <node concept="3XxkQB" id="5dGkjBXlM9r" role="3Aqpz8">
+              <node concept="aYllk" id="5dGkjBXlM9s" role="3XxmmS">
+                <node concept="3A2sRY" id="5dGkjBXlMdb" role="aYrYs">
+                  <ref role="3A2yKK" node="5dGkjBXlLn6" resolve="str" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="5dGkjBXmlVd" role="3Xxm5W">
+                <ref role="a7OzE" node="5dGkjBXmlUN" resolve="T" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="5dGkjBXlSp4" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_NumConst" />
+      <node concept="2t___k" id="5dGkjBXlSp5" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDHBK" resolve="NumConst" />
+        <node concept="3A20r5" id="5dGkjBXlSp6" role="2t_VXX">
+          <property role="TrG5h" value="num" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="5dGkjBXlSp7" role="3otmyu">
+        <node concept="3NuqgR" id="5dGkjBXmlVi" role="3Nuqhd">
+          <node concept="aZer4" id="5dGkjBXmlVj" role="3XD1gS">
+            <property role="TrG5h" value="T" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="5dGkjBXlSp8" role="3Aqf5P">
+          <node concept="3Aqczg" id="5dGkjBXmlVG" role="3cqZAp">
+            <node concept="3A8Hvi" id="5dGkjBXmlVA" role="3Aqpz8">
+              <node concept="a7P8L" id="5dGkjBXmlVT" role="3A8wtg">
+                <ref role="a7OzE" node="5dGkjBXmlVj" resolve="T" />
+              </node>
+              <node concept="1Q4cc8" id="5dGkjBXlSq5" role="3A8w4Q">
+                <ref role="1Q4cdn" node="3_qfG1EPl91" resolve="Num" />
+                <node concept="1Q7qz5" id="5dGkjBXlSqa" role="1Q7vaU">
+                  <node concept="1Q7q5z" id="5dGkjBXlSqh" role="1Q7qz4">
+                    <ref role="1Q7tcy" node="5dGkjBXlReF" resolve="dummy" />
+                    <node concept="3cmrfG" id="5dGkjBXmxRd" role="1KxKwY">
+                      <property role="3cmrfH" value="42" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="5dGkjBXlSp9" role="3cqZAp">
+            <node concept="3XxkQB" id="5dGkjBXlSpa" role="3Aqpz8">
+              <node concept="aYllk" id="5dGkjBXlSpb" role="3XxmmS">
+                <node concept="3A2sRY" id="5dGkjBXlSpc" role="aYrYs">
+                  <ref role="3A2yKK" node="5dGkjBXlSp6" resolve="num" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="5dGkjBXmlW5" role="3Xxm5W">
+                <ref role="a7OzE" node="5dGkjBXmlVj" resolve="T" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="3dV5CmlMdve" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_Var" />
+      <node concept="3Aq9E8" id="3dV5CmlMdwQ" role="3otmyu">
+        <node concept="3NuqgR" id="3dV5CmlMdwU" role="3Nuqhd">
+          <node concept="aZer4" id="3dV5CmlMdwV" role="3XD1gS">
+            <property role="TrG5h" value="T" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="3dV5CmlMdwR" role="3Aqf5P">
+          <node concept="3SKdUt" id="3dV5CmlMdx4" role="3cqZAp">
+            <node concept="3SKdUq" id="3dV5CmlMdx5" role="3SKWNk">
+              <property role="3SKdUp" value="T is free" />
+            </node>
+          </node>
+          <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">
+                  <ref role="3A2yKK" node="3dV5CmlMdwE" resolve="var" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="3dV5CmlMdye" role="3Xxm5W">
+                <ref role="a7OzE" node="3dV5CmlMdwV" resolve="T" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="3dV5CmlMdwD" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+        <node concept="3A20r5" id="3dV5CmlMdwE" role="2t_VXX">
+          <property role="TrG5h" value="var" />
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="4rRw8_Avd8D" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_Var_bound" />
+      <node concept="3Aq9E8" id="4rRw8_AvgBI" role="3otmyu">
+        <node concept="3clFbS" id="4rRw8_AvgBJ" role="3Aqf5P">
+          <node concept="3Aqczg" id="4rRw8_AvgFM" role="3cqZAp">
+            <node concept="3A8Hvi" id="4rRw8_AvgFJ" role="3Aqpz8">
+              <node concept="a7P8L" id="4rRw8_AvgFR" role="3A8wtg">
+                <ref role="a7OzE" node="4rRw8_AveOc" resolve="T" />
+              </node>
+              <node concept="a7P8L" id="4rRw8_AvgFW" role="3A8w4Q">
+                <ref role="a7OzE" node="4rRw8_AveOw" resolve="B" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="4rRw8_AveO7" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="4rRw8_AveOb" role="3Nuqhd">
+          <node concept="aZer4" id="4rRw8_AveOc" role="3XD1gS">
+            <property role="TrG5h" value="T" />
+          </node>
+          <node concept="aZer4" id="4rRw8_AveOw" role="3XD1gS">
+            <property role="TrG5h" value="B" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="4rRw8_AveO8" role="3Aqf5P">
+          <node concept="3Aqczg" id="4rRw8_AveQK" role="3cqZAp">
+            <node concept="3XxkQB" id="4rRw8_AveQG" role="3Aqpz8">
+              <node concept="aYllk" id="4rRw8_AveQH" role="3XxmmS">
+                <node concept="3A2sRY" id="4rRw8_AveQT" role="aYrYs">
+                  <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="4rRw8_AveR1" role="3Xxm5W">
+                <ref role="a7OzE" node="4rRw8_AveOc" resolve="T" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="4rRw8_AveR6" role="3cqZAp">
+            <node concept="3XxkQB" id="4rRw8_AveR7" role="3Aqpz8">
+              <node concept="aYllk" id="4rRw8_AveR8" role="3XxmmS">
+                <node concept="2OqwBi" id="4rRw8_Avf7G" role="aYrYs">
+                  <node concept="3A2sRY" id="4rRw8_AveR9" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                  </node>
+                  <node concept="2qgKlT" id="4rRw8_AvfBS" role="2OqNvi">
+                    <ref role="37wK5l" to="1x08:4rRw8_AtH8q" resolve="binding" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="4rRw8_AvfG0" role="3Xxm5W">
+                <ref role="a7OzE" node="4rRw8_AveOw" resolve="B" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="4rRw8_Avdbu" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+        <node concept="3A20r5" id="4rRw8_Avdbv" role="2t_VXX">
+          <property role="TrG5h" value="var" />
+        </node>
+      </node>
+      <node concept="cBwPQ" id="4rRw8_AvdbF" role="30RCb4">
+        <node concept="3clFbS" id="4rRw8_AvdbG" role="16YjZG">
+          <node concept="3cpWs8" id="4rRw8_AvfNJ" role="3cqZAp">
+            <node concept="3cpWsn" id="4rRw8_AvfNK" role="3cpWs9">
+              <property role="TrG5h" value="binding" />
+              <node concept="3Tqbb2" id="4rRw8_AvfNH" role="1tU5fm">
+                <ref role="ehGHo" to="8tt8:7_8aRkgDGPo" resolve="Var" />
+              </node>
+              <node concept="2OqwBi" id="4rRw8_AvfNL" role="33vP2m">
+                <node concept="3A2sRY" id="4rRw8_AvfNM" role="2Oq$k0">
+                  <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                </node>
+                <node concept="2qgKlT" id="4rRw8_AvfNN" role="2OqNvi">
+                  <ref role="37wK5l" to="1x08:4rRw8_AtH8q" resolve="binding" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="4rRw8_AvdbT" role="3cqZAp">
+            <node concept="1Wc70l" id="4rRw8_AvfSG" role="3clFbG">
+              <node concept="3y3z36" id="4rRw8_Avgql" role="3uHU7B">
+                <node concept="10Nm6u" id="4rRw8_Avgvj" role="3uHU7w" />
+                <node concept="37vLTw" id="4rRw8_AvfXH" role="3uHU7B">
+                  <ref role="3cqZAo" node="4rRw8_AvfNK" resolve="binding" />
+                </node>
+              </node>
+              <node concept="3y3z36" id="4rRw8_AveAV" role="3uHU7w">
+                <node concept="3A2sRY" id="4rRw8_AveFp" role="3uHU7w">
+                  <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                </node>
+                <node concept="37vLTw" id="4rRw8_AvfNO" role="3uHU7B">
+                  <ref role="3cqZAo" node="4rRw8_AvfNK" resolve="binding" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="3dV5CmlM9jj" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_Abs" />
+      <node concept="2t___k" id="3dV5CmlM9jW" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGQf" resolve="Abs" />
+        <node concept="3A20r5" id="3dV5CmlM9jX" role="2t_VXX">
+          <property role="TrG5h" value="abs" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="3dV5CmlM9l_" role="3otmyu">
+        <node concept="3NuqgR" id="3dV5CmlM9lD" role="3Nuqhd">
+          <node concept="aZer4" id="3dV5CmlM9lE" role="3XD1gS">
+            <property role="TrG5h" value="T" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="3dV5CmlM9lA" role="3Aqf5P">
+          <node concept="3Aqczg" id="3dV5CmlM9lQ" role="3cqZAp">
+            <node concept="3A8Hvi" id="3dV5CmlM9lN" role="3Aqpz8">
+              <node concept="a7P8L" id="3dV5CmlM9lV" role="3A8wtg">
+                <ref role="a7OzE" node="3dV5CmlM9lE" resolve="T" />
+              </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="1RziaG" id="3dV5CmlM9VG" role="1Ryyee">
+                  <ref role="1RzibV" node="3_qfG1EPt__" resolve="arg" />
+                  <node concept="3AP2Rn" id="3dV5CmlM9VH" role="1RzmR7">
+                    <node concept="3clFbS" id="3dV5CmlM9VI" role="16YjZG">
+                      <node concept="3clFbF" id="3dV5CmlMbpp" role="3cqZAp">
+                        <node concept="3A9UF8" id="3dV5CmlMbpm" role="3clFbG">
+                          <node concept="a7P8L" id="3dV5CmlMbpo" role="3A9W3M">
+                            <ref role="a7OzE" node="3dV5CmlM9W_" resolve="A" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="3dV5CmlM9VV" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="3dV5CmlM9VW" role="1RzmR7">
+                    <node concept="3clFbS" id="3dV5CmlM9VX" role="16YjZG">
+                      <node concept="3clFbF" id="3dV5CmlMbqU" role="3cqZAp">
+                        <node concept="3A9UF8" id="3dV5CmlMbqR" role="3clFbG">
+                          <node concept="a7P8L" id="3dV5CmlMbqT" role="3A9W3M">
+                            <ref role="a7OzE" node="3dV5CmlM9X4" resolve="R" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1X3_iC" id="bWhvY_0Mh1" role="lGtFl">
+            <property role="3V$3am" value="statement" />
+            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+            <node concept="3Aqczg" id="g7nsZkprow" role="8Wnug">
+              <node concept="3Aqt3T" id="g7nsZkpros" role="3Aqpz8">
+                <ref role="3AqCNq" node="g7nsZkprnF" resolve="trace" />
+                <node concept="a7P8L" id="g7nsZkproW" role="3AunhB">
+                  <ref role="a7OzE" node="3dV5CmlM9W_" resolve="A" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1X3_iC" id="bWhvY_0Mja" role="lGtFl">
+            <property role="3V$3am" value="statement" />
+            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+            <node concept="3Aqczg" id="g7nsZkprp1" role="8Wnug">
+              <node concept="3Aqt3T" id="g7nsZkprp2" role="3Aqpz8">
+                <ref role="3AqCNq" node="g7nsZkprnF" resolve="trace" />
+                <node concept="a7P8L" id="g7nsZkprp$" role="3AunhB">
+                  <ref role="a7OzE" node="3dV5CmlM9X4" resolve="R" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="3dV5CmlM9mz" role="3cqZAp">
+            <node concept="3XxkQB" id="3dV5CmlM9mr" role="3Aqpz8">
+              <node concept="aYllk" id="3dV5CmlM9mt" role="3XxmmS">
+                <node concept="3A2sRY" id="3dV5CmlM9mP" role="aYrYs">
+                  <ref role="3A2yKK" node="3dV5CmlM9jX" resolve="abs" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="3dV5CmlM9mX" role="3Xxm5W">
+                <ref role="a7OzE" node="3dV5CmlM9lE" resolve="T" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="3dV5CmlM9Wd" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="3dV5CmlM9Wh" role="3Nuqhd">
+          <node concept="aZer4" id="3dV5CmlM9W_" role="3XD1gS">
+            <property role="TrG5h" value="A" />
+          </node>
+          <node concept="aZer4" id="3dV5CmlM9X4" role="3XD1gS">
+            <property role="TrG5h" value="R" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="3dV5CmlM9We" role="3Aqf5P">
+          <node concept="3Aqczg" id="3dV5CmlM9Xk" role="3cqZAp">
+            <node concept="3XxkQB" id="3dV5CmlM9Xg" role="3Aqpz8">
+              <node concept="aYllk" id="3dV5CmlM9Xh" role="3XxmmS">
+                <node concept="2OqwBi" id="3dV5CmlMaMD" role="aYrYs">
+                  <node concept="2OqwBi" id="3dV5CmlMa54" role="2Oq$k0">
+                    <node concept="3A2sRY" id="3dV5CmlM9Xt" role="2Oq$k0">
+                      <ref role="3A2yKK" node="3dV5CmlM9jX" resolve="abs" />
+                    </node>
+                    <node concept="3TrEf2" id="3dV5CmlMatG" role="2OqNvi">
+                      <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQg" resolve="bind" />
+                    </node>
+                  </node>
+                  <node concept="3TrEf2" id="3dV5CmlMb11" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQj" resolve="var" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="3dV5CmlMb2U" role="3Xxm5W">
+                <ref role="a7OzE" node="3dV5CmlM9W_" resolve="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="3dV5CmlMb2Z" role="3cqZAp">
+            <node concept="3XxkQB" id="3dV5CmlMb30" role="3Aqpz8">
+              <node concept="aYllk" id="3dV5CmlMb31" role="3XxmmS">
+                <node concept="2OqwBi" id="3dV5CmlMb33" role="aYrYs">
+                  <node concept="3A2sRY" id="3dV5CmlMb34" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3dV5CmlM9jX" resolve="abs" />
+                  </node>
+                  <node concept="3TrEf2" id="3dV5CmlMbjs" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQl" resolve="expr" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="3dV5CmlMbpc" role="3Xxm5W">
+                <ref role="a7OzE" node="3dV5CmlM9X4" resolve="R" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="44a9n8ErWp_" role="3ArX_J">
+      <property role="TrG5h" value="typeoOf_App" />
+      <node concept="3Aq93q" id="44a9n8ErWrt" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="44a9n8ErWrx" role="3Nuqhd">
+          <node concept="aZer4" id="44a9n8ErWry" role="3XD1gS">
+            <property role="TrG5h" value="F" />
+          </node>
+          <node concept="aZer4" id="44a9n8ErWrT" role="3XD1gS">
+            <property role="TrG5h" value="A" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="44a9n8ErWru" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8ErXaP" role="3cqZAp">
+            <node concept="3XxkQB" id="44a9n8ErXaL" role="3Aqpz8">
+              <node concept="aYllk" id="44a9n8ErXaM" role="3XxmmS">
+                <node concept="2OqwBi" id="44a9n8ErXi_" role="aYrYs">
+                  <node concept="3A2sRY" id="44a9n8ErXaY" role="2Oq$k0">
+                    <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
+                  </node>
+                  <node concept="3TrEf2" id="44a9n8ErXv4" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPL" resolve="fun" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="44a9n8ErXJ7" role="3Xxm5W">
+                <ref role="a7OzE" node="44a9n8ErWry" resolve="F" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="44a9n8ErXJc" role="3cqZAp">
+            <node concept="3XxkQB" id="44a9n8ErXJd" role="3Aqpz8">
+              <node concept="aYllk" id="44a9n8ErXJe" role="3XxmmS">
+                <node concept="2OqwBi" id="44a9n8ErXJf" role="aYrYs">
+                  <node concept="3A2sRY" id="44a9n8ErXJg" role="2Oq$k0">
+                    <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
+                  </node>
+                  <node concept="3TrEf2" id="44a9n8ErXXI" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDGPX" resolve="arg" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="44a9n8ErY1E" role="3Xxm5W">
+                <ref role="a7OzE" node="44a9n8ErWrT" resolve="A" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="44a9n8ErWrg" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDGPK" resolve="App" />
+        <node concept="3A20r5" id="44a9n8ErWrh" role="2t_VXX">
+          <property role="TrG5h" value="app" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="44a9n8ErY5M" role="3otmyu">
+        <node concept="3NuqgR" id="44a9n8Es2A6" role="3Nuqhd">
+          <node concept="aZer4" id="44a9n8Es2A7" role="3XD1gS">
+            <property role="TrG5h" value="FA" />
+          </node>
+          <node concept="aZer4" id="44a9n8Es2Aj" role="3XD1gS">
+            <property role="TrG5h" value="FR" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="44a9n8ErY5N" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8Es2$N" role="3cqZAp">
+            <node concept="3Aqt3T" id="44a9n8Es2$L" role="3Aqpz8">
+              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
+              <node concept="a7P8L" id="44a9n8Es2$R" role="3AunhB">
+                <ref role="a7OzE" node="44a9n8ErWry" resolve="F" />
+              </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="1RziaG" id="44a9n8Es2_m" role="1Ryyee">
+                  <ref role="1RzibV" node="3_qfG1EPt__" 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">
+                        <node concept="3A9UF8" id="44a9n8Es2Av" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8Es2Ax" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="44a9n8Es2_O" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" 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">
+                        <node concept="3A9UF8" id="44a9n8Es2C1" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8Es2C3" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8Es2Aj" resolve="FR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="44a9n8Es2DY" role="3cqZAp">
+            <node concept="3A8Hvi" id="44a9n8Es2DS" role="3Aqpz8">
+              <node concept="a7P8L" id="44a9n8Es2Em" role="3A8wtg">
+                <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
+              </node>
+              <node concept="a7P8L" id="44a9n8Es2Er" role="3A8w4Q">
+                <ref role="a7OzE" node="44a9n8ErWrT" resolve="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="44a9n8Es2G2" role="3cqZAp">
+            <node concept="3XxkQB" id="44a9n8Es2FU" role="3Aqpz8">
+              <node concept="aYllk" id="44a9n8Es2FW" role="3XxmmS">
+                <node concept="3A2sRY" id="44a9n8Es2Gy" role="aYrYs">
+                  <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
+                </node>
+              </node>
+              <node concept="a7P8L" id="44a9n8Es2GE" role="3Xxm5W">
+                <ref role="a7OzE" node="44a9n8Es2Aj" resolve="FR" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="4rRw8_Avlkw" role="3ArX_J">
+      <property role="TrG5h" value="typeOf_Let" />
+      <node concept="3Aq93q" id="4rRw8_Avls4" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="4rRw8_Avls8" role="3Nuqhd">
+          <node concept="aZer4" id="4rRw8_Avls9" role="3XD1gS">
+            <property role="TrG5h" value="L" />
+          </node>
+          <node concept="aZer4" id="4rRw8_Avlsi" role="3XD1gS">
+            <property role="TrG5h" value="E" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="4rRw8_Avls5" role="3Aqf5P">
+          <node concept="3Aqczg" id="4rRw8_AvlsC" role="3cqZAp">
+            <node concept="3XxkQB" id="4rRw8_Avlsw" role="3Aqpz8">
+              <node concept="aYllk" id="4rRw8_Avlsy" role="3XxmmS">
+                <node concept="2OqwBi" id="4rRw8_Avl$o" role="aYrYs">
+                  <node concept="3A2sRY" id="4rRw8_AvlsL" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4rRw8_AvlrM" resolve="let" />
+                  </node>
+                  <node concept="3TrEf2" id="4rRw8_AvlKR" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDHAf" resolve="var" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="4rRw8_AvlMO" role="3Xxm5W">
+                <ref role="a7OzE" node="4rRw8_Avls9" resolve="L" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="4rRw8_AvlMT" role="3cqZAp">
+            <node concept="3XxkQB" id="4rRw8_AvlMU" role="3Aqpz8">
+              <node concept="aYllk" id="4rRw8_AvlMV" role="3XxmmS">
+                <node concept="2OqwBi" id="4rRw8_AvlMW" role="aYrYs">
+                  <node concept="3A2sRY" id="4rRw8_AvlMX" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4rRw8_AvlrM" resolve="let" />
+                  </node>
+                  <node concept="3TrEf2" id="4rRw8_Avm1m" role="2OqNvi">
+                    <ref role="3Tt5mk" to="8tt8:7_8aRkgDHAh" resolve="expr" />
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="4rRw8_Avm3j" role="3Xxm5W">
+                <ref role="a7OzE" node="4rRw8_Avlsi" resolve="E" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="4rRw8_AvlrL" role="20_v8_">
+        <ref role="2t_S0q" to="8tt8:7_8aRkgDHAe" resolve="LetClause" />
+        <node concept="3A20r5" id="4rRw8_AvlrM" role="2t_VXX">
+          <property role="TrG5h" value="let" />
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="4rRw8_AvmiB" role="3otmyu">
+        <node concept="3clFbS" id="4rRw8_AvmiC" role="3Aqf5P">
+          <node concept="3Aqczg" id="4rRw8_AvmiI" role="3cqZAp">
+            <node concept="3A8Hvi" id="4rRw8_AvmiF" role="3Aqpz8">
+              <node concept="a7P8L" id="4rRw8_AvmiN" role="3A8wtg">
+                <ref role="a7OzE" node="4rRw8_Avls9" resolve="L" />
+              </node>
+              <node concept="a7P8L" id="4rRw8_AvmiS" role="3A8w4Q">
+                <ref role="a7OzE" node="4rRw8_Avlsi" resolve="E" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="3AqmoV" id="44a9n8ErYcS">
+    <property role="TrG5h" value="constraints" />
+    <node concept="3AqmO8" id="44a9n8ErYcT" role="3AqmFx">
+      <property role="TrG5h" value="unifies" />
+      <property role="3AqDzJ" value="2" />
+      <node concept="1zAUYm" id="44a9n8ErYcV" role="1zAUyy">
+        <property role="TrG5h" value="left" />
+      </node>
+      <node concept="1zAUYm" id="44a9n8ErYcX" role="1zAUyy">
+        <property role="TrG5h" value="right" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="g7nsZkprnF" role="3AqmFx">
+      <property role="TrG5h" value="trace" />
+      <property role="3AqDzJ" value="1" />
+      <node concept="1zAUYm" id="g7nsZkprnR" role="1zAUyy">
+        <property role="TrG5h" value="term" />
+      </node>
+    </node>
+  </node>
+  <node concept="AVZre" id="44a9n8ErYgw">
+    <property role="TrG5h" value="unifies" />
+    <node concept="AVZhu" id="44a9n8ErYgz" role="3ArX_J">
+      <property role="TrG5h" value="unifies" />
+      <node concept="3Aq93q" id="44a9n8ErYgA" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="44a9n8ErYgE" role="3Nuqhd">
+          <node concept="aZer4" id="44a9n8ErYgF" role="3XD1gS">
+            <property role="TrG5h" value="LA" />
+          </node>
+          <node concept="aZer4" id="44a9n8ErYjU" role="3XD1gS">
+            <property role="TrG5h" value="LR" />
+          </node>
+          <node concept="aZer4" id="44a9n8ErYgO" role="3XD1gS">
+            <property role="TrG5h" value="RA" />
+          </node>
+          <node concept="aZer4" id="44a9n8ErYkg" role="3XD1gS">
+            <property role="TrG5h" value="RR" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="44a9n8ErYgB" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8ErYh2" role="3cqZAp">
+            <node concept="3Aqt3T" id="44a9n8ErYh0" role="3Aqpz8">
+              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
+              <node concept="1Q4cc8" id="44a9n8ErYi3" role="3AunhB">
+                <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" />
+                  <node concept="3AP2Rn" id="44a9n8ErYic" role="1RzmR7">
+                    <node concept="3clFbS" id="44a9n8ErYid" role="16YjZG">
+                      <node concept="3clFbF" id="44a9n8ErYkB" role="3cqZAp">
+                        <node concept="3A9UF8" id="44a9n8ErYk$" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8ErYkA" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8ErYgF" resolve="LA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="44a9n8ErYiq" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="44a9n8ErYir" role="1RzmR7">
+                    <node concept="3clFbS" id="44a9n8ErYis" role="16YjZG">
+                      <node concept="3clFbF" id="44a9n8ErYm8" role="3cqZAp">
+                        <node concept="3A9UF8" id="44a9n8ErYm5" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8ErYm7" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8ErYjU" resolve="LR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1Q4cc8" id="44a9n8ErYj4" role="3AunhB">
+                <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" />
+                  <node concept="3AP2Rn" id="44a9n8ErYjn" role="1RzmR7">
+                    <node concept="3clFbS" id="44a9n8ErYjo" role="16YjZG">
+                      <node concept="3clFbF" id="44a9n8ErYnD" role="3cqZAp">
+                        <node concept="3A9UF8" id="44a9n8ErYnA" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8ErYnC" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8ErYgO" resolve="RA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="44a9n8ErYj_" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="44a9n8ErYjA" role="1RzmR7">
+                    <node concept="3clFbS" id="44a9n8ErYjB" role="16YjZG">
+                      <node concept="3clFbF" id="44a9n8ErYpa" role="3cqZAp">
+                        <node concept="3A9UF8" id="44a9n8ErYp7" role="3clFbG">
+                          <node concept="a7P8L" id="44a9n8ErYp9" role="3A9W3M">
+                            <ref role="a7OzE" node="44a9n8ErYkg" resolve="RR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="44a9n8ErYhH" role="3otmyu">
+        <node concept="3clFbS" id="44a9n8ErYhI" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8ErYqF" role="3cqZAp">
+            <node concept="3A8Hvi" id="44a9n8ErYqC" role="3Aqpz8">
+              <node concept="a7P8L" id="44a9n8ErYqK" role="3A8wtg">
+                <ref role="a7OzE" node="44a9n8ErYgF" resolve="LA" />
+              </node>
+              <node concept="a7P8L" id="44a9n8ErYqP" role="3A8w4Q">
+                <ref role="a7OzE" node="44a9n8ErYgO" resolve="RA" />
+              </node>
+            </node>
+          </node>
+          <node concept="3Aqczg" id="44a9n8ErYqU" role="3cqZAp">
+            <node concept="3A8Hvi" id="44a9n8ErYqV" role="3Aqpz8">
+              <node concept="a7P8L" id="44a9n8ErYra" role="3A8wtg">
+                <ref role="a7OzE" node="44a9n8ErYjU" resolve="LR" />
+              </node>
+              <node concept="a7P8L" id="44a9n8ErYsH" role="3A8w4Q">
+                <ref role="a7OzE" node="44a9n8ErYkg" resolve="RR" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="6eI2Tb45gAb" role="3ArX_J">
+      <property role="TrG5h" value="unifies_left" />
+      <node concept="3Aq93q" id="6eI2Tb45gAc" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="6eI2Tb45gAd" role="3Nuqhd">
+          <node concept="aZer4" id="6eI2Tb45gAe" role="3XD1gS">
+            <property role="TrG5h" value="LA" />
+          </node>
+          <node concept="aZer4" id="6eI2Tb45gAf" role="3XD1gS">
+            <property role="TrG5h" value="LR" />
+          </node>
+          <node concept="aZer4" id="6eI2Tb45gHC" role="3XD1gS">
+            <property role="TrG5h" value="R" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="6eI2Tb45gAi" role="3Aqf5P">
+          <node concept="3Aqczg" id="6eI2Tb45gAj" role="3cqZAp">
+            <node concept="3Aqt3T" id="6eI2Tb45gAk" role="3Aqpz8">
+              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
+              <node concept="1Q4cc8" id="6eI2Tb45gAl" role="3AunhB">
+                <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" />
+                  <node concept="3AP2Rn" id="6eI2Tb45gAo" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45gAp" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45gAq" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45gAr" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45gAs" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45gAe" resolve="LA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="6eI2Tb45gAt" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="6eI2Tb45gAu" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45gAv" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45gAw" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45gAx" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45gAy" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45gAf" resolve="LR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="a7P8L" id="6eI2Tb45huQ" role="3AunhB">
+                <ref role="a7OzE" node="6eI2Tb45gHC" resolve="R" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="6eI2Tb45gAL" role="3otmyu">
+        <node concept="3clFbS" id="6eI2Tb45gAM" role="3Aqf5P">
+          <node concept="3Aqczg" id="6eI2Tb45hx5" role="3cqZAp">
+            <node concept="3A8Hvi" id="6eI2Tb45hx2" role="3Aqpz8">
+              <node concept="a7P8L" id="6eI2Tb45hxa" role="3A8wtg">
+                <ref role="a7OzE" node="6eI2Tb45gHC" resolve="R" />
+              </node>
+              <node concept="1Q4cc8" id="6eI2Tb45hxf" role="3A8w4Q">
+                <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" />
+                  <node concept="3AP2Rn" id="6eI2Tb45hxi" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45hxj" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45hxk" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45hxl" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45hxm" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45gAe" resolve="LA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="6eI2Tb45hxn" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="6eI2Tb45hxo" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45hxp" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45hxq" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45hxr" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45hxs" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45gAf" resolve="LR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="6eI2Tb45hzs" role="3ArX_J">
+      <property role="TrG5h" value="unifies_right" />
+      <node concept="3Aq93q" id="6eI2Tb45hzt" role="3orSU4">
+        <property role="3ArMco" value="false" />
+        <node concept="3NuqgR" id="6eI2Tb45hzu" role="3Nuqhd">
+          <node concept="aZer4" id="6eI2Tb45hKz" role="3XD1gS">
+            <property role="TrG5h" value="L" />
+          </node>
+          <node concept="aZer4" id="6eI2Tb45hzx" role="3XD1gS">
+            <property role="TrG5h" value="RA" />
+          </node>
+          <node concept="aZer4" id="6eI2Tb45hzy" role="3XD1gS">
+            <property role="TrG5h" value="RR" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="6eI2Tb45hzz" role="3Aqf5P">
+          <node concept="3Aqczg" id="6eI2Tb45hz$" role="3cqZAp">
+            <node concept="3Aqt3T" id="6eI2Tb45hz_" role="3Aqpz8">
+              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
+              <node concept="a7P8L" id="6eI2Tb45hN$" role="3AunhB">
+                <ref role="a7OzE" node="6eI2Tb45hKz" resolve="L" />
+              </node>
+              <node concept="1Q4cc8" id="6eI2Tb45hzO" role="3AunhB">
+                <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" />
+                  <node concept="3AP2Rn" id="6eI2Tb45hzR" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45hzS" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45hzT" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45hzU" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45hzV" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45hzx" resolve="RA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="6eI2Tb45hzW" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="6eI2Tb45hzX" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45hzY" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45hzZ" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45h$0" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45h$1" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45hzy" resolve="RR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq9E8" id="6eI2Tb45h$2" role="3otmyu">
+        <node concept="3clFbS" id="6eI2Tb45h$3" role="3Aqf5P">
+          <node concept="3Aqczg" id="6eI2Tb45i2Q" role="3cqZAp">
+            <node concept="3A8Hvi" id="6eI2Tb45i2R" role="3Aqpz8">
+              <node concept="a7P8L" id="6eI2Tb45io5" role="3A8wtg">
+                <ref role="a7OzE" node="6eI2Tb45hKz" resolve="L" />
+              </node>
+              <node concept="1Q4cc8" id="6eI2Tb45i2T" role="3A8w4Q">
+                <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" />
+                  <node concept="3AP2Rn" id="6eI2Tb45i2W" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45i2X" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45i2Y" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45i2Z" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45iop" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45hzx" resolve="RA" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1RziaG" id="6eI2Tb45i31" role="1Ryyee">
+                  <ref role="1RzibV" node="698OP6KS2yM" resolve="res" />
+                  <node concept="3AP2Rn" id="6eI2Tb45i32" role="1RzmR7">
+                    <node concept="3clFbS" id="6eI2Tb45i33" role="16YjZG">
+                      <node concept="3clFbF" id="6eI2Tb45i34" role="3cqZAp">
+                        <node concept="3A9UF8" id="6eI2Tb45i35" role="3clFbG">
+                          <node concept="a7P8L" id="6eI2Tb45iqC" role="3A9W3M">
+                            <ref role="a7OzE" node="6eI2Tb45hzy" resolve="RR" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="AVZhu" id="44a9n8ErYv2" role="3ArX_J">
+      <property role="TrG5h" value="unifies_fail" />
+      <node concept="3Aq9E8" id="44a9n8ErYxt" role="3otmyu">
+        <node concept="3clFbS" id="44a9n8ErYxu" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8ErYxy" role="3cqZAp">
+            <node concept="3lcGGY" id="44a9n8ErYxx" role="3Aqpz8">
+              <node concept="3clFbT" id="44a9n8ErYx_" role="3wWo3s">
+                <property role="3clFbU" value="false" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Aq93q" id="44a9n8Es4Ki" role="3orSU4">
+        <property role="3ArMco" value="true" />
+        <node concept="3NuqgR" id="44a9n8Es4KI" role="3Nuqhd">
+          <node concept="aZer4" id="44a9n8Es4KJ" role="3XD1gS">
+            <property role="TrG5h" value="L" />
+          </node>
+          <node concept="aZer4" id="44a9n8Es4KS" role="3XD1gS">
+            <property role="TrG5h" value="R" />
+          </node>
+        </node>
+        <node concept="3clFbS" id="44a9n8Es4Kj" role="3Aqf5P">
+          <node concept="3Aqczg" id="44a9n8Es4Ko" role="3cqZAp">
+            <node concept="3Aqt3T" id="44a9n8Es4Km" role="3Aqpz8">
+              <ref role="3AqCNq" node="44a9n8ErYcT" resolve="unifies" />
+              <node concept="a7P8L" id="44a9n8Es4L8" role="3AunhB">
+                <ref role="a7OzE" node="44a9n8Es4KJ" resolve="L" />
+              </node>
+              <node concept="a7P8L" id="44a9n8Es4Lg" role="3AunhB">
+                <ref role="a7OzE" node="44a9n8Es4KS" resolve="R" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+
diff --git a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl b/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
index 57031cf8..47f25326 100644
--- a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
+++ b/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl
@@ -54,6 +54,7 @@
   <dependencies>
     <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>
   </dependencies>
   <usedDevKits>
     <usedDevKit>2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)</usedDevKit>
@@ -76,12 +77,14 @@
     <language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="0" />
     <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
     <language slang="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" version="0" />
+    <language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
     <language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="4" />
     <language slang="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" version="0" />
     <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="0" />
     <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="0" />
     <language slang="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" version="0" />
     <language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="1" />
+    <language slang="l:86ef8290-12bb-4ca7-947f-093788f263a9:jetbrains.mps.lang.project" version="0" />
     <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
     <language slang="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" version="0" />
     <language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
@@ -92,6 +95,8 @@
     <language slang="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" version="0" />
     <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
     <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" />
   </languageVersions>
   <dependencyVersions>
     <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
@@ -101,6 +106,9 @@
     <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
     <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
     <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+    <module reference="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="af858d84-85f2-42f4-a854-0b3c6b5cd482(sample.fooblin)" version="0" />
   </dependencyVersions>
   <extendedLanguages />
diff --git a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
index 83310843..a57c0ef8 100644
--- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
+++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
@@ -20,7 +20,7 @@
       <concept id="8739282858702982568" name="sample.fooblin.structure.Doc" flags="ng" index="1DVIrt">
         <child id="8739282858702982571" name="clause" index="1DVIru" />
       </concept>
-      <concept id="8739282858702982546" name="sample.fooblin.structure.VarType" flags="ng" index="1DVIrB">
+      <concept id="8739282858702982546" name="sample.fooblin.structure.BindVar" flags="ng" index="1DVIrB">
         <child id="8739282858702982547" name="var" index="1DVIrA" />
       </concept>
       <concept id="8739282858702982543" name="sample.fooblin.structure.Abs" flags="ng" index="1DVIrU">
@@ -30,6 +30,9 @@
       <concept id="8739282858702985712" name="sample.fooblin.structure.NumConst" flags="ng" index="1DVJa5">
         <property id="8739282858702985713" name="value" index="1DVJa4" />
       </concept>
+      <concept id="8739282858702985676" name="sample.fooblin.structure.StringConst" flags="ng" index="1DVJaT">
+        <property id="8739282858702985677" name="value" index="1DVJaS" />
+      </concept>
       <concept id="8739282858702985614" name="sample.fooblin.structure.LetClause" flags="ng" index="1DVJbV">
         <child id="8739282858702985617" name="expr" index="1DVJb$" />
         <child id="8739282858702985615" name="var" index="1DVJbU" />
@@ -40,12 +43,54 @@
     <property role="TrG5h" value="Demo1" />
     <node concept="1DVJbV" id="7_8aRkgE06X" role="1DVIru">
       <node concept="1DVIoH" id="7_8aRkgE06Z" role="1DVJbU">
-        <property role="TrG5h" value="x" />
+        <property role="TrG5h" value="v" />
       </node>
       <node concept="1DVJa5" id="7_8aRkgE076" role="1DVJb$">
         <property role="1DVJa4" value="2" />
       </node>
     </node>
+    <node concept="1DVJbV" id="44a9n8Es6Qy" role="1DVIru">
+      <node concept="1DVIoH" id="44a9n8Es6Q$" role="1DVJbU">
+        <property role="TrG5h" value="w" />
+      </node>
+      <node concept="1DVIo5" id="4ZByBOoFgQW" role="1DVJb$">
+        <node concept="1DVIrU" id="4ZByBOoFgQ_" role="1DVIo4">
+          <node concept="1DVIrB" id="4ZByBOoFgQH" role="1DVIr_">
+            <node concept="1DVIoH" id="4ZByBOoFgQx" role="1DVIrA">
+              <property role="TrG5h" value="y" />
+            </node>
+          </node>
+          <node concept="1DVIoH" id="4rRw8_Avoyv" role="1DVIrw">
+            <property role="TrG5h" value="y" />
+          </node>
+        </node>
+        <node concept="1DVIo5" id="6siydCyjxU0" role="1DVIo8">
+          <node concept="1DVJaT" id="6siydCyjxUp" role="1DVIo8">
+            <property role="1DVJaS" value="asd" />
+          </node>
+          <node concept="1DVIrU" id="44a9n8Es6R8" role="1DVIo4">
+            <node concept="1DVIrB" id="44a9n8Es6Rg" role="1DVIr_">
+              <node concept="1DVIoH" id="44a9n8Es6R4" role="1DVIrA">
+                <property role="TrG5h" value="x" />
+              </node>
+            </node>
+            <node concept="1DVIrU" id="4rRw8_Avoz9" role="1DVIrw">
+              <node concept="1DVIoH" id="4rRw8_Avozu" role="1DVIrw">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="1DVIrB" id="4rRw8_Avozh" role="1DVIr_">
+                <node concept="1DVIoH" id="4rRw8_Avoz5" role="1DVIrA">
+                  <property role="TrG5h" value="z" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1DVIrt" id="1PL$JmLA85j">
+    <property role="TrG5h" value="Demo2" />
     <node concept="1DVJbV" id="7_8aRkgHLyo" role="1DVIru">
       <node concept="1DVIoH" id="7_8aRkgHLyq" role="1DVJbU">
         <property role="TrG5h" value="Y" />