From 54af10dad0903c389bb6574c8e0ce7e573f46d79 Mon Sep 17 00:00:00 2001
From: "grigorii.kirgizov" <grigorii.kirgizov@jetbrains.com>
Date: Tue, 4 Dec 2018 17:08:49 +0300
Subject: [PATCH] add unquantified type annotations to lambda calculus

---
 .../samples.lambdacalc/models/constraints.mps |   27 +
 .../samples.lambdacalc/models/editor.mps      |   44 +
 .../samples.lambdacalc/models/structure.mps   |   53 +-
 .../samples.lambdacalc/models/types.mps       | 1075 ++++++++++++++++-
 .../models/samples.lambdacalc.demo.mps        |  596 +++++++++
 5 files changed, 1761 insertions(+), 34 deletions(-)

diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
index 33653beb..bf7ba075 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
@@ -133,8 +133,11 @@
       <concept id="8966504967485224688" name="jetbrains.mps.lang.constraints.structure.ConstraintFunctionParameter_contextNode" flags="nn" index="2rP1CM" />
       <concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
         <reference id="1147467295099" name="applicableProperty" index="EomxK" />
+        <child id="1147468630220" name="propertyGetter" index="EtsB7" />
         <child id="1212097481299" name="propertyValidator" index="QCWH9" />
       </concept>
+      <concept id="1147467790433" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyGetter" flags="in" index="Eqf_E" />
+      <concept id="1147468365020" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_node" flags="nn" index="EsrRn" />
       <concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
       <concept id="5564765827938091039" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_ReferentSearchScope_Scope" flags="ig" index="3dgokm" />
       <concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
@@ -807,5 +810,29 @@
     <node concept="2tJIrI" id="7_zMfd$r3oW" role="jymVt" />
     <node concept="3Tm1VV" id="7_zMfd$r3oo" role="1B3o_S" />
   </node>
+  <node concept="1M2fIO" id="JqEP$8gEkk">
+    <property role="3GE5qa" value="expr" />
+    <ref role="1M2myG" to="8tt8:JqEP$8fvrm" resolve="AnnVar" />
+    <node concept="EnEH3" id="JqEP$8gEkl" role="1MhHOB">
+      <ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
+      <node concept="Eqf_E" id="JqEP$8gEkn" role="EtsB7">
+        <node concept="3clFbS" id="JqEP$8gEko" role="2VODD2">
+          <node concept="3clFbF" id="JqEP$8gEBA" role="3cqZAp">
+            <node concept="2OqwBi" id="JqEP$8gGmi" role="3clFbG">
+              <node concept="2OqwBi" id="JqEP$8gES1" role="2Oq$k0">
+                <node concept="EsrRn" id="JqEP$8gEB_" role="2Oq$k0" />
+                <node concept="3TrEf2" id="JqEP$8gFj9" role="2OqNvi">
+                  <ref role="3Tt5mk" to="8tt8:JqEP$8fvrp" resolve="var" />
+                </node>
+              </node>
+              <node concept="3TrcHB" id="JqEP$8gGLe" role="2OqNvi">
+                <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
index ab09f75f..373d33b9 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps
@@ -824,5 +824,49 @@
       <node concept="l2Vlx" id="6_p$mL233Yq" role="2iSdaV" />
     </node>
   </node>
+  <node concept="24kQdi" id="JqEP$8fvqr">
+    <property role="3GE5qa" value="expr" />
+    <ref role="1XX52x" to="8tt8:JqEP$8fvqm" resolve="AnnExpr" />
+    <node concept="3EZMnI" id="JqEP$8fvqt" role="2wV5jI">
+      <node concept="3F0ifn" id="JqEP$8fvqB" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+      </node>
+      <node concept="3F1sOY" id="JqEP$8fvr6" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:JqEP$8fvqp" resolve="expr" />
+      </node>
+      <node concept="3F0ifn" id="JqEP$8fvqZ" role="3EZMnx">
+        <property role="3F0ifm" value="::" />
+      </node>
+      <node concept="3F1sOY" id="JqEP$8fvrf" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:JqEP$8fvrd" resolve="ann" />
+      </node>
+      <node concept="3F0ifn" id="JqEP$8fvqJ" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+      </node>
+      <node concept="l2Vlx" id="JqEP$8fvqw" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="JqEP$8fvrr">
+    <property role="3GE5qa" value="expr" />
+    <ref role="1XX52x" to="8tt8:JqEP$8fvrm" resolve="AnnVar" />
+    <node concept="3EZMnI" id="JqEP$8fvrt" role="2wV5jI">
+      <node concept="3F0ifn" id="JqEP$8fvrK" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+      </node>
+      <node concept="3F1sOY" id="JqEP$8gHP4" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:JqEP$8fvrp" resolve="var" />
+      </node>
+      <node concept="3F0ifn" id="JqEP$8fvsq" role="3EZMnx">
+        <property role="3F0ifm" value="::" />
+      </node>
+      <node concept="3F1sOY" id="JqEP$8fvsK" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:JqEP$8fvrd" resolve="ann" />
+      </node>
+      <node concept="3F0ifn" id="JqEP$8fvrQ" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+      </node>
+      <node concept="l2Vlx" id="JqEP$8fvrw" role="2iSdaV" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
index 4587415c..d5c46a72 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps
@@ -17,7 +17,9 @@
         <child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
         <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
       </concept>
-      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ" />
+      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
+        <child id="1169127546356" name="extends" index="PrDN$" />
+      </concept>
       <concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
         <reference id="1169127628841" name="intfc" index="PrY4T" />
       </concept>
@@ -349,5 +351,54 @@
       <ref role="20lvS9" node="7_8aRkgDGPJ" resolve="Expr" />
     </node>
   </node>
+  <node concept="PlHQZ" id="JqEP$8fvoa">
+    <property role="EcuMT" value="854183478218847754" />
+    <property role="3GE5qa" value="expr" />
+    <property role="TrG5h" value="Annotated" />
+    <node concept="PrWs8" id="JqEP$8fvob" role="PrDN$">
+      <ref role="PrY4T" node="3TFdEPZf9SZ" resolve="Typeable" />
+    </node>
+    <node concept="1TJgyj" id="JqEP$8fvrd" role="1TKVEi">
+      <property role="IQ2ns" value="854183478218847949" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="ann" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3_qfG1EP6Nw" resolve="Type" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="JqEP$8fvqm">
+    <property role="EcuMT" value="854183478218847894" />
+    <property role="3GE5qa" value="expr" />
+    <property role="TrG5h" value="AnnExpr" />
+    <property role="34LRSv" value="annotation" />
+    <ref role="1TJDcQ" node="7_8aRkgDGPJ" resolve="Expr" />
+    <node concept="PrWs8" id="JqEP$8fvqn" role="PzmwI">
+      <ref role="PrY4T" node="JqEP$8fvoa" resolve="Annotated" />
+    </node>
+    <node concept="1TJgyj" id="JqEP$8fvqp" role="1TKVEi">
+      <property role="IQ2ns" value="854183478218847897" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="expr" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="7_8aRkgDGPJ" resolve="Expr" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="JqEP$8fvrm">
+    <property role="EcuMT" value="854183478218847958" />
+    <property role="3GE5qa" value="expr" />
+    <property role="TrG5h" value="AnnVar" />
+    <property role="34LRSv" value="Annotated var" />
+    <ref role="1TJDcQ" node="7_8aRkgDGPo" resolve="Var" />
+    <node concept="PrWs8" id="JqEP$8fvrn" role="PzmwI">
+      <ref role="PrY4T" node="JqEP$8fvoa" resolve="Annotated" />
+    </node>
+    <node concept="1TJgyj" id="JqEP$8fvrp" role="1TKVEi">
+      <property role="IQ2ns" value="854183478218847961" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="var" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="7_8aRkgDGPo" resolve="Var" />
+    </node>
+  </node>
 </model>
 
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index d795f3da..f0e8f18e 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -2,16 +2,16 @@
 <model ref="r:d628db6e-191f-4c0f-a802-15ad423aa41e(samples.lambdacalc.types)">
   <persistence version="9" />
   <languages>
-    <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="14" />
-    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="13" />
-    <use id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc" version="0" />
-    <use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="0" />
-    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
-    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
-    <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
-    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="2" />
-    <use id="cba985fe-1e96-4f16-9f8d-b07434405d4f" name="jetbrains.mps.lang.smodel.types" version="0" />
-    <use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
+    <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="-1" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="-1" />
+    <use id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc" version="-1" />
+    <use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="-1" />
+    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="-1" />
+    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="-1" />
+    <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="-1" />
+    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="-1" />
+    <use id="cba985fe-1e96-4f16-9f8d-b07434405d4f" name="jetbrains.mps.lang.smodel.types" version="-1" />
+    <use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="-1" />
     <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
   </languages>
   <imports>
@@ -93,6 +93,7 @@
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
       <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
+      <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>
@@ -245,6 +246,9 @@
       <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>
@@ -532,6 +536,152 @@
   </node>
   <node concept="AVZre" id="5dGkjBXlLmT">
     <property role="TrG5h" value="typeOf" />
+    <node concept="1X3_iC" id="JqEP$8r53r" role="lGtFl">
+      <property role="3V$3am" value="template" />
+      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
+      <node concept="1nLNMY" id="JqEP$8i0K8" role="8Wnug">
+        <property role="TrG5h" value="getType_Var_nameConflict" />
+        <node concept="3clFbS" id="JqEP$8i0K9" role="1nLNMH">
+          <node concept="3cpWs8" id="JqEP$8nTx6" role="3cqZAp">
+            <node concept="3cpWsn" id="JqEP$8nTx9" role="3cpWs9">
+              <property role="TrG5h" value="varName" />
+              <node concept="17QB3L" id="JqEP$8nTx4" role="1tU5fm" />
+              <node concept="2OqwBi" id="JqEP$8nTFq" role="33vP2m">
+                <node concept="3A2sRY" id="JqEP$8nTxR" role="2Oq$k0">
+                  <ref role="3A2yKK" node="JqEP$8i0Kr" resolve="varType" />
+                </node>
+                <node concept="3TrcHB" id="JqEP$8nU66" role="2OqNvi">
+                  <ref role="3TsBF5" to="8tt8:3g9UT2j9Itl" resolve="name" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="JqEP$8nULG" role="3cqZAp" />
+          <node concept="1nLNNL" id="JqEP$8i0Ka" role="3cqZAp">
+            <node concept="1nLNMm" id="JqEP$8i0Kb" role="1nLNNK">
+              <node concept="3Aq9E8" id="JqEP$8praC" role="1nLNMd">
+                <node concept="3I6sU6" id="JqEP$8praD" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="JqEP$8pqsS" role="3I6sU7">
+                    <node concept="3wWvb2" id="JqEP$8pqsR" role="3I6s78">
+                      <node concept="3clFbC" id="JqEP$8pqsV" role="3wWo3s">
+                        <node concept="1TmgYN" id="JqEP$8pq_W" role="3uHU7w">
+                          <node concept="1nq8_$" id="JqEP$8pqIu" role="1Tms7$">
+                            <node concept="a7P8L" id="JqEP$8pqIs" role="1nq8_t">
+                              <ref role="a7OzE" node="JqEP$8pqni" resolve="OtherName" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="JqEP$8pqta" role="3uHU7B">
+                          <ref role="3cqZAo" node="JqEP$8nTx9" resolve="varName" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="JqEP$8i0Kl" role="3I6sU7">
+                    <node concept="3Aqt3T" id="JqEP$8i0Km" role="3I6s78">
+                      <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                      <node concept="3BlFb$" id="JqEP$8i0Kn" role="3AunhB">
+                        <node concept="3A2sRY" id="JqEP$8i0Ko" role="3BlFb_">
+                          <ref role="3A2yKK" node="JqEP$8i0Kr" resolve="varType" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="JqEP$8i0Kp" role="3AunhB">
+                        <ref role="a7OzE" node="JqEP$8i0Ke" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq93q" id="JqEP$8pqmb" role="1nLNMb">
+                <property role="3ArMco" value="true" />
+                <node concept="3I6sU6" id="JqEP$8pqmc" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="JqEP$8pqmg" role="3I6sU7">
+                    <node concept="3Aqt3T" id="JqEP$8pqmf" role="3I6s78">
+                      <ref role="3AqCNq" node="JqEP$8kz$w" resolve="varTypeName" />
+                      <node concept="a7P8L" id="JqEP$8pqmj" role="3AunhB">
+                        <ref role="a7OzE" node="JqEP$8i0Ke" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="JqEP$8pqnL" role="3AunhB">
+                        <ref role="a7OzE" node="JqEP$8pqni" resolve="OtherName" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="JqEP$8pEsp" role="3I6sU7">
+                    <node concept="3Aqt3T" id="JqEP$8pEsn" role="3I6s78">
+                      <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                      <node concept="a7P8L" id="JqEP$8pEsw" role="3AunhB">
+                        <ref role="a7OzE" node="JqEP$8pErC" resolve="OtherVar" />
+                      </node>
+                      <node concept="a7P8L" id="JqEP$8pEsE" role="3AunhB">
+                        <ref role="a7OzE" node="JqEP$8i0Ke" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="0eUR_" id="JqEP$8i0Kc" role="0UC6o">
+                <node concept="3NuqgR" id="JqEP$8i0Kd" role="0eVf_">
+                  <node concept="aZer4" id="JqEP$8i0Ke" role="3XD1gS">
+                    <property role="TrG5h" value="T" />
+                  </node>
+                </node>
+                <node concept="3NuqgR" id="JqEP$8pErB" role="0eVf_">
+                  <node concept="aZer4" id="JqEP$8pErC" role="3XD1gS">
+                    <property role="TrG5h" value="OtherVar" />
+                  </node>
+                  <node concept="3Tqbb2" id="JqEP$8pErN" role="3vLBG7" />
+                </node>
+                <node concept="3NuqgR" id="JqEP$8pqnh" role="0eVf_">
+                  <node concept="aZer4" id="JqEP$8pqni" role="3XD1gS">
+                    <property role="TrG5h" value="OtherName" />
+                  </node>
+                  <node concept="17QB3L" id="JqEP$8pqnq" role="3vLBG7" />
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="JqEP$8i0Kf" role="1nLNMd">
+                <node concept="3I6sU6" id="JqEP$8i0Kg" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="JqEP$8prm6" role="3I6sU7">
+                    <node concept="3wWvb2" id="JqEP$8prm5" role="3I6s78">
+                      <node concept="2OqwBi" id="JqEP$8prtQ" role="3wWo3s">
+                        <node concept="3A2sRY" id="JqEP$8prm9" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8i0Kr" resolve="varType" />
+                        </node>
+                        <node concept="2s7oft" id="JqEP$8prP4" role="2OqNvi">
+                          <property role="2s7ueQ" value="error" />
+                          <node concept="2YIFZM" id="JqEP$8prRh" role="2s7u9n">
+                            <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                            <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
+                            <node concept="Xl_RD" id="JqEP$8prPu" role="37wK5m">
+                              <property role="Xl_RC" value="VarType name '%s' conflicts with '%s'" />
+                            </node>
+                            <node concept="37vLTw" id="JqEP$8psXZ" role="37wK5m">
+                              <ref role="3cqZAo" node="JqEP$8nTx9" resolve="varName" />
+                            </node>
+                            <node concept="1TmgYN" id="JqEP$8pt0j" role="37wK5m">
+                              <node concept="1nq8_$" id="JqEP$8pt2a" role="1Tms7$">
+                                <node concept="a7P8L" id="JqEP$8pt28" role="1nq8_t">
+                                  <ref role="a7OzE" node="JqEP$8pqni" resolve="OtherName" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2t___k" id="JqEP$8i0Kq" role="1nLNMg">
+          <ref role="2t_S0q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+          <node concept="3A20r5" id="JqEP$8i0Kr" role="2t_VXX">
+            <property role="TrG5h" value="varType" />
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="3AqmO8" id="4KALGUEgLbG" role="8PkJo">
       <property role="TrG5h" value="typeOf" />
       <node concept="1zAUYm" id="4KALGUEgLfk" role="1zAUyy">
@@ -541,6 +691,33 @@
         <property role="TrG5h" value="type" />
       </node>
     </node>
+    <node concept="3AqmO8" id="JqEP$8fyVv" role="8PkJo">
+      <property role="TrG5h" value="getType" />
+      <node concept="1zAUYm" id="JqEP$8fyZG" role="1zAUyy">
+        <property role="TrG5h" value="typeNode" />
+      </node>
+      <node concept="1zAUYm" id="JqEP$8fyZI" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="JqEP$8kz$w" role="8PkJo">
+      <property role="TrG5h" value="varTypeName" />
+      <node concept="1zAUYm" id="JqEP$8kzCM" role="1zAUyy">
+        <property role="TrG5h" value="varType" />
+      </node>
+      <node concept="1zAUYm" id="JqEP$8kzCK" role="1zAUyy">
+        <property role="TrG5h" value="name" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="JqEP$8pb_j" role="8PkJo">
+      <property role="TrG5h" value="varTypeNameConflict" />
+      <node concept="1zAUYm" id="JqEP$8pbI8" role="1zAUyy">
+        <property role="TrG5h" value="varType" />
+      </node>
+      <node concept="1zAUYm" id="JqEP$8pbIa" role="1zAUyy">
+        <property role="TrG5h" value="conflictName" />
+      </node>
+    </node>
     <node concept="1nLNMY" id="6EwjVjWrA7F" role="1nK1Vg">
       <property role="TrG5h" value="typeOf_unique" />
       <node concept="3clFbS" id="6EwjVjWrA7G" role="1nLNMH">
@@ -792,6 +969,29 @@
                 </node>
               </node>
             </node>
+            <node concept="3Aq93q" id="10BVPEVK4YX" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="10BVPEVK4YY" role="3Ip0Jz">
+                <node concept="3I6s7M" id="10BVPEVK5Ku" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4KALGUEh0bf" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="4KALGUEh0ba" role="3AunhB">
+                      <node concept="2OqwBi" id="4KALGUEh0bb" role="3BlFb_">
+                        <node concept="3A2sRY" id="4KALGUEh0bc" role="2Oq$k0">
+                          <ref role="3A2yKK" node="10BVPEVK4YL" resolve="lvb" />
+                        </node>
+                        <node concept="3TrEf2" id="4KALGUEh0bd" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQs" resolve="expr" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="4KALGUEh0be" role="3AunhB">
+                      <ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
             <node concept="3Aq9E8" id="10BVPEVK64G" role="1nLNMd">
               <node concept="3I6sU6" id="10BVPEVK64H" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6XR$k9E04nZ" role="3I6sU7">
@@ -825,29 +1025,6 @@
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="10BVPEVK4YX" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="10BVPEVK4YY" role="3Ip0Jz">
-                <node concept="3I6s7M" id="10BVPEVK5Ku" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4KALGUEh0bf" role="3I6s78">
-                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
-                    <node concept="3BlFb$" id="4KALGUEh0ba" role="3AunhB">
-                      <node concept="2OqwBi" id="4KALGUEh0bb" role="3BlFb_">
-                        <node concept="3A2sRY" id="4KALGUEh0bc" role="2Oq$k0">
-                          <ref role="3A2yKK" node="10BVPEVK4YL" resolve="lvb" />
-                        </node>
-                        <node concept="3TrEf2" id="4KALGUEh0bd" role="2OqNvi">
-                          <ref role="3Tt5mk" to="8tt8:7_8aRkgDGQs" resolve="expr" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="a7P8L" id="4KALGUEh0be" role="3AunhB">
-                      <ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
           </node>
         </node>
       </node>
@@ -1676,6 +1853,727 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="JqEP$8hXbF" role="1nK1Vg">
+      <property role="TrG5h" value="getType_Bool" />
+      <node concept="3clFbS" id="JqEP$8hXbG" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8hXJi" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8hXJk" role="1nLNNK">
+            <node concept="0eUR_" id="JqEP$8hXJp" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8hXJr" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8hXJs" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8hXJP" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8hXJQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hXJW" role="3I6sU7">
+                  <node concept="3A8Hvi" id="JqEP$8hXJT" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8hXK1" role="3A8wtg">
+                      <ref role="a7OzE" node="JqEP$8hXJs" resolve="T" />
+                    </node>
+                    <node concept="ns1u0" id="JqEP$8hXK6" role="3A8w4Q">
+                      <ref role="ns1xF" node="7VBaGntJSG0" resolve="Bool" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="JqEP$8hXKg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hXKe" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hXKn" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8hXKF" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8hXob" resolve="boolType" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8hXKT" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hXJs" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8hXoa" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:492bFERodLp" resolve="BoolType" />
+        <node concept="3A20r5" id="JqEP$8hXob" role="2t_VXX">
+          <property role="TrG5h" value="boolType" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8hXL0" role="1nK1Vg">
+      <property role="TrG5h" value="getType_Forall" />
+      <node concept="3clFbS" id="JqEP$8hXL1" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8hXL2" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8hXL3" role="1nLNNK">
+            <node concept="3Aq93q" id="JqEP$8hYef" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8hYeg" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hYek" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hYej" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hYen" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8hYmf" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8hYeu" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8hXLj" resolve="forallType" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8hYKW" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:12dHl3ZCFaI" resolve="type" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8hYN1" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hXYP" resolve="I" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8hXL4" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8hXL5" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8hXL6" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+                <node concept="aZer4" id="JqEP$8hXYP" role="3XD1gS">
+                  <property role="TrG5h" value="I" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8hXL7" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8hXL8" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hXL9" role="3I6sU7">
+                  <node concept="3A8Hvi" id="JqEP$8hXLa" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8hXLb" role="3A8wtg">
+                      <ref role="a7OzE" node="JqEP$8hXL6" resolve="T" />
+                    </node>
+                    <node concept="ns1u0" id="JqEP$8hXZ5" role="3A8w4Q">
+                      <ref role="ns1xF" node="7VBaGntJSG6" resolve="Forall" />
+                      <node concept="nsMwS" id="JqEP$8hXZ7" role="ns1xD">
+                        <ref role="nsMwP" node="7VBaGntJSG8" resolve="type" />
+                        <node concept="1nq8_$" id="JqEP$8hXZd" role="nsMwV">
+                          <node concept="a7P8L" id="JqEP$8hXZb" role="1nq8_t">
+                            <ref role="a7OzE" node="JqEP$8hXYP" resolve="I" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="JqEP$8hXLd" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hXLe" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hXLf" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8hXLg" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8hXLj" resolve="forallType" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8hXLh" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hXL6" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8hXLi" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:12dHl3ZCxTW" resolve="ForallType" />
+        <node concept="3A20r5" id="JqEP$8hXLj" role="2t_VXX">
+          <property role="TrG5h" value="forallType" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8hXZk" role="1nK1Vg">
+      <property role="TrG5h" value="getType_Fun" />
+      <node concept="3clFbS" id="JqEP$8hXZl" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8hXZm" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8hXZn" role="1nLNNK">
+            <node concept="3Aq93q" id="JqEP$8hYNa" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8hYNb" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hYNf" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hYNe" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hYNm" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8hYVn" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8hYNA" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8hXZF" resolve="funType" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8hZwg" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:3_qfG1EP6Op" resolve="argType" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8hZyl" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hXZr" resolve="A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8hZyu" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8hZyv" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hZyG" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hZyF" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hZyW" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8hZEO" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8hZz3" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8hXZF" resolve="funType" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8i0hC" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:3_qfG1EP6O_" resolve="resType" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8i0jH" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hYdR" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8hXZo" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8hXZp" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8hXZq" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+                <node concept="aZer4" id="JqEP$8hXZr" role="3XD1gS">
+                  <property role="TrG5h" value="A" />
+                </node>
+                <node concept="aZer4" id="JqEP$8hYdR" role="3XD1gS">
+                  <property role="TrG5h" value="R" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8hXZs" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8hXZt" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8hXZu" role="3I6sU7">
+                  <node concept="3A8Hvi" id="JqEP$8hXZv" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8hXZw" role="3A8wtg">
+                      <ref role="a7OzE" node="JqEP$8hXZq" resolve="T" />
+                    </node>
+                    <node concept="ns1u0" id="JqEP$8hXZx" role="3A8w4Q">
+                      <ref role="ns1xF" node="7VBaGntJSG2" resolve="Fun" />
+                      <node concept="nsMwS" id="JqEP$8hXZy" role="ns1xD">
+                        <ref role="nsMwP" node="7VBaGntJSG4" resolve="arg" />
+                        <node concept="1nq8_$" id="JqEP$8hXZz" role="nsMwV">
+                          <node concept="a7P8L" id="JqEP$8hXZ$" role="1nq8_t">
+                            <ref role="a7OzE" node="JqEP$8hXZr" resolve="A" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="nsMwS" id="JqEP$8i0jS" role="ns1xD">
+                        <ref role="nsMwP" node="7VBaGntJSG5" resolve="res" />
+                        <node concept="1nq8_$" id="JqEP$8i0k1" role="nsMwV">
+                          <node concept="a7P8L" id="JqEP$8i0jZ" role="1nq8_t">
+                            <ref role="a7OzE" node="JqEP$8hYdR" resolve="R" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="JqEP$8hXZ_" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8hXZA" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8hXZB" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8hXZC" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8hXZF" resolve="funType" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8hXZD" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8hXZq" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8hXZE" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:3_qfG1EP6Of" resolve="FunType" />
+        <node concept="3A20r5" id="JqEP$8hXZF" role="2t_VXX">
+          <property role="TrG5h" value="funType" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8ppY7" role="1nK1Vg">
+      <property role="TrG5h" value="getType_Var" />
+      <node concept="3clFbS" id="JqEP$8ppY8" role="1nLNMH">
+        <node concept="3cpWs8" id="JqEP$8ppY9" role="3cqZAp">
+          <node concept="3cpWsn" id="JqEP$8ppYa" role="3cpWs9">
+            <property role="TrG5h" value="varName" />
+            <node concept="17QB3L" id="JqEP$8ppYb" role="1tU5fm" />
+            <node concept="2OqwBi" id="JqEP$8ppYc" role="33vP2m">
+              <node concept="3A2sRY" id="JqEP$8ppYd" role="2Oq$k0">
+                <ref role="3A2yKK" node="JqEP$8ppYy" resolve="varType" />
+              </node>
+              <node concept="3TrcHB" id="JqEP$8ppYe" role="2OqNvi">
+                <ref role="3TsBF5" to="8tt8:3g9UT2j9Itl" resolve="name" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="JqEP$8ppYf" role="3cqZAp" />
+        <node concept="1nLNNL" id="JqEP$8ppYg" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8ppYh" role="1nLNNK">
+            <node concept="0eUR_" id="JqEP$8ppYi" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8ppYj" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8ppYk" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8ppYl" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8ppYm" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8ppYn" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8ppYo" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8kz$w" resolve="varTypeName" />
+                    <node concept="a7P8L" id="JqEP$8ppYp" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8ppYk" resolve="T" />
+                    </node>
+                    <node concept="HKQnh" id="JqEP$8ppYq" role="3AunhB">
+                      <node concept="37vLTw" id="JqEP$8ppYr" role="HKQng">
+                        <ref role="3cqZAo" node="JqEP$8ppYa" resolve="varName" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="JqEP$8ppYs" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8ppYt" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8ppYu" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8ppYv" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8ppYy" resolve="varType" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8ppYw" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8ppYk" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8ppYx" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+        <node concept="3A20r5" id="JqEP$8ppYy" role="2t_VXX">
+          <property role="TrG5h" value="varType" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8pULE" role="1nK1Vg">
+      <property role="TrG5h" value="varTypeName_unique" />
+      <node concept="3clFbS" id="JqEP$8pULF" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8pULG" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8pULH" role="1nLNNK">
+            <node concept="3Aq9E8" id="JqEP$8pULI" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8pULJ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pULK" role="3I6sU7">
+                  <node concept="3wWvb2" id="JqEP$8pULL" role="3I6s78">
+                    <node concept="3clFbC" id="JqEP$8pULM" role="3wWo3s">
+                      <node concept="1TmgYN" id="JqEP$8pULN" role="3uHU7B">
+                        <node concept="1nq8_$" id="JqEP$8pULO" role="1Tms7$">
+                          <node concept="a7P8L" id="JqEP$8pULP" role="1nq8_t">
+                            <ref role="a7OzE" node="JqEP$8pUMf" resolve="N1" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="JqEP$8pULQ" role="3uHU7w">
+                        <node concept="1nq8_$" id="JqEP$8pULR" role="1Tms7$">
+                          <node concept="a7P8L" id="JqEP$8pULS" role="1nq8_t">
+                            <ref role="a7OzE" node="JqEP$8pUMg" resolve="N2" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8pULT" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8pULU" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pVuz" role="3I6sU7">
+                  <node concept="3wWvb2" id="JqEP$8pVu$" role="3I6s78">
+                    <node concept="2OqwBi" id="JqEP$8pVu_" role="3wWo3s">
+                      <node concept="3A2sRY" id="JqEP$8pVuA" role="2Oq$k0">
+                        <ref role="3A2yKK" node="JqEP$8pVhW" resolve="varType" />
+                      </node>
+                      <node concept="2s7oft" id="JqEP$8pVuB" role="2OqNvi">
+                        <property role="2s7ueQ" value="error" />
+                        <node concept="2YIFZM" id="JqEP$8pVuC" role="2s7u9n">
+                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                          <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
+                          <node concept="Xl_RD" id="JqEP$8pVuD" role="37wK5m">
+                            <property role="Xl_RC" value="VarType name conflict: '%s' vs. '%s'" />
+                          </node>
+                          <node concept="1TmgYN" id="JqEP$8pVuF" role="37wK5m">
+                            <node concept="1nq8_$" id="JqEP$8pVuG" role="1Tms7$">
+                              <node concept="a7P8L" id="JqEP$8pWrh" role="1nq8_t">
+                                <ref role="a7OzE" node="JqEP$8pUMf" resolve="N1" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="1TmgYN" id="JqEP$8pWHh" role="37wK5m">
+                            <node concept="1nq8_$" id="JqEP$8pYrv" role="1Tms7$">
+                              <node concept="a7P8L" id="JqEP$8pYru" role="1nq8_t">
+                                <ref role="a7OzE" node="JqEP$8pUMg" resolve="N2" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="JqEP$8pULV" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pULW" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8pb_j" resolve="varTypeNameConflict" />
+                    <node concept="a7P8L" id="JqEP$8pULX" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMd" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pULY" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMf" resolve="N1" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8pULZ" role="1nLNMb">
+              <node concept="3I6sU6" id="JqEP$8pUM0" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pUM1" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pUM2" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8kz$w" resolve="varTypeName" />
+                    <node concept="a7P8L" id="JqEP$8pUM3" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMd" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pUM4" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMf" resolve="N1" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8pUM5" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8pUM6" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pUM7" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pUM8" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8kz$w" resolve="varTypeName" />
+                    <node concept="a7P8L" id="JqEP$8pUM9" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMd" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pUMa" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMg" resolve="N2" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8pVi8" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8pVi9" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pVip" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pVio" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8pVis" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8pViz" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8pVhW" resolve="varType" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pViJ" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pUMd" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8pUMb" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8pUMc" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pUMd" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+              <node concept="3NuqgR" id="JqEP$8pUMe" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pUMf" role="3XD1gS">
+                  <property role="TrG5h" value="N1" />
+                </node>
+                <node concept="aZer4" id="JqEP$8pUMg" role="3XD1gS">
+                  <property role="TrG5h" value="N2" />
+                </node>
+                <node concept="17QB3L" id="JqEP$8pUMh" role="3vLBG7" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8pVhV" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:3g9UT2j9I06" resolve="VarType" />
+        <node concept="3A20r5" id="JqEP$8pVhW" role="2t_VXX">
+          <property role="TrG5h" value="varType" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8fvub" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_AnnExpr" />
+      <node concept="3clFbS" id="JqEP$8fvuc" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8fvDJ" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8fvDK" role="1nLNNK">
+            <node concept="3Aq93q" id="JqEP$8fvEu" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8fvEv" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8fvEz" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8fvEy" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="JqEP$8fvEA" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8fvMo" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8fvEH" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8fvDt" resolve="anno" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8fwQi" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:JqEP$8fvqp" resolve="expr" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8fzpa" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8fvE0" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8fvDO" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8fvDQ" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8fvE0" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8fzuU" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8fzuV" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8fxKo" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8fzcc" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="JqEP$8fzo$" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8fzoF" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8fvDt" resolve="anno" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8fzoY" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8fvE0" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8fvDs" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:JqEP$8fvqm" resolve="AnnExpr" />
+        <node concept="3A20r5" id="JqEP$8fvDt" role="2t_VXX">
+          <property role="TrG5h" value="anno" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8f_qy" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_AnnVar" />
+      <node concept="3clFbS" id="JqEP$8f_qz" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8f_qD" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8f_qE" role="1nLNNK">
+            <node concept="3Aq93q" id="JqEP$8f_qF" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8f_qG" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8f_qH" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8f_qI" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="JqEP$8f_qJ" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8fAJq" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8f_qL" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8f_qZ" resolve="anno" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8fB4x" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:JqEP$8fvrp" resolve="var" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8f_qN" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8f_qQ" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8f_qO" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8f_qP" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8f_qQ" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8f_qR" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8f_qS" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8f_qT" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8f_qU" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="JqEP$8f_qV" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8f_qW" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8f_qZ" resolve="anno" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8f_qX" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8f_qQ" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8f_qY" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:JqEP$8fvrm" resolve="AnnVar" />
+        <node concept="3A20r5" id="JqEP$8f_qZ" role="2t_VXX">
+          <property role="TrG5h" value="anno" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="JqEP$8fxKy" role="1nK1Vg">
+      <property role="TrG5h" value="typeOf_Anno" />
+      <node concept="3clFbS" id="JqEP$8fxKz" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8fxWt" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8fxWv" role="1nLNNK">
+            <node concept="3Aq9E8" id="JqEP$8i1CP" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8i1CQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8i3et" role="3I6sU7">
+                  <node concept="3A8Hvi" id="JqEP$8i3en" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8i3eC" role="3A8wtg">
+                      <ref role="a7OzE" node="JqEP$8fxWF" resolve="Ann" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8i3eH" role="3A8w4Q">
+                      <ref role="a7OzE" node="JqEP$8i1_A" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8fxWC" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8fxWE" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8fxWF" role="3XD1gS">
+                  <property role="TrG5h" value="Ann" />
+                </node>
+                <node concept="aZer4" id="JqEP$8i1_A" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8fxX0" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8fxX1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8ox9b" role="3I6sU7">
+                  <node concept="3wWvb2" id="JqEP$8ox9c" role="3I6s78">
+                    <node concept="2OqwBi" id="JqEP$8ox9d" role="3wWo3s">
+                      <node concept="3A2sRY" id="JqEP$8oxe0" role="2Oq$k0">
+                        <ref role="3A2yKK" node="JqEP$8fxWi" resolve="anno" />
+                      </node>
+                      <node concept="2s7oft" id="JqEP$8ox9f" role="2OqNvi">
+                        <property role="2s7ueQ" value="error" />
+                        <node concept="2YIFZM" id="JqEP$8ox9g" role="2s7u9n">
+                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                          <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
+                          <node concept="Xl_RD" id="JqEP$8ox9h" role="37wK5m">
+                            <property role="Xl_RC" value="invalid annotation: inferred '%s'" />
+                          </node>
+                          <node concept="1TmgYN" id="JqEP$8ox9i" role="37wK5m">
+                            <node concept="1nq8_$" id="JqEP$8ox9j" role="1Tms7$">
+                              <node concept="a7P8L" id="JqEP$8oy0F" role="1nq8_t">
+                                <ref role="a7OzE" node="JqEP$8i1_A" resolve="T" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1X3_iC" id="JqEP$8oy9h" role="lGtFl">
+                  <property role="3V$3am" value="clauses" />
+                  <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/2316688792938825384/2316688792938825385" />
+                  <node concept="3I6s7M" id="JqEP$8i1Fj" role="8Wnug">
+                    <node concept="3wWvb2" id="JqEP$8i1Fi" role="3I6s78">
+                      <node concept="2OqwBi" id="JqEP$8i1MX" role="3wWo3s">
+                        <node concept="3A2sRY" id="JqEP$8i1Fm" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8fxWi" resolve="anno" />
+                        </node>
+                        <node concept="2s7oft" id="JqEP$8i2di" role="2OqNvi">
+                          <property role="2s7ueQ" value="error" />
+                          <node concept="Xl_RD" id="JqEP$8i2dY" role="2s7u9n">
+                            <property role="Xl_RC" value="invalid annotation" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8i1y4" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8i1y5" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8fxX5" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8fxX4" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8fyVv" resolve="getType" />
+                    <node concept="3BlFb$" id="JqEP$8fxX8" role="3AunhB">
+                      <node concept="2OqwBi" id="JqEP$8fy50" role="3BlFb_">
+                        <node concept="3A2sRY" id="JqEP$8fxXf" role="2Oq$k0">
+                          <ref role="3A2yKK" node="JqEP$8fxWi" resolve="anno" />
+                        </node>
+                        <node concept="3TrEf2" id="JqEP$8fyh9" role="2OqNvi">
+                          <ref role="3Tt5mk" to="8tt8:JqEP$8fvrd" resolve="ann" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8iuIe" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8fxWF" resolve="Ann" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8i1$G" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8i1$H" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8i1$U" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8i1$T" role="3I6s78">
+                    <ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
+                    <node concept="3BlFb$" id="JqEP$8i1$Y" role="3AunhB">
+                      <node concept="3A2sRY" id="JqEP$8i1_5" role="3BlFb_">
+                        <ref role="3A2yKK" node="JqEP$8fxWi" resolve="anno" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8i1_Q" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8i1_A" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2t___k" id="JqEP$8fxWh" role="1nLNMg">
+        <ref role="2t_S0q" to="8tt8:JqEP$8fvoa" resolve="Annotated" />
+        <node concept="3A20r5" id="JqEP$8fxWi" role="2t_VXX">
+          <property role="TrG5h" value="anno" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="312cEu" id="492bFERos2W">
     <property role="TrG5h" value="VarNames" />
@@ -2246,6 +3144,117 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="JqEP$8pc2f" role="1nK1Vg">
+      <property role="TrG5h" value="recover_var_hasName" />
+      <node concept="3clFbS" id="JqEP$8pc2g" role="1nLNMH">
+        <node concept="1nLNNL" id="JqEP$8pc2h" role="3cqZAp">
+          <node concept="1nLNMm" id="JqEP$8pc2i" role="1nLNNK">
+            <node concept="3Aq93q" id="JqEP$8pc2j" role="1nLNMb">
+              <node concept="3I6sU6" id="JqEP$8pc2k" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pc2l" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pc2m" role="3I6s78">
+                    <ref role="3AqCNq" node="4dPZ2m2i60v" resolve="recover" />
+                    <node concept="a7P8L" id="JqEP$8pc2n" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pc2y" resolve="Node" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pc2o" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pc2E" resolve="VN" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pc2p" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pc2_" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="JqEP$8pc2q" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="JqEP$8pc2r" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pc2s" role="3I6sU7">
+                  <node concept="3Aqt3T" id="JqEP$8pc2t" role="3I6s78">
+                    <ref role="3AqCNq" node="JqEP$8kz$w" resolve="varTypeName" />
+                    <node concept="a7P8L" id="JqEP$8pc2u" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pc2_" resolve="Var" />
+                    </node>
+                    <node concept="a7P8L" id="JqEP$8pc2v" role="3AunhB">
+                      <ref role="a7OzE" node="JqEP$8pc2B" resolve="ExplicitName" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="JqEP$8pc2w" role="0UC6o">
+              <node concept="3NuqgR" id="JqEP$8pc2x" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pc2y" role="3XD1gS">
+                  <property role="TrG5h" value="Node" />
+                </node>
+                <node concept="3Tqbb2" id="JqEP$8pc2z" role="3vLBG7" />
+              </node>
+              <node concept="3NuqgR" id="JqEP$8pc2$" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pc2_" role="3XD1gS">
+                  <property role="TrG5h" value="Var" />
+                </node>
+              </node>
+              <node concept="3NuqgR" id="JqEP$8pc2A" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pc2B" role="3XD1gS">
+                  <property role="TrG5h" value="ExplicitName" />
+                </node>
+                <node concept="17QB3L" id="JqEP$8pc2C" role="3vLBG7" />
+              </node>
+              <node concept="3NuqgR" id="JqEP$8pc2D" role="0eVf_">
+                <node concept="aZer4" id="JqEP$8pc2E" role="3XD1gS">
+                  <property role="TrG5h" value="VN" />
+                </node>
+                <node concept="3uibUv" id="JqEP$8pc2F" role="3vLBG7">
+                  <ref role="3uigEE" node="492bFERos2W" resolve="VarNames" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="JqEP$8pc2G" role="1nLNMd">
+              <node concept="3I6sU6" id="JqEP$8pc2H" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pc2I" role="3I6sU7">
+                  <node concept="3GeI9q" id="JqEP$8pc2J" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8pc2K" role="3GeI8F">
+                      <ref role="a7OzE" node="JqEP$8pc2y" resolve="Node" />
+                    </node>
+                    <node concept="HKQnh" id="JqEP$8pc2L" role="3GeI8D">
+                      <node concept="2c44tf" id="JqEP$8pc2M" role="HKQng">
+                        <node concept="2BbKIm" id="JqEP$8pc2N" role="2c44tc">
+                          <property role="2BbKN5" value="name" />
+                          <node concept="2EMmih" id="JqEP$8pc2O" role="lGtFl">
+                            <property role="P4ACc" value="af858d84-85f2-42f4-a854-0b3c6b5cd482/3749787170939265030/3749787170939266901" />
+                            <property role="2qtEX9" value="name" />
+                            <property role="3hQQBS" value="VarType" />
+                            <node concept="1TmgYN" id="JqEP$8pc2P" role="2c44t1">
+                              <node concept="1nq8_$" id="JqEP$8pc2Q" role="1Tms7$">
+                                <node concept="a7P8L" id="JqEP$8pc2R" role="1nq8_t">
+                                  <ref role="a7OzE" node="JqEP$8pc2B" resolve="ExplicitName" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="JqEP$8pc2S" role="1nLNMa">
+              <node concept="3I6sU6" id="JqEP$8pc2T" role="3Ip0Jz">
+                <node concept="3I6s7M" id="JqEP$8pc2U" role="3I6sU7">
+                  <node concept="2aLmEc" id="JqEP$8pc2V" role="3I6s78">
+                    <node concept="a7P8L" id="JqEP$8pc2W" role="2aLmnP">
+                      <ref role="a7OzE" node="JqEP$8pc2_" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="6$MtiK8IMV3" role="1nK1Vg">
       <property role="TrG5h" value="recover_var_hasIndex" />
       <node concept="3clFbS" id="6$MtiK8IMV4" role="1nLNMH">
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
index d3f6710d..db844939 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
@@ -19,17 +19,40 @@
       <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="role_DebugInfo" 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="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc">
+      <concept id="854183478218847754" name="samples.lambdacalc.structure.Annotated" flags="ng" index="3TPPj">
+        <child id="854183478218847949" name="ann" index="3TPQk" />
+      </concept>
+      <concept id="854183478218847958" name="samples.lambdacalc.structure.AnnVar" flags="ng" index="3TPQf">
+        <child id="854183478218847961" name="var" index="3TPQ0" />
+      </concept>
+      <concept id="854183478218847894" name="samples.lambdacalc.structure.AnnExpr" flags="ng" index="3TPRf">
+        <child id="854183478218847897" name="expr" index="3TPR0" />
+      </concept>
       <concept id="1784752312119229448" name="samples.lambdacalc.structure.Fix" flags="ng" index="2facFd" />
       <concept id="8747055848970356251" name="samples.lambdacalc.structure.VarRef" flags="ng" index="t0$VC">
         <reference id="8747055848970356252" name="def" index="t0$VJ" />
       </concept>
+      <concept id="3749787170939265030" name="samples.lambdacalc.structure.VarType" flags="ng" index="2BbKIm">
+        <property id="3749787170939266901" name="name" index="2BbKN5" />
+      </concept>
       <concept id="7591258541060276116" name="samples.lambdacalc.structure.IfThenElse" flags="ng" index="FlqVS">
         <child id="7591258541060276154" name="neg" index="FlqVm" />
         <child id="7591258541060276151" name="pos" index="FlqVr" />
         <child id="7591258541060276145" name="cond" index="FlqVt" />
       </concept>
+      <concept id="4132684604212800783" name="samples.lambdacalc.structure.FunType" flags="ng" index="1jz_ff">
+        <child id="4132684604212800793" name="argType" index="1jz_fp" />
+        <child id="4132684604212800805" name="resType" index="1jz_f_" />
+      </concept>
       <concept id="8739282858702982512" name="samples.lambdacalc.structure.App" flags="ng" index="1DVIo5">
         <child id="8739282858702982513" name="fun" index="1DVIo4" />
         <child id="8739282858702982525" name="arg" index="1DVIo8" />
@@ -56,6 +79,10 @@
       <concept id="8739282858702985614" name="samples.lambdacalc.structure.LetClause" flags="ng" index="1DVJbV">
         <child id="2654091495521629866" name="binding" index="j9CMd" />
       </concept>
+      <concept id="1192808835813875324" name="samples.lambdacalc.structure.ForallType" flags="ng" index="3JbUGG">
+        <child id="1192808835813913262" name="type" index="3JbKvY" />
+      </concept>
+      <concept id="4774429934441520217" name="samples.lambdacalc.structure.BoolType" flags="ng" index="3P8Jbz" />
       <concept id="4774429934441545239" name="samples.lambdacalc.structure.False" flags="ng" index="3P8L2H" />
       <concept id="4774429934441530831" name="samples.lambdacalc.structure.True" flags="ng" index="3P8MHP" />
     </language>
@@ -478,6 +505,23 @@
         </node>
       </node>
     </node>
+    <node concept="1DVJbV" id="JqEP$8jcEt" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8jcEv" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8jcEx" role="1DVIrJ">
+          <property role="TrG5h" value="r" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8jcFx" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8jcFy" role="1DVIr_">
+            <node concept="1DVIoH" id="JqEP$8jcFz" role="1DVIrA">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="t0$VC" id="JqEP$8jcFB" role="1DVIrw">
+            <ref role="t0$VJ" node="JqEP$8jcFz" resolve="x" />
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1DVJbV" id="6_p$mL23mCW" role="1DVIru">
       <node concept="1DVIrG" id="6_p$mL23mCY" role="j9CMd">
         <node concept="1DVIoH" id="6_p$mL23mD0" role="1DVIrJ">
@@ -906,5 +950,557 @@
       </node>
     </node>
   </node>
+  <node concept="1DVIrt" id="JqEP$8gcM$">
+    <property role="TrG5h" value="DemoAnno" />
+    <node concept="1DVJbV" id="JqEP$8j8gB" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8j8gD" role="j9CMd">
+        <node concept="3TPQf" id="JqEP$8jjsc" role="1DVIrJ">
+          <node concept="1DVIoH" id="JqEP$8jjse" role="3TPQ0">
+            <property role="TrG5h" value="id" />
+          </node>
+          <node concept="3JbUGG" id="JqEP$8knDS" role="3TPQk">
+            <node concept="1jz_ff" id="JqEP$8jjsl" role="3JbKvY">
+              <node concept="2BbKIm" id="JqEP$8jjsu" role="1jz_fp">
+                <property role="2BbKN5" value="A" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8jjsF" role="1jz_f_">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVIrU" id="JqEP$8j8hz" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8j8h$" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8j8hD" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8j8hF" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8j8hM" role="3TPQk">
+                <property role="2BbKN5" value="B" />
+              </node>
+            </node>
+          </node>
+          <node concept="t0$VC" id="JqEP$8j8hP" role="1DVIrw">
+            <ref role="t0$VJ" node="JqEP$8j8hD" resolve="x" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8jjjl" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8jjjn" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8jjjp" role="1DVIrJ">
+          <property role="TrG5h" value="id1" />
+        </node>
+        <node concept="3TPRf" id="JqEP$8jjl6" role="1DVIrD">
+          <node concept="1DVIrU" id="JqEP$8jjlf" role="3TPR0">
+            <node concept="1DVIrB" id="JqEP$8jjlg" role="1DVIr_">
+              <node concept="3TPQf" id="JqEP$8jjll" role="1DVIrA">
+                <node concept="1DVIoH" id="JqEP$8jjln" role="3TPQ0">
+                  <property role="TrG5h" value="x" />
+                </node>
+                <node concept="2BbKIm" id="JqEP$8jjlu" role="3TPQk">
+                  <property role="2BbKN5" value="A" />
+                </node>
+              </node>
+            </node>
+            <node concept="t0$VC" id="JqEP$8jjlx" role="1DVIrw">
+              <ref role="t0$VJ" node="JqEP$8jjll" resolve="x" />
+            </node>
+          </node>
+          <node concept="1jz_ff" id="JqEP$8jjlz" role="3TPQk">
+            <node concept="2BbKIm" id="JqEP$8jjlG" role="1jz_fp">
+              <property role="2BbKN5" value="B" />
+            </node>
+            <node concept="2BbKIm" id="JqEP$8jjlJ" role="1jz_f_">
+              <property role="2BbKN5" value="B" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1X3_iC" id="JqEP$8rwqT" role="lGtFl">
+      <property role="3V$3am" value="clause" />
+      <property role="3V$3ak" value="af858d84-85f2-42f4-a854-0b3c6b5cd482/8739282858702982568/8739282858702982571" />
+      <node concept="1DVJbV" id="JqEP$8rvXr" role="8Wnug">
+        <node concept="1DVIrG" id="JqEP$8rvXs" role="j9CMd">
+          <node concept="1DVIoH" id="JqEP$8rvXt" role="1DVIrJ">
+            <property role="TrG5h" value="id1" />
+          </node>
+          <node concept="3TPRf" id="JqEP$8rvXu" role="1DVIrD">
+            <node concept="1DVIrU" id="JqEP$8rvXv" role="3TPR0">
+              <node concept="1DVIrB" id="JqEP$8rvXw" role="1DVIr_">
+                <node concept="3TPQf" id="JqEP$8rvXx" role="1DVIrA">
+                  <node concept="1DVIoH" id="JqEP$8rvXy" role="3TPQ0">
+                    <property role="TrG5h" value="x" />
+                  </node>
+                  <node concept="3JbUGG" id="JqEP$8rw1h" role="3TPQk">
+                    <node concept="2BbKIm" id="JqEP$8rw1n" role="3JbKvY">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3TPRf" id="JqEP$8rw2c" role="1DVIrw">
+                <node concept="t0$VC" id="JqEP$8rw2l" role="3TPR0">
+                  <ref role="t0$VJ" node="JqEP$8rvXx" resolve="x" />
+                </node>
+                <node concept="3JbUGG" id="JqEP$8rw2o" role="3TPQk">
+                  <node concept="2BbKIm" id="JqEP$8rw2u" role="3JbKvY">
+                    <property role="2BbKN5" value="A" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3JbUGG" id="JqEP$8rw1a" role="3TPQk">
+              <node concept="1jz_ff" id="JqEP$8rvX_" role="3JbKvY">
+                <node concept="2BbKIm" id="JqEP$8rvXA" role="1jz_fp">
+                  <property role="2BbKN5" value="B" />
+                </node>
+                <node concept="2BbKIm" id="JqEP$8rvXB" role="1jz_f_">
+                  <property role="2BbKN5" value="B" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8owBU" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8owBV" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8owBW" role="1DVIrJ">
+          <property role="TrG5h" value="id2" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8owBY" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8owBZ" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8owC0" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8owC1" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8owC2" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="JqEP$8oJ3p" role="1DVIrw">
+            <node concept="t0$VC" id="JqEP$8oJ3y" role="3TPR0">
+              <ref role="t0$VJ" node="JqEP$8owC0" resolve="x" />
+            </node>
+            <node concept="2BbKIm" id="JqEP$8oJ3_" role="3TPQk">
+              <property role="2BbKN5" value="B" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8oYk0" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8oYk1" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8oYk2" role="1DVIrJ">
+          <property role="TrG5h" value="id3" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8oYk3" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8oYk4" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8oYk5" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8oYk6" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8oYk7" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="JqEP$8oYk8" role="1DVIrw">
+            <node concept="t0$VC" id="JqEP$8oYk9" role="3TPR0">
+              <ref role="t0$VJ" node="JqEP$8oYk5" resolve="x" />
+            </node>
+            <node concept="2BbKIm" id="JqEP$8oYka" role="3TPQk">
+              <property role="2BbKN5" value="A" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rpnw" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rpnx" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8rpny" role="1DVIrJ">
+          <property role="TrG5h" value="id4" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8rpnz" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8rpn$" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8rpn_" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8rpnA" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8rpnB" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="JqEP$8rpnC" role="1DVIrw">
+            <node concept="t0$VC" id="JqEP$8rpnD" role="3TPR0">
+              <ref role="t0$VJ" node="JqEP$8rpn_" resolve="x" />
+            </node>
+            <node concept="3P8Jbz" id="JqEP$8rppv" role="3TPQk" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rppO" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rppP" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8rppQ" role="1DVIrJ">
+          <property role="TrG5h" value="id5" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8rppR" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8rppS" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8rppT" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8rppU" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="3P8Jbz" id="JqEP$8rprY" role="3TPQk" />
+            </node>
+          </node>
+          <node concept="3TPRf" id="JqEP$8rppW" role="1DVIrw">
+            <node concept="t0$VC" id="JqEP$8rppX" role="3TPR0">
+              <ref role="t0$VJ" node="JqEP$8rppT" resolve="x" />
+            </node>
+            <node concept="2BbKIm" id="JqEP$8rps1" role="3TPQk">
+              <property role="2BbKN5" value="A" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rq1b" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rq1c" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8rq1d" role="1DVIrJ">
+          <property role="TrG5h" value="f3" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8rq1e" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8rq1f" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8rq1g" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8rq1h" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8rq4u" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="FlqVS" id="JqEP$8rq1j" role="1DVIrw">
+            <node concept="3P8L2H" id="JqEP$8rq1k" role="FlqVr" />
+            <node concept="3P8MHP" id="JqEP$8rq1l" role="FlqVm" />
+            <node concept="t0$VC" id="JqEP$8rq1m" role="FlqVt">
+              <ref role="t0$VJ" node="JqEP$8rq1g" resolve="x" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8hIVG" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8hIVH" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8hIVI" role="1DVIrJ">
+          <property role="TrG5h" value="f4" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8hIVJ" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8hIVK" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8hIVL" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8hIVM" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="1jz_ff" id="JqEP$8hIWA" role="3TPQk">
+                <node concept="3P8Jbz" id="JqEP$8hIWJ" role="1jz_fp" />
+                <node concept="3P8Jbz" id="JqEP$8hIWM" role="1jz_f_" />
+              </node>
+            </node>
+          </node>
+          <node concept="FlqVS" id="JqEP$8hIVO" role="1DVIrw">
+            <node concept="3P8L2H" id="JqEP$8hIVP" role="FlqVr" />
+            <node concept="3P8MHP" id="JqEP$8hIVQ" role="FlqVm" />
+            <node concept="t0$VC" id="JqEP$8rq54" role="FlqVt">
+              <ref role="t0$VJ" node="JqEP$8hIVL" resolve="x" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rq9i" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rq9j" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8rq9k" role="1DVIrJ">
+          <property role="TrG5h" value="f5" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8rq9l" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8rq9m" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8rq9n" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8rq9o" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8rqcZ" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="FlqVS" id="JqEP$8rq9s" role="1DVIrw">
+            <node concept="3P8L2H" id="JqEP$8rq9t" role="FlqVr" />
+            <node concept="3P8MHP" id="JqEP$8rq9u" role="FlqVm" />
+            <node concept="1DVIo5" id="JqEP$8rq5i" role="FlqVt">
+              <node concept="t0$VC" id="JqEP$8rq5j" role="1DVIo4">
+                <ref role="t0$VJ" node="JqEP$8rq9n" resolve="x" />
+              </node>
+              <node concept="3P8MHP" id="JqEP$8rq5b" role="1DVIo8" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8gcM_" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8gcMA" role="j9CMd">
+        <node concept="1DVIoH" id="JqEP$8gcMB" role="1DVIrJ">
+          <property role="TrG5h" value="f6" />
+        </node>
+        <node concept="1DVIrU" id="JqEP$8gcMH" role="1DVIrD">
+          <node concept="1DVIrB" id="JqEP$8gcMI" role="1DVIr_">
+            <node concept="3TPQf" id="JqEP$8gcMN" role="1DVIrA">
+              <node concept="1DVIoH" id="JqEP$8gcMP" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8rwAr" role="3TPQk">
+                <property role="2BbKN5" value="A" />
+              </node>
+            </node>
+          </node>
+          <node concept="FlqVS" id="JqEP$8gcMZ" role="1DVIrw">
+            <node concept="3TPRf" id="JqEP$8rwAu" role="FlqVr">
+              <node concept="t0$VC" id="JqEP$8rwAB" role="3TPR0">
+                <ref role="t0$VJ" node="JqEP$8gcMN" resolve="x" />
+              </node>
+              <node concept="2BbKIm" id="JqEP$8rwAE" role="3TPQk">
+                <property role="2BbKN5" value="B" />
+              </node>
+            </node>
+            <node concept="3P8MHP" id="JqEP$8gcP5" role="FlqVm" />
+            <node concept="t0$VC" id="JqEP$8gVr5" role="FlqVt">
+              <ref role="t0$VJ" node="JqEP$8gcMN" resolve="x" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rpGM" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rpGN" role="j9CMd">
+        <node concept="1DVIrH" id="JqEP$8rpGO" role="1DVIrD">
+          <node concept="1DVIrG" id="JqEP$8rpGP" role="1DVIrE">
+            <node concept="3TPQf" id="JqEP$8rpGQ" role="1DVIrJ">
+              <node concept="1DVIoH" id="JqEP$8rpGR" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="3JbUGG" id="JqEP$8rpGS" role="3TPQk">
+                <node concept="1jz_ff" id="JqEP$8rpGT" role="3JbKvY">
+                  <node concept="2BbKIm" id="JqEP$8rpGU" role="1jz_fp">
+                    <property role="2BbKN5" value="B" />
+                  </node>
+                  <node concept="2BbKIm" id="JqEP$8rpGV" role="1jz_f_">
+                    <property role="2BbKN5" value="B" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1DVIrU" id="JqEP$8rpGW" role="1DVIrD">
+              <node concept="1DVIrB" id="JqEP$8rpGX" role="1DVIr_">
+                <node concept="1DVIoH" id="JqEP$8rpGY" role="1DVIrA">
+                  <property role="TrG5h" value="x" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="JqEP$8rpGZ" role="1DVIrw">
+                <ref role="t0$VJ" node="JqEP$8rpGY" resolve="x" />
+              </node>
+            </node>
+          </node>
+          <node concept="1DVIrH" id="JqEP$8rpH0" role="1DVIrk">
+            <node concept="1DVIo5" id="JqEP$8rpH1" role="1DVIrk">
+              <node concept="t0$VC" id="JqEP$8rpH2" role="1DVIo4">
+                <ref role="t0$VJ" node="JqEP$8rpH5" resolve="y" />
+              </node>
+              <node concept="t0$VC" id="JqEP$8rpH3" role="1DVIo8">
+                <ref role="t0$VJ" node="JqEP$8rpGQ" resolve="x" />
+              </node>
+            </node>
+            <node concept="1DVIrG" id="JqEP$8rpH4" role="1DVIrE">
+              <node concept="3TPQf" id="JqEP$8rpH5" role="1DVIrJ">
+                <node concept="1DVIoH" id="JqEP$8rpH6" role="3TPQ0">
+                  <property role="TrG5h" value="y" />
+                </node>
+                <node concept="3JbUGG" id="JqEP$8rpH7" role="3TPQk">
+                  <node concept="1jz_ff" id="JqEP$8rpH8" role="3JbKvY">
+                    <node concept="2BbKIm" id="JqEP$8rpH9" role="1jz_fp">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                    <node concept="2BbKIm" id="JqEP$8rpHa" role="1jz_f_">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIrU" id="JqEP$8rpHb" role="1DVIrD">
+                <node concept="1DVIrB" id="JqEP$8rpHc" role="1DVIr_">
+                  <node concept="1DVIoH" id="JqEP$8rpHd" role="1DVIrA">
+                    <property role="TrG5h" value="x" />
+                  </node>
+                </node>
+                <node concept="t0$VC" id="JqEP$8rpHe" role="1DVIrw">
+                  <ref role="t0$VJ" node="JqEP$8rpHd" resolve="x" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVIoH" id="JqEP$8rpHf" role="1DVIrJ">
+          <property role="TrG5h" value="g1" />
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8jf5d" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8jf5f" role="j9CMd">
+        <node concept="1DVIrH" id="JqEP$8jf6w" role="1DVIrD">
+          <node concept="1DVIrG" id="JqEP$8jf6A" role="1DVIrE">
+            <node concept="3TPQf" id="JqEP$8jf6Q" role="1DVIrJ">
+              <node concept="1DVIoH" id="JqEP$8jf6S" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="3JbUGG" id="JqEP$8owyt" role="3TPQk">
+                <node concept="1jz_ff" id="JqEP$8jf6Z" role="3JbKvY">
+                  <node concept="2BbKIm" id="JqEP$8jf78" role="1jz_fp">
+                    <property role="2BbKN5" value="A" />
+                  </node>
+                  <node concept="2BbKIm" id="JqEP$8jf7b" role="1jz_f_">
+                    <property role="2BbKN5" value="B" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1DVIrU" id="JqEP$8jf89" role="1DVIrD">
+              <node concept="1DVIrB" id="JqEP$8jf8a" role="1DVIr_">
+                <node concept="1DVIoH" id="JqEP$8jf8b" role="1DVIrA">
+                  <property role="TrG5h" value="x" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="JqEP$8jf8f" role="1DVIrw">
+                <ref role="t0$VJ" node="JqEP$8jf8b" resolve="x" />
+              </node>
+            </node>
+          </node>
+          <node concept="1DVIrH" id="JqEP$8jf7e" role="1DVIrk">
+            <node concept="1DVIo5" id="JqEP$8jf8n" role="1DVIrk">
+              <node concept="t0$VC" id="JqEP$8jf8h" role="1DVIo4">
+                <ref role="t0$VJ" node="JqEP$8jf7q" resolve="y" />
+              </node>
+              <node concept="t0$VC" id="JqEP$8jf8m" role="1DVIo8">
+                <ref role="t0$VJ" node="JqEP$8jf6Q" resolve="x" />
+              </node>
+            </node>
+            <node concept="1DVIrG" id="JqEP$8jf7k" role="1DVIrE">
+              <node concept="3TPQf" id="JqEP$8jf7q" role="1DVIrJ">
+                <node concept="1DVIoH" id="JqEP$8jf7s" role="3TPQ0">
+                  <property role="TrG5h" value="y" />
+                </node>
+                <node concept="3JbUGG" id="JqEP$8owy$" role="3TPQk">
+                  <node concept="1jz_ff" id="JqEP$8jf7A" role="3JbKvY">
+                    <node concept="2BbKIm" id="JqEP$8jf7J" role="1jz_fp">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                    <node concept="2BbKIm" id="JqEP$8jf7M" role="1jz_f_">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIrU" id="JqEP$8jf7P" role="1DVIrD">
+                <node concept="1DVIrB" id="JqEP$8jf7Q" role="1DVIr_">
+                  <node concept="1DVIoH" id="JqEP$8jf7R" role="1DVIrA">
+                    <property role="TrG5h" value="x" />
+                  </node>
+                </node>
+                <node concept="t0$VC" id="JqEP$8jf7V" role="1DVIrw">
+                  <ref role="t0$VJ" node="JqEP$8jf7R" resolve="x" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVIoH" id="JqEP$8jf6u" role="1DVIrJ">
+          <property role="TrG5h" value="g2" />
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="JqEP$8rpWn" role="1DVIru">
+      <node concept="1DVIrG" id="JqEP$8rpWo" role="j9CMd">
+        <node concept="1DVIrH" id="JqEP$8rpWp" role="1DVIrD">
+          <node concept="1DVIrG" id="JqEP$8rpWq" role="1DVIrE">
+            <node concept="3TPQf" id="JqEP$8rpWr" role="1DVIrJ">
+              <node concept="1DVIoH" id="JqEP$8rpWs" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="3JbUGG" id="JqEP$8rpWt" role="3TPQk">
+                <node concept="1jz_ff" id="JqEP$8rpWu" role="3JbKvY">
+                  <node concept="2BbKIm" id="JqEP$8rpWv" role="1jz_fp">
+                    <property role="2BbKN5" value="A" />
+                  </node>
+                  <node concept="2BbKIm" id="JqEP$8rpWw" role="1jz_f_">
+                    <property role="2BbKN5" value="bool" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1DVIrU" id="JqEP$8rpWx" role="1DVIrD">
+              <node concept="1DVIrB" id="JqEP$8rpWy" role="1DVIr_">
+                <node concept="1DVIoH" id="JqEP$8rpWz" role="1DVIrA">
+                  <property role="TrG5h" value="x" />
+                </node>
+              </node>
+              <node concept="3P8MHP" id="JqEP$8rpZM" role="1DVIrw" />
+            </node>
+          </node>
+          <node concept="1DVIrH" id="JqEP$8rpW_" role="1DVIrk">
+            <node concept="1DVIo5" id="JqEP$8rpWA" role="1DVIrk">
+              <node concept="t0$VC" id="JqEP$8rpZR" role="1DVIo4">
+                <ref role="t0$VJ" node="JqEP$8rpWr" resolve="x" />
+              </node>
+              <node concept="t0$VC" id="JqEP$8rpZW" role="1DVIo8">
+                <ref role="t0$VJ" node="JqEP$8rpWE" resolve="y" />
+              </node>
+            </node>
+            <node concept="1DVIrG" id="JqEP$8rpWD" role="1DVIrE">
+              <node concept="3TPQf" id="JqEP$8rpWE" role="1DVIrJ">
+                <node concept="1DVIoH" id="JqEP$8rpWF" role="3TPQ0">
+                  <property role="TrG5h" value="y" />
+                </node>
+                <node concept="3JbUGG" id="JqEP$8rpWG" role="3TPQk">
+                  <node concept="1jz_ff" id="JqEP$8rpWH" role="3JbKvY">
+                    <node concept="2BbKIm" id="JqEP$8rpWI" role="1jz_fp">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                    <node concept="2BbKIm" id="JqEP$8rpWJ" role="1jz_f_">
+                      <property role="2BbKN5" value="A" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIrU" id="JqEP$8rpWK" role="1DVIrD">
+                <node concept="1DVIrB" id="JqEP$8rpWL" role="1DVIr_">
+                  <node concept="1DVIoH" id="JqEP$8rpWM" role="1DVIrA">
+                    <property role="TrG5h" value="x" />
+                  </node>
+                </node>
+                <node concept="t0$VC" id="JqEP$8rpWN" role="1DVIrw">
+                  <ref role="t0$VJ" node="JqEP$8rpWM" resolve="x" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="1DVIoH" id="JqEP$8rpWO" role="1DVIrJ">
+          <property role="TrG5h" value="g3" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>