diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
index 95ca0ba0..5519acdd 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
@@ -1530,7 +1530,57 @@
                                 </node>
                               </node>
                             </node>
-                            <node concept="3clFbH" id="4Z0pyZIFWuf" role="3cqZAp" />
+                            <node concept="1Dw8fO" id="31ObkDYZQgE" role="3cqZAp">
+                              <node concept="3clFbS" id="31ObkDYZQgF" role="2LFqv$">
+                                <node concept="3cpWs8" id="31ObkDYZQgG" role="3cqZAp">
+                                  <node concept="3cpWsn" id="31ObkDYZQgH" role="3cpWs9">
+                                    <property role="TrG5h" value="exit" />
+                                    <node concept="3Tqbb2" id="31ObkDYZQgI" role="1tU5fm" />
+                                    <node concept="1y4W85" id="31ObkDYZQgJ" role="33vP2m">
+                                      <node concept="37vLTw" id="31ObkDYZQgK" role="1y58nS">
+                                        <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                      </node>
+                                      <node concept="37vLTw" id="31ObkDYZQgL" role="1y566C">
+                                        <ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3Aqczg" id="31ObkDYZQgM" role="3cqZAp">
+                                  <node concept="3Aqt3T" id="31ObkDYZQgN" role="3Aqpz8">
+                                    <ref role="3AqCNq" to="kqnc:31ObkDYZPm0" resolve="resolveInferenceVar" />
+                                    <node concept="37jhX" id="31ObkDYZQgO" role="3AunhB">
+                                      <node concept="37vLTw" id="31ObkDYZQgP" role="37jj2">
+                                        <ref role="3cqZAo" node="31ObkDYZQgH" resolve="exit" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3cpWsn" id="31ObkDYZQgS" role="1Duv9x">
+                                <property role="TrG5h" value="i" />
+                                <node concept="10Oyi0" id="31ObkDYZQgT" role="1tU5fm" />
+                                <node concept="3cmrfG" id="31ObkDYZQgU" role="33vP2m">
+                                  <property role="3cmrfH" value="0" />
+                                </node>
+                              </node>
+                              <node concept="3eOVzh" id="31ObkDYZQgV" role="1Dwp0S">
+                                <node concept="2OqwBi" id="31ObkDYZQgW" role="3uHU7w">
+                                  <node concept="37vLTw" id="31ObkDYZQgX" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
+                                  </node>
+                                  <node concept="34oBXx" id="31ObkDYZQgY" role="2OqNvi" />
+                                </node>
+                                <node concept="37vLTw" id="31ObkDYZQgZ" role="3uHU7B">
+                                  <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                </node>
+                              </node>
+                              <node concept="2$rviw" id="31ObkDYZQh0" role="1Dwrff">
+                                <node concept="37vLTw" id="31ObkDYZQh1" role="2$L3a6">
+                                  <ref role="3cqZAo" node="31ObkDYZQgS" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
                             <node concept="3Aqczg" id="4Z0pyZIF$Y3" role="3cqZAp">
                               <node concept="3A8Hvi" id="4Z0pyZIF$XX" role="3Aqpz8">
                                 <node concept="a7P8L" id="4Z0pyZIF$Yt" role="3A8wtg">
@@ -1629,6 +1679,19 @@
             <node concept="3xSepi" id="5jbgz$E6gVR" role="3xSepv">
               <node concept="3Aq9E8" id="5jbgz$E6gVS" role="3xSepj">
                 <node concept="3I6sU6" id="5jbgz$E6gVT" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPur" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPup" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZPvC" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZPvA" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6gUr" resolve="yld" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYZPTV" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6gUK" resolve="YieldT" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6gVY" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6gVX" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -1700,6 +1763,23 @@
                       </node>
                     </node>
                   </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="31ObkDYZQ5n" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZQ5o" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPUU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPUS" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZQ3u" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZQ3s" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6iox" resolve="yldAll" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDZ3yyh" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6j5t" resolve="Elem" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6kWg" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6kWe" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -1773,6 +1853,23 @@
                       </node>
                     </node>
                   </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="31ObkDYZQdG" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZQdH" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZQg5" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZQg3" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:31ObkDYZPlP" resolve="inferenceVar" />
+                      <node concept="37jhX" id="31ObkDYZQgh" role="3AunhB">
+                        <node concept="3A2sRY" id="31ObkDYZQgf" role="37jj2">
+                          <ref role="3A2yKK" node="5jbgz$E6iox" resolve="yldAll" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="31ObkDZ3yzx" role="3AunhB">
+                        <ref role="a7OzE" node="5jbgz$E6j5t" resolve="Elem" />
+                      </node>
+                    </node>
+                  </node>
                   <node concept="3I6s7M" id="5jbgz$E6ioo" role="3I6sU7">
                     <node concept="3Aqt3T" id="5jbgz$E6iop" role="3I6s78">
                       <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
@@ -4929,7 +5026,7 @@
                             <node concept="3clFbS" id="6yxoGioji64" role="2LFqv$">
                               <node concept="3Aqczg" id="6yxoGioji65" role="3cqZAp">
                                 <node concept="3Aqt3T" id="6yxoGioji66" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:6N2bvv_5W0X" resolve="resolveVar" />
+                                  <ref role="3AqCNq" to="kqnc:4jGoIleP8jH" resolve="makeGround" />
                                   <node concept="a7P8L" id="6yxoGioji67" role="3AunhB">
                                     <ref role="a7OzE" node="6yxoGiojas8" resolve="MethTVs" />
                                     <node concept="37vLTw" id="6yxoGioji68" role="3gCZO6">
@@ -6199,7 +6296,7 @@
                                   <node concept="37vLTw" id="53tmmMtoIIw" role="3jicU7">
                                     <ref role="3cqZAo" node="3DgB4rOyEsk" resolve="mdecl" />
                                   </node>
-                                  <node concept="37vLTw" id="53tmmMtoKNr" role="3jicU7">
+                                  <node concept="37vLTw" id="4jGoIleP8gR" role="3jicU7">
                                     <ref role="3cqZAo" node="53tmmMtoJCO" resolve="noMethodTyArgs" />
                                   </node>
                                   <node concept="37vLTw" id="53tmmMtoKN_" role="3jicU7">
@@ -6304,7 +6401,7 @@
                                 <node concept="3clFbS" id="53tmmMtp2oQ" role="2LFqv$">
                                   <node concept="3Aqczg" id="53tmmMtp7gJ" role="3cqZAp">
                                     <node concept="3Aqt3T" id="53tmmMtp7gH" role="3Aqpz8">
-                                      <ref role="3AqCNq" to="kqnc:6N2bvv_5W0X" resolve="resolveVar" />
+                                      <ref role="3AqCNq" to="kqnc:4jGoIleP8jH" resolve="makeGround" />
                                       <node concept="a7P8L" id="53tmmMtp7ib" role="3AunhB">
                                         <ref role="a7OzE" node="53tmmMtoThW" resolve="MethTVs" />
                                         <node concept="37vLTw" id="53tmmMtp7iJ" role="3gCZO6">
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index c5558694..7504c2e2 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -71,6 +71,8 @@
       <concept id="8118189177080264853" name="jetbrains.mps.baseLanguage.structure.AlternativeType" flags="ig" index="nSUau">
         <child id="8118189177080264854" name="alternative" index="nSUat" />
       </concept>
+      <concept id="1224500764161" name="jetbrains.mps.baseLanguage.structure.BitwiseAndExpression" flags="nn" index="pVHWs" />
+      <concept id="1224500790866" name="jetbrains.mps.baseLanguage.structure.BitwiseOrExpression" flags="nn" index="pVOtf" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="nn" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
       <concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
@@ -105,6 +107,7 @@
       <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
         <child id="1145553007750" name="creator" index="2ShVmc" />
       </concept>
+      <concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
       <concept id="1070475354124" name="jetbrains.mps.baseLanguage.structure.ThisExpression" flags="nn" index="Xjq3P" />
       <concept id="1070475587102" name="jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" flags="nn" index="XkiVB" />
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
@@ -263,6 +266,8 @@
         <child id="8276990574895933172" name="throwable" index="1zc67B" />
       </concept>
       <concept id="1204200696010" name="jetbrains.mps.baseLanguage.structure.NullType" flags="in" index="1vX6Bi" />
+      <concept id="7024111702304501416" name="jetbrains.mps.baseLanguage.structure.OrAssignmentExpression" flags="nn" index="3vZ8r8" />
+      <concept id="7024111702304501418" name="jetbrains.mps.baseLanguage.structure.AndAssignmentExpression" flags="nn" index="3vZ8ra" />
       <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
       <concept id="1081855346303" name="jetbrains.mps.baseLanguage.structure.BreakStatement" flags="nn" index="3zACq4" />
       <concept id="1184950988562" name="jetbrains.mps.baseLanguage.structure.ArrayCreator" flags="nn" index="3$_iS1">
@@ -285,6 +290,10 @@
         <child id="1144231399730" name="condition" index="1Dwp0S" />
         <child id="1144231408325" name="iteration" index="1Dwrff" />
       </concept>
+      <concept id="1225892208569" name="jetbrains.mps.baseLanguage.structure.ShiftLeftExpression" flags="nn" index="1GRDU$" />
+      <concept id="1225894555487" name="jetbrains.mps.baseLanguage.structure.BitwiseNotExpression" flags="nn" index="1H0AT2">
+        <child id="1225894555490" name="expression" index="1H0ATZ" />
+      </concept>
       <concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615">
         <child id="1107797138135" name="extendedInterface" index="3HQHJm" />
       </concept>
@@ -5204,6 +5213,45 @@
                           </node>
                         </node>
                       </node>
+                      <node concept="1Dw8fO" id="31ObkDZkcN_" role="3cqZAp">
+                        <node concept="3clFbS" id="31ObkDZkcNA" role="2LFqv$">
+                          <node concept="3Aqczg" id="31ObkDZkcNB" role="3cqZAp">
+                            <node concept="3Aqt3T" id="31ObkDZkcNC" role="3Aqpz8">
+                              <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                              <node concept="a7P8L" id="31ObkDZkcND" role="3AunhB">
+                                <ref role="a7OzE" node="4xoHD1GpWdD" resolve="ClsTySubs" />
+                                <node concept="37vLTw" id="31ObkDZkcNE" role="3gCZO6">
+                                  <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3cpWsn" id="31ObkDZkcNF" role="1Duv9x">
+                          <property role="TrG5h" value="i" />
+                          <node concept="10Oyi0" id="31ObkDZkcNG" role="1tU5fm" />
+                          <node concept="3cmrfG" id="31ObkDZkcNH" role="33vP2m">
+                            <property role="3cmrfH" value="0" />
+                          </node>
+                        </node>
+                        <node concept="3eOVzh" id="31ObkDZkcNI" role="1Dwp0S">
+                          <node concept="2OqwBi" id="31ObkDZkcNJ" role="3uHU7w">
+                            <node concept="37vLTw" id="31ObkDZkcY0" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4xoHD1GpWcG" resolve="ctvds" />
+                            </node>
+                            <node concept="34oBXx" id="31ObkDZkcNL" role="2OqNvi" />
+                          </node>
+                          <node concept="37vLTw" id="31ObkDZkcNM" role="3uHU7B">
+                            <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                          </node>
+                        </node>
+                        <node concept="3uNrnE" id="31ObkDZkcNN" role="1Dwrff">
+                          <node concept="37vLTw" id="31ObkDZkcNO" role="2$L3a6">
+                            <ref role="3cqZAo" node="31ObkDZkcNF" resolve="i" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbH" id="31ObkDZkcLR" role="3cqZAp" />
                       <node concept="3Aqczg" id="53tmmMsTQNr" role="3cqZAp">
                         <node concept="3Aqt3T" id="53tmmMsTQNp" role="3Aqpz8">
                           <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
@@ -6264,6 +6312,26 @@
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
+            <node concept="3xSepi" id="75Mu1NeTtBZ" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeTtC0" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeTtC1" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeTtCw" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeTtCx" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeTtCy" role="3AunhB">
+                        <ref role="a7OzE" node="5crgrygExrU" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeTtCz" role="3AunhB">
+                        <ref role="a7OzE" node="5crgrygExs3" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeTtC$" role="3AunhB">
+                        <ref role="a7OzE" node="oCcpswWojK" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -8051,6 +8119,10 @@
                           </node>
                         </node>
                       </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="75Mu1Nf9Nku" role="3xSepj">
+                    <node concept="3I6sU6" id="75Mu1Nf9Nkv" role="3Ip0Jz">
                       <node concept="3I6s7M" id="6KIXGIaNF0b" role="3I6sU7">
                         <node concept="3Aqt3T" id="6KIXGIaNF0c" role="3I6s78">
                           <ref role="3AqCNq" node="6KIXGIaNNsn" resolve="checkForeachElem" />
@@ -8132,6 +8204,10 @@
                           </node>
                         </node>
                       </node>
+                    </node>
+                  </node>
+                  <node concept="3Aq9E8" id="31ObkDYiYLx" role="3xSepj">
+                    <node concept="3I6sU6" id="31ObkDYiYLy" role="3Ip0Jz">
                       <node concept="3I6s7M" id="6KIXGIaNEWz" role="3I6sU7">
                         <node concept="3Aqt3T" id="6KIXGIaNSuK" role="3I6s78">
                           <ref role="3AqCNq" node="6KIXGIaNNsn" resolve="checkForeachElem" />
@@ -15181,174 +15257,6 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4yZzE4kz5z0" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7siK" role="8Wnug">
-        <property role="TrG5h" value="converts_free_to_ground_resolve" />
-        <node concept="3clFbS" id="12QmIo_7siL" role="1nLNMH">
-          <node concept="1nLNNL" id="12QmIo_7siM" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7siN" role="1nLNNK">
-              <node concept="3Aq93q" id="5NuEpF1yim9" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="4nIWweBB_cE" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_cF" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5NuEpF1tsO6" role="3I6s78">
-                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5JTOzCQSkGd" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5JTOzCQSkFk" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczO3zQZ" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zQX" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="2QE4RCGiMdP" role="1nLNMa">
-                <node concept="3I6sU6" id="4nIWweBB_d7" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_d8" role="3I6sU7">
-                    <node concept="2aLmEc" id="2QE4RCGiMdS" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkHq" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4nIWweBB_d9" role="3I6sU7">
-                    <node concept="2aM9Np" id="2QE4RCGiMmx" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkFO" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="2CsZ2XTa5L" role="0Rg$4">
-                <node concept="aZer4" id="2CsZ2XTa5M" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="2CsZ2XTa5V" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxND5" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdiiU" role="3xSepv">
-                <node concept="3Aq9E8" id="5NuEpF1trxX" role="3xSepj">
-                  <node concept="3I6sU6" id="4nIWweBB_dD" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5WHz" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_5WHy" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_9b_6" resolve="hasUpperTarget" />
-                        <node concept="a7P8L" id="6N2bvv_5WI3" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTa5M" resolve="S" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5WIZ" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTa5V" resolve="T" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="4O7HczO3zQV" role="0Rg$4">
-                <node concept="3uibUv" id="4O7HczO3zQW" role="3vLBG7">
-                  <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-                </node>
-                <node concept="aZer4" id="4O7HczO3zQX" role="3XD1gS">
-                  <property role="TrG5h" value="Options" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1X3_iC" id="4yZzE4kz5P2" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7siO" role="8Wnug">
-        <property role="TrG5h" value="converts_ground_to_free_resolve" />
-        <node concept="3clFbS" id="12QmIo_7siP" role="1nLNMH">
-          <node concept="1nLNNL" id="12QmIo_7siQ" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7siR" role="1nLNNK">
-              <node concept="3Aq93q" id="2QE4RCGiPir" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="4nIWweBB_e6" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_e7" role="3I6sU7">
-                    <node concept="3Aqt3T" id="2QE4RCGiPix" role="3I6s78">
-                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5JTOzCQSkHC" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5JTOzCQSkFS" role="3AunhB">
-                        <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczO3zR7" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zR5" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="2QE4RCGiPij" role="1nLNMa">
-                <node concept="3I6sU6" id="4nIWweBB_ev" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBB_ew" role="3I6sU7">
-                    <node concept="2aM9Np" id="2QE4RCGiPip" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkGO" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="4nIWweBB_ex" role="3I6sU7">
-                    <node concept="2aLmEc" id="2QE4RCGiPim" role="3I6s78">
-                      <node concept="a7P8L" id="5JTOzCQSkGk" role="2aLmnP">
-                        <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="2CsZ2XTamp" role="0Rg$4">
-                <node concept="aZer4" id="2CsZ2XTamq" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="2CsZ2XTamz" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxND6" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdiiV" role="3xSepv">
-                <node concept="3Aq9E8" id="2QSgdljaKJq" role="3xSepj">
-                  <node concept="3I6sU6" id="2QSgdljaKJr" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5WKl" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_5WKk" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                        <node concept="a7P8L" id="6N2bvv_5WLj" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTamz" resolve="T" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5WKN" role="3AunhB">
-                          <ref role="a7OzE" node="2CsZ2XTamq" resolve="S" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="4O7HczO3zR3" role="0Rg$4">
-                <node concept="3uibUv" id="4O7HczO3zR4" role="3vLBG7">
-                  <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-                </node>
-                <node concept="aZer4" id="4O7HczO3zR5" role="3XD1gS">
-                  <property role="TrG5h" value="Options" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="3vTJNooZDgN" role="8PkJo">
       <property role="TrG5h" value="convertsTo" />
       <node concept="1zAUYm" id="3vTJNooZDgU" role="1zAUyy">
@@ -16994,6 +16902,20 @@
             </node>
             <node concept="3Aq9_M" id="7nPD14N6oKp" role="1nLNMa">
               <node concept="3I6sU6" id="4nIWweBDTYr" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWRuE" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWRuC" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWRuL" role="2aLmnP">
+                      <ref role="a7OzE" node="7nPD14N6oKF" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWRv3" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWRv1" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWRvd" role="2aLmnP">
+                      <ref role="a7OzE" node="7nPD14N6oKG" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
                 <node concept="3I6s7M" id="4nIWweBDTYs" role="3I6sU7">
                   <node concept="3A8Hvi" id="7nPD14N6oPA" role="3I6s78">
                     <node concept="a7P8L" id="7nPD14N6oQ4" role="3A8w4Q">
@@ -17038,6 +16960,172 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="31ObkDYWRvk" role="1nK1Vg">
+      <property role="TrG5h" value="lub_free" />
+      <node concept="3clFbS" id="31ObkDYWRvl" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYWS23" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYWS24" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYWS25" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="31ObkDYWS26" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWS27" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYWS28" role="3I6s78">
+                    <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                    <node concept="a7P8L" id="31ObkDYWS29" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2r" resolve="LUB" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWS2a" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWS2b" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="31ObkDYWS2c" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYWS2d" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWS2e" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWS2f" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWS2g" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWS6W" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYWS6S" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWS7o" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYWS2o" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYWS2p" role="3XD1gS">
+                <property role="TrG5h" value="Left" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWS2q" role="3XD1gS">
+                <property role="TrG5h" value="Right" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWS2r" role="3XD1gS">
+                <property role="TrG5h" value="LUB" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYWS2s" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYWS2t" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYWS2u" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYWS2v" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYWTfN" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYWTfK" role="3I6s78">
+                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <node concept="a7P8L" id="31ObkDYWTg1" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWS2p" resolve="Left" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWThL" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="31ObkDYWTks" role="3I6sU7">
+                    <node concept="3A8Hvi" id="31ObkDYWTkm" role="3I6s78">
+                      <node concept="a7P8L" id="31ObkDYWTk_" role="3A8wtg">
+                        <ref role="a7OzE" node="31ObkDYWS2r" resolve="LUB" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTkG" role="3A8w4Q">
+                        <ref role="a7OzE" node="31ObkDYWS2q" resolve="Right" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="31ObkDYWToZ" role="3cqZAp" />
+        <node concept="1nLNNL" id="31ObkDYWTkN" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYWTkO" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYWTkP" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="31ObkDYWTkQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWTkR" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYWTkS" role="3I6s78">
+                    <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                    <node concept="a7P8L" id="31ObkDYWTkT" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl7" resolve="LUB" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWTkU" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYWTkV" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="31ObkDYWTkW" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYWTkX" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYWTl1" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYWTl2" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWTvA" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="31ObkDYWTkY" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYWTkZ" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYWTsb" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYWTl4" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYWTl5" role="3XD1gS">
+                <property role="TrG5h" value="Left" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWTl6" role="3XD1gS">
+                <property role="TrG5h" value="Right" />
+              </node>
+              <node concept="aZer4" id="31ObkDYWTl7" role="3XD1gS">
+                <property role="TrG5h" value="LUB" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYWTl8" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYWTl9" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYWTla" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYWTlb" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYWTlc" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYWTld" role="3I6s78">
+                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <node concept="a7P8L" id="31ObkDYWTlf" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWTl6" resolve="Right" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTle" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="31ObkDYWTlg" role="3I6sU7">
+                    <node concept="3A8Hvi" id="31ObkDYWTlh" role="3I6s78">
+                      <node concept="a7P8L" id="31ObkDYWTli" role="3A8wtg">
+                        <ref role="a7OzE" node="31ObkDYWTl7" resolve="LUB" />
+                      </node>
+                      <node concept="a7P8L" id="31ObkDYWTyX" role="3A8w4Q">
+                        <ref role="a7OzE" node="31ObkDYWTl5" resolve="Left" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="61SyIbXrkda" role="1nK1Vg">
       <property role="TrG5h" value="lub_prim_classifier" />
       <node concept="3clFbS" id="61SyIbXrkdb" role="1nLNMH">
@@ -32613,34 +32701,6 @@
     <property role="3GE5qa" value="rule.type" />
     <property role="TrG5h" value="Resolve" />
     <ref role="2YbDB9" node="5310cdpUCzb" resolve="HasBound" />
-    <node concept="3AqmO8" id="6N2bvv_9b_6" role="8PkJo">
-      <property role="TrG5h" value="hasUpperTarget" />
-      <node concept="1zAUYm" id="6N2bvv_9bAS" role="1zAUyy">
-        <property role="TrG5h" value="var" />
-      </node>
-      <node concept="1zAUYm" id="6N2bvv_9bCb" role="1zAUyy">
-        <property role="TrG5h" value="uptrg" />
-      </node>
-      <node concept="1zAsnw" id="6N2bvv_9bFm" role="lGtFl">
-        <node concept="3SKdUq" id="6N2bvv_9bFn" role="27qylF">
-          <property role="3SKdUp" value="a type var has a target" />
-        </node>
-      </node>
-    </node>
-    <node concept="3AqmO8" id="6N2bvv_crdr" role="8PkJo">
-      <property role="TrG5h" value="hasLowerTarget" />
-      <node concept="1zAUYm" id="6N2bvv_crds" role="1zAUyy">
-        <property role="TrG5h" value="var" />
-      </node>
-      <node concept="1zAUYm" id="6N2bvv_crdt" role="1zAUyy">
-        <property role="TrG5h" value="lotrg" />
-      </node>
-      <node concept="1zAsnw" id="6N2bvv_crdu" role="lGtFl">
-        <node concept="3SKdUq" id="6N2bvv_crdv" role="27qylF">
-          <property role="3SKdUp" value="a type var has a target" />
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="6N2bvv_5W0X" role="8PkJo">
       <property role="TrG5h" value="resolveVar" />
       <node concept="1zAUYm" id="6N2bvv_5W2F" role="1zAUyy">
@@ -32652,71 +32712,80 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8rrp" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_e2tu" role="8Wnug">
-        <property role="TrG5h" value="lowerTarget_bound_trans" />
-        <node concept="3clFbS" id="6N2bvv_e2tv" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_e2z1" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e2z3" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e2Aq" role="1nLNMb">
-                <property role="3ArMco" value="true" />
-                <node concept="3I6sU6" id="6N2bvv_e2Ar" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2AY" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2AX" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e2Id" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2$x" resolve="TVar" />
+    <node concept="3AqmO8" id="31ObkDYZPlP" role="8PkJo">
+      <property role="TrG5h" value="inferenceVar" />
+      <node concept="1zAUYm" id="31ObkDYZPlV" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+      <node concept="1zAUYm" id="31ObkDYZPlX" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="31ObkDYZPm0" role="8PkJo">
+      <property role="TrG5h" value="resolveInferenceVar" />
+      <node concept="1zAUYm" id="31ObkDYZPm9" role="1zAUyy">
+        <property role="TrG5h" value="node" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4jGoIleP8jH" role="8PkJo">
+      <property role="TrG5h" value="makeGround" />
+      <node concept="1zAUYm" id="4jGoIleP8mq" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+    </node>
+    <node concept="1nLNMY" id="4jGoIlf7dzp" role="1nK1Vg">
+      <property role="TrG5h" value="hasBound_hasTarget" />
+      <node concept="3clFbS" id="4jGoIlf7dzq" role="1nLNMH">
+        <node concept="1nLNNL" id="4jGoIlf7d_9" role="3cqZAp">
+          <node concept="1nLNMm" id="4jGoIlf7d_a" role="1nLNNK">
+            <node concept="3Aq93q" id="4jGoIlf7d_d" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="4jGoIlf7d_e" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlf7d_i" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4jGoIlf7d_h" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="4jGoIlf7dC3" role="3AunhB">
+                      <ref role="a7OzE" node="4jGoIlf7d_r" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4jGoIlf7dAn" role="3AunhB">
+                      <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4jGoIlf7d_q" role="0Rg$4">
+              <node concept="aZer4" id="4jGoIlf7d_r" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4jGoIlf7d_L" role="3XD1gS">
+                <property role="TrG5h" value="B" />
+              </node>
+              <node concept="32pEOW" id="4jGoIlf7d_B" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4jGoIlf7dCx" role="3xSepv">
+              <node concept="3Aq9E8" id="4jGoIlf7dCy" role="3xSepj">
+                <node concept="3I6sU6" id="4jGoIlf7dCz" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4jGoIlf7dCT" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4jGoIlf7dCS" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="4jGoIlf7dD9" role="3AunhB">
+                        <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
                       </node>
-                      <node concept="a7P8L" id="6N2bvv_e2J9" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2CJ" resolve="Trg" />
+                      <node concept="a7P8L" id="4jGoIlf7dD1" role="3AunhB">
+                        <ref role="a7OzE" node="4jGoIlf7d_r" resolve="S" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq93q" id="6N2bvv_e2QH" role="1nLNMb">
-                <property role="3ArMco" value="true" />
-                <node concept="3I6sU6" id="6N2bvv_e2QI" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2_0" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2$Z" role="3I6s78">
-                      <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                      <node concept="a7P8L" id="6N2bvv_e2Gn" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2$x" resolve="TVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e2Hj" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e2E_" resolve="Bnd" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_e2$w" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_e2$x" role="3XD1gS">
-                  <property role="TrG5h" value="TVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e2E_" role="3XD1gS">
-                  <property role="TrG5h" value="Bnd" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e2CJ" role="3XD1gS">
-                  <property role="TrG5h" value="Trg" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG4" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdila" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e2TC" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e2TD" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e2W0" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e2VZ" role="3I6s78">
-                        <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
-                        <node concept="a7P8L" id="6N2bvv_e2WV" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e2CJ" resolve="Trg" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e2Xs" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e2E_" resolve="Bnd" />
-                        </node>
-                      </node>
+            </node>
+            <node concept="3Aq9_M" id="4jGoIlf7dCD" role="1nLNMa">
+              <node concept="3I6sU6" id="4jGoIlf7dCE" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlf7dCI" role="3I6sU7">
+                  <node concept="2aLmEc" id="4jGoIlf7dCH" role="3I6s78">
+                    <node concept="a7P8L" id="4jGoIlf7dCL" role="2aLmnP">
+                      <ref role="a7OzE" node="4jGoIlf7d_L" resolve="B" />
                     </node>
                   </node>
                 </node>
@@ -32726,86 +32795,100 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8ruq" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_e2Zg" role="8Wnug">
-        <property role="TrG5h" value="lowerTarget_lub" />
-        <node concept="3clFbS" id="6N2bvv_e2Zh" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_e35x" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e35y" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e360" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e361" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e39F" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e39E" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e3b4" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
+    <node concept="1nLNMY" id="541xd$PE_DX" role="1nK1Vg">
+      <property role="TrG5h" value="hasTarget_make_lub" />
+      <node concept="3clFbS" id="541xd$PE_DY" role="1nLNMH">
+        <node concept="1nLNNL" id="541xd$PE_F5" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PE_F7" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PE_Fb" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PE_Fc" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PE_Fg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PE_Ff" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PE_FA" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PE_FZ" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="541xd$PE_G6" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PE_G7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PE_Gh" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PE_Gg" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PE_Gr" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PE_Gy" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="541xd$PE_Fn" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PE_Fo" role="3XD1gS">
+                <property role="TrG5h" value="TVar" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_FG" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_FN" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="541xd$PE_GK" role="3XD1gS">
+                <property role="TrG5h" value="Lub" />
+              </node>
+              <node concept="32pEOW" id="541xd$PE_Fv" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="541xd$PE_GE" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PE_GF" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PE_GG" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PE_GU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PE_GT" role="3I6s78">
+                      <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                      <node concept="a7P8L" id="541xd$PEA3k" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_GK" resolve="Lub" />
                       </node>
-                      <node concept="a7P8L" id="6N2bvv_e3b_" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e38i" resolve="S" />
+                      <node concept="a7P8L" id="541xd$PEA3D" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PEA3x" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="541xd$PEA3U" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PEA3S" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PEA45" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_Fo" resolve="TVar" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PEA4f" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PE_GK" resolve="Lub" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq93q" id="6N2bvv_e3c4" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e3c5" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e3cE" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e3cD" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e3d_" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e3e6" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_e38K" resolve="T" />
-                      </node>
+            </node>
+            <node concept="3Aq9_M" id="541xd$PFnH2" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PFnH3" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PFnJw" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PFnJv" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFnLW" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PE_FG" resolve="S" />
                     </node>
                   </node>
                 </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_e36X" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_e36Y" role="3XD1gS">
-                  <property role="TrG5h" value="TVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e38i" role="3XD1gS">
-                  <property role="TrG5h" value="S" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e38K" role="3XD1gS">
-                  <property role="TrG5h" value="T" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_e3fW" role="3XD1gS">
-                  <property role="TrG5h" value="Lub" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG5" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdilb" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e3ft" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e3fu" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e3hj" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e3hi" role="3I6s78">
-                        <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
-                        <node concept="a7P8L" id="6N2bvv_e3ie" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e3fW" resolve="Lub" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3ja" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e38i" resolve="S" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3jH" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e38K" resolve="T" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3I6s7M" id="6N2bvv_e3km" role="3I6sU7">
-                      <node concept="3Aqt3T" id="6N2bvv_e3kk" role="3I6s78">
-                        <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                        <node concept="a7P8L" id="6N2bvv_e3lm" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e36Y" resolve="TVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e3lR" role="3AunhB">
-                          <ref role="a7OzE" node="6N2bvv_e3fW" resolve="Lub" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="541xd$PFnQV" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PFnQT" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFnVZ" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PE_FN" resolve="T" />
                     </node>
                   </node>
                 </node>
@@ -32853,8 +32936,176 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="541xd$PEA4m" role="1nK1Vg">
+      <property role="TrG5h" value="resolve_hasTarget" />
+      <node concept="3clFbS" id="541xd$PEA4n" role="1nLNMH">
+        <node concept="1nLNNL" id="541xd$PEA60" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PEA62" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PEA66" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="541xd$PEA67" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PEA6b" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PEA6a" role="3I6s78">
+                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <node concept="a7P8L" id="541xd$PEA6Y" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="541xd$PEA76" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PEA77" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PEA7h" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PEA7g" role="3I6s78">
+                    <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                    <node concept="a7P8L" id="541xd$PEA7t" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                    <node concept="a7P8L" id="541xd$PEA7B" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PEA6_" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="541xd$PEA6f" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PEA6g" role="3XD1gS">
+                <property role="TrG5h" value="Cap" />
+              </node>
+              <node concept="aZer4" id="541xd$PEA6u" role="3XD1gS">
+                <property role="TrG5h" value="TVar" />
+              </node>
+              <node concept="aZer4" id="541xd$PEA6_" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="541xd$PEA6n" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="541xd$PEA7J" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PEA7K" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PEA7L" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PEA8P" role="3I6sU7">
+                    <node concept="3A8Hvi" id="541xd$PEA8V" role="3I6s78">
+                      <node concept="a7P8L" id="541xd$PEA9e" role="3A8w4Q">
+                        <ref role="a7OzE" node="541xd$PEA6_" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="541xd$PFo3g" role="3A8wtg">
+                        <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="541xd$PFoOf" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PFoOg" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PFoQH" role="3I6sU7">
+                  <node concept="2aLmEc" id="541xd$PFoQG" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PFoT9" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PEA6u" resolve="TVar" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="31ObkDYPFP$" role="1nK1Vg">
+      <property role="TrG5h" value="resolveVar_ignore" />
+      <node concept="3clFbS" id="31ObkDYPFP_" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYPFPA" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYPFPB" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYPFPC" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYPFPD" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYPFPE" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYPFPF" role="3I6s78">
+                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <node concept="a7P8L" id="31ObkDYPFPG" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYPFPI" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYPFPH" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYPFPI" role="3XD1gS">
+                <property role="TrG5h" value="Var" />
+              </node>
+              <node concept="aZer4" id="31ObkDYPFPJ" role="3XD1gS">
+                <property role="TrG5h" value="Bnd" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYPFPK" role="3vLBG7" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="31ObkDYZPmf" role="1nK1Vg">
+      <property role="TrG5h" value="resolve_inferenceVar" />
+      <node concept="3clFbS" id="31ObkDYZPmg" role="1nLNMH">
+        <node concept="1nLNNL" id="31ObkDYZPow" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYZPox" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYZPo$" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYZPo_" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYZPoD" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYZPoC" role="3I6s78">
+                    <ref role="3AqCNq" node="31ObkDYZPm0" resolve="resolveInferenceVar" />
+                    <node concept="a7P8L" id="31ObkDYZPpk" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPoI" resolve="Node" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="31ObkDYZPqX" role="1nLNMb">
+              <node concept="3I6sU6" id="31ObkDYZPqY" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYZPr9" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYZPr8" role="3I6s78">
+                    <ref role="3AqCNq" node="31ObkDYZPlP" resolve="inferenceVar" />
+                    <node concept="a7P8L" id="31ObkDYZPrp" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPoI" resolve="Node" />
+                    </node>
+                    <node concept="a7P8L" id="31ObkDYZPrh" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYZPq2" resolve="Var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="31ObkDYZPoH" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYZPoI" role="3XD1gS">
+                <property role="TrG5h" value="Node" />
+              </node>
+              <node concept="3Tqbb2" id="31ObkDYZPoU" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="31ObkDYZPq1" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYZPq2" role="3XD1gS">
+                <property role="TrG5h" value="Var" />
+              </node>
+              <node concept="32pEOW" id="31ObkDYZPqh" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="31ObkDYZPrG" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYZPrH" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYZPrI" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYZPrN" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYZPrM" role="3I6s78">
+                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                      <node concept="a7P8L" id="31ObkDYZPrS" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYZPq2" resolve="Var" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="6yxoGiojiiQ" role="1nK1Vg">
-      <property role="TrG5h" value="resolveVar_hasBound" />
+      <property role="TrG5h" value="makeGroundVar_hasBound" />
       <node concept="3clFbS" id="6yxoGiojiiR" role="1nLNMH">
         <node concept="1nLNNL" id="6yxoGiojiiS" role="3cqZAp">
           <node concept="1nLNMm" id="6yxoGiojiiT" role="1nLNNK">
@@ -32862,7 +33113,7 @@
               <node concept="3I6sU6" id="6yxoGiojiiV" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6yxoGiojiiW" role="3I6sU7">
                   <node concept="3Aqt3T" id="6yxoGiojiiX" role="3I6s78">
-                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <ref role="3AqCNq" node="4jGoIleP8jH" resolve="makeGround" />
                     <node concept="a7P8L" id="6yxoGiojiiY" role="3AunhB">
                       <ref role="a7OzE" node="6yxoGiojij6" resolve="Var" />
                     </node>
@@ -32926,7 +33177,7 @@
       </node>
     </node>
     <node concept="1nLNMY" id="4$mmEcR8qXF" role="1nK1Vg">
-      <property role="TrG5h" value="resolveVar_noBound" />
+      <property role="TrG5h" value="makeGroundVar_noBound" />
       <node concept="3clFbS" id="4$mmEcR8qXG" role="1nLNMH">
         <node concept="1nLNNL" id="4$mmEcR8qXH" role="3cqZAp">
           <node concept="1nLNMm" id="4$mmEcR8qXI" role="1nLNNK">
@@ -32934,7 +33185,7 @@
               <node concept="3I6sU6" id="4$mmEcR8qXK" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4$mmEcR8qXL" role="3I6sU7">
                   <node concept="3Aqt3T" id="4$mmEcR8qXM" role="3I6s78">
-                    <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                    <ref role="3AqCNq" node="4jGoIleP8jH" resolve="makeGround" />
                     <node concept="a7P8L" id="4$mmEcR8qXN" role="3AunhB">
                       <ref role="a7OzE" node="4$mmEcR8qXV" resolve="Var" />
                     </node>
@@ -32979,126 +33230,13 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="4$mmEcR8ro2" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="6N2bvv_5W96" role="8Wnug">
-        <property role="TrG5h" value="resolve_default" />
-        <node concept="3clFbS" id="6N2bvv_5W97" role="1nLNMH">
-          <node concept="1nLNNL" id="6N2bvv_5Wc$" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_5WcA" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_5Wko" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_5Wkp" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_5WkY" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_5WkX" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
-                      <node concept="a7P8L" id="6N2bvv_5WlT" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="6N2bvv_5Wd5" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_5Wd6" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_5WeX" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_5WeW" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_9b_6" resolve="hasUpperTarget" />
-                      <node concept="a7P8L" id="6N2bvv_5WfS" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_5WiY" role="3AunhB">
-                        <ref role="a7OzE" node="6N2bvv_5WhE" resolve="Tgr" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="6N2bvv_5We2" role="0Rg$4">
-                <node concept="aZer4" id="6N2bvv_5We3" role="3XD1gS">
-                  <property role="TrG5h" value="TypeVar" />
-                </node>
-                <node concept="aZer4" id="6N2bvv_5WhE" role="3XD1gS">
-                  <property role="TrG5h" value="Tgr" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG6" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdilc" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_5Wjt" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_5Wju" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_5Wok" role="3I6sU7">
-                      <node concept="3A8Hvi" id="6N2bvv_5Woh" role="3I6s78">
-                        <node concept="a7P8L" id="6N2bvv_5WoO" role="3A8wtg">
-                          <ref role="a7OzE" node="6N2bvv_5We3" resolve="TypeVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_5Wpi" role="3A8w4Q">
-                          <ref role="a7OzE" node="6N2bvv_5WhE" resolve="Tgr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbH" id="6N2bvv_e2mV" role="3cqZAp" />
-          <node concept="1nLNNL" id="6N2bvv_e2lr" role="3cqZAp">
-            <node concept="1nLNMm" id="6N2bvv_e2ls" role="1nLNNK">
-              <node concept="3Aq93q" id="6N2bvv_e2lt" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e2lu" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2lv" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2lw" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
-                      <node concept="a7P8L" id="6N2bvv_e2pP" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="6N2bvv_e2ly" role="1nLNMb">
-                <node concept="3I6sU6" id="6N2bvv_e2lz" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_e2l$" role="3I6sU7">
-                    <node concept="3Aqt3T" id="6N2bvv_e2l_" role="3I6s78">
-                      <ref role="3AqCNq" node="6N2bvv_crdr" resolve="hasLowerTarget" />
-                      <node concept="a7P8L" id="6N2bvv_e2qj" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_e2qn" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSHBQM" resolve="Tgr" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="5TXeSYSHBQK" role="0Rg$4">
-                <node concept="aZer4" id="5TXeSYSHBQL" role="3XD1gS">
-                  <property role="TrG5h" value="TypeVar" />
-                </node>
-                <node concept="aZer4" id="5TXeSYSHBQM" role="3XD1gS">
-                  <property role="TrG5h" value="Tgr" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNG7" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdild" role="3xSepv">
-                <node concept="3Aq9E8" id="6N2bvv_e2lG" role="3xSepj">
-                  <node concept="3I6sU6" id="6N2bvv_e2lH" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="6N2bvv_e2lI" role="3I6sU7">
-                      <node concept="3A8Hvi" id="6N2bvv_e2lJ" role="3I6s78">
-                        <node concept="a7P8L" id="6N2bvv_e2qr" role="3A8wtg">
-                          <ref role="a7OzE" node="5TXeSYSHBQL" resolve="TypeVar" />
-                        </node>
-                        <node concept="a7P8L" id="6N2bvv_e2pn" role="3A8w4Q">
-                          <ref role="a7OzE" node="5TXeSYSHBQM" resolve="Tgr" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
+    <node concept="3AqmO8" id="541xd$PEyQU" role="8PkJo">
+      <property role="TrG5h" value="hasTarget" />
+      <node concept="1zAUYm" id="541xd$PEyR8" role="1zAUyy">
+        <property role="TrG5h" value="var" />
+      </node>
+      <node concept="1zAUYm" id="541xd$PEyRa" role="1zAUyy">
+        <property role="TrG5h" value="target" />
       </node>
     </node>
   </node>
@@ -40651,26 +40789,6 @@
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
-            <node concept="3xSepi" id="4s_lMmHtd5S" role="3xSepv">
-              <node concept="3Aq9E8" id="4s_lMmHtd5T" role="3xSepj">
-                <node concept="3I6sU6" id="4s_lMmHtd5U" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4s_lMmHtd5Z" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4s_lMmHtd5Y" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4s_lMmHtd6s" role="3AunhB">
-                        <ref role="a7OzE" node="ONSj15S32l" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4s_lMmHtd6d" role="3AunhB">
-                        <ref role="a7OzE" node="ONSj15S3ye" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4s_lMmHtd7V" role="3AunhB">
-                        <ref role="a7OzE" node="4s_lMmHjTK8" resolve="Options" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
             <node concept="3Aq9_M" id="4s_lMmHtd91" role="1nLNMa">
               <node concept="3I6sU6" id="4s_lMmHtd92" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4s_lMmHtd96" role="3I6sU7">
@@ -43815,7 +43933,27 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="3hZrJU5dcU5" role="3cqZAp" />
+        <node concept="3cpWs8" id="541xd$PFyQD" role="3cqZAp">
+          <node concept="3cpWsn" id="541xd$PFyQE" role="3cpWs9">
+            <property role="TrG5h" value="tvds" />
+            <node concept="2I9FWS" id="541xd$PFyQC" role="1tU5fm">
+              <ref role="2I9WkF" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
+            </node>
+            <node concept="2OqwBi" id="541xd$PFyQF" role="33vP2m">
+              <node concept="2OqwBi" id="541xd$PFyQG" role="2Oq$k0">
+                <node concept="3hN9Ij" id="541xd$PFyQH" role="2Oq$k0">
+                  <ref role="3hLkJx" node="3hZrJU5cZZN" resolve="imc" />
+                </node>
+                <node concept="3TrEf2" id="541xd$PFyQI" role="2OqNvi">
+                  <ref role="3Tt5mk" to="tpee:fz7wK6H" resolve="baseMethodDeclaration" />
+                </node>
+              </node>
+              <node concept="3Tsc0h" id="541xd$PFyQJ" role="2OqNvi">
+                <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3X$Joe" id="3hZrJU5dbGm" role="3cqZAp">
           <node concept="aZer4" id="3hZrJU5cUaI" role="3XD1gS">
             <property role="TrG5h" value="RetT" />
@@ -43845,6 +43983,15 @@
           <node concept="aZer4" id="3hZrJU5o0WA" role="3XD1gS">
             <property role="TrG5h" value="VarargT" />
           </node>
+          <node concept="aZer4" id="541xd$PFz8m" role="3XD1gS">
+            <property role="TrG5h" value="TypeVars" />
+            <node concept="2OqwBi" id="541xd$PFzsi" role="3gj$pD">
+              <node concept="37vLTw" id="541xd$PFzpv" role="2Oq$k0">
+                <ref role="3cqZAo" node="541xd$PFyQE" resolve="tvds" />
+              </node>
+              <node concept="34oBXx" id="541xd$PFADi" role="2OqNvi" />
+            </node>
+          </node>
         </node>
         <node concept="3clFbH" id="3hZrJU5d1y3" role="3cqZAp" />
         <node concept="3Aqczg" id="4boCUQu4TTm" role="3cqZAp">
@@ -43870,6 +44017,14 @@
                   </node>
                 </node>
               </node>
+              <node concept="nsMwS" id="541xd$PFAFL" role="ns1xD">
+                <ref role="nsMwP" node="ZJPHcupkiC" resolve="typeParams" />
+                <node concept="1nq8_$" id="541xd$PFAKK" role="nsMwV">
+                  <node concept="a7P8L" id="541xd$PFAKJ" role="1nq8_t">
+                    <ref role="a7OzE" node="541xd$PFz8m" resolve="TypeVars" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -44312,6 +44467,44 @@
           </node>
         </node>
         <node concept="3clFbH" id="3hZrJU5nskn" role="3cqZAp" />
+        <node concept="1Dw8fO" id="541xd$PFBg5" role="3cqZAp">
+          <node concept="3clFbS" id="541xd$PFBg7" role="2LFqv$">
+            <node concept="3Aqczg" id="541xd$PFDyG" role="3cqZAp">
+              <node concept="3Aqt3T" id="541xd$PFDyE" role="3Aqpz8">
+                <ref role="3AqCNq" node="6N2bvv_5W0X" resolve="resolveVar" />
+                <node concept="a7P8L" id="541xd$PFDB$" role="3AunhB">
+                  <ref role="a7OzE" node="541xd$PFz8m" resolve="TypeVars" />
+                  <node concept="37vLTw" id="541xd$PFDGu" role="3gCZO6">
+                    <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="541xd$PFBg8" role="1Duv9x">
+            <property role="TrG5h" value="i" />
+            <node concept="10Oyi0" id="541xd$PFBmB" role="1tU5fm" />
+            <node concept="3cmrfG" id="541xd$PFBtW" role="33vP2m">
+              <property role="3cmrfH" value="0" />
+            </node>
+          </node>
+          <node concept="3eOVzh" id="541xd$PFBKN" role="1Dwp0S">
+            <node concept="2OqwBi" id="541xd$PFBN$" role="3uHU7w">
+              <node concept="37vLTw" id="541xd$PFBNm" role="2Oq$k0">
+                <ref role="3cqZAo" node="541xd$PFyQE" resolve="tvds" />
+              </node>
+              <node concept="34oBXx" id="541xd$PFDtu" role="2OqNvi" />
+            </node>
+            <node concept="37vLTw" id="541xd$PFBwp" role="3uHU7B">
+              <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+            </node>
+          </node>
+          <node concept="3uNrnE" id="541xd$PFDwa" role="1Dwrff">
+            <node concept="37vLTw" id="541xd$PFDwc" role="2$L3a6">
+              <ref role="3cqZAo" node="541xd$PFBg8" resolve="i" />
+            </node>
+          </node>
+        </node>
         <node concept="3Aqczg" id="4xoHD1GsA$P" role="3cqZAp">
           <node concept="3Aqt3T" id="4xoHD1GsA$Q" role="3Aqpz8">
             <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
@@ -44825,6 +45018,7 @@
   <node concept="AVZre" id="4X6HjrRCHM3">
     <property role="3GE5qa" value="rule.type" />
     <property role="TrG5h" value="TypeBound" />
+    <ref role="2YbDB9" node="39eNUjleTBt" resolve="Capture" />
     <node concept="1nLNMY" id="3QM3N5GU2Ps" role="1nK1Vg">
       <property role="TrG5h" value="boundOf_lazy" />
       <node concept="3clFbS" id="3QM3N5GU2Pt" role="1nLNMH">
@@ -53155,6 +53349,73 @@
   <node concept="312cEu" id="4O7HczOeKN2">
     <property role="3GE5qa" value="util" />
     <property role="TrG5h" value="ConvertsContext" />
+    <node concept="2tJIrI" id="4jGoIlfsXCV" role="jymVt" />
+    <node concept="Wx3nA" id="4jGoIlft31V" role="jymVt">
+      <property role="TrG5h" value="FLAG_INFERENCE" />
+      <node concept="10Oyi0" id="4jGoIlfsYVJ" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfsYoJ" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfsZIT" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfsZJd" role="3uHU7w">
+          <property role="3cmrfH" value="0" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfsZ1I" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft3H8" role="jymVt">
+      <property role="TrG5h" value="FLAG_NARROWING" />
+      <node concept="10Oyi0" id="4jGoIlfsZQf" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfsZQe" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfsZQg" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfsZQh" role="3uHU7w">
+          <property role="3cmrfH" value="1" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfsZQi" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft4iz" role="jymVt">
+      <property role="TrG5h" value="FLAG_UNCHECKED" />
+      <node concept="10Oyi0" id="4jGoIlft0$p" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlft0$o" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlft0$q" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlft0$r" role="3uHU7w">
+          <property role="3cmrfH" value="2" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlft0$s" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlft4XK" role="jymVt">
+      <property role="TrG5h" value="FLAG_BOXING" />
+      <node concept="10Oyi0" id="4jGoIlft1ay" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlft1ax" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlft1az" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlft1a$" role="3uHU7w">
+          <property role="3cmrfH" value="3" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlft1a_" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4jGoIlfwXVL" role="jymVt">
+      <property role="TrG5h" value="FLAG_DELAY_RESOLVE" />
+      <node concept="10Oyi0" id="4jGoIlfwXVM" role="1tU5fm" />
+      <node concept="3Tm6S6" id="4jGoIlfwXVN" role="1B3o_S" />
+      <node concept="1GRDU$" id="4jGoIlfwXVO" role="33vP2m">
+        <node concept="3cmrfG" id="4jGoIlfwXVP" role="3uHU7w">
+          <property role="3cmrfH" value="4" />
+        </node>
+        <node concept="3cmrfG" id="4jGoIlfwXVQ" role="3uHU7B">
+          <property role="3cmrfH" value="1" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4jGoIlfsXO4" role="jymVt" />
     <node concept="312cEg" id="4O7HczOeOKr" role="jymVt">
       <property role="TrG5h" value="opts" />
       <property role="3TUv4t" value="true" />
@@ -53172,15 +53433,19 @@
     <node concept="3clFb_" id="3vTJNooZC29" role="jymVt">
       <property role="TrG5h" value="checkOnly" />
       <node concept="3clFbS" id="3vTJNooZC2c" role="3clF47">
-        <node concept="3clFbF" id="3vTJNooZC4z" role="3cqZAp">
-          <node concept="37vLTI" id="3vTJNooZCFI" role="3clFbG">
-            <node concept="3clFbT" id="3vTJNooZCLk" role="37vLTx" />
-            <node concept="2OqwBi" id="3vTJNooZCa_" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOeWbL" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlftKoq" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlftPFu" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlftPFw" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlftPFx" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="3vTJNooZCj0" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              <node concept="2OwXpG" id="4jGoIlftPFy" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlftTtY" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlftTtZ" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
               </node>
             </node>
           </node>
@@ -53197,17 +53462,17 @@
     <node concept="3clFb_" id="3vTJNooZCTc" role="jymVt">
       <property role="TrG5h" value="infer" />
       <node concept="3clFbS" id="3vTJNooZCTd" role="3clF47">
-        <node concept="3clFbF" id="3vTJNooZCTe" role="3cqZAp">
-          <node concept="37vLTI" id="3vTJNooZCTf" role="3clFbG">
-            <node concept="3clFbT" id="3vTJNooZCTg" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlftWcm" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlftZKL" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfu031" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
             </node>
-            <node concept="2OqwBi" id="3vTJNooZCTh" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOeWKx" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlftXfc" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlftWck" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="3vTJNooZCTj" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              <node concept="2OwXpG" id="4jGoIlftXT2" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53224,17 +53489,17 @@
     <node concept="3clFb_" id="4O7HczOifwt" role="jymVt">
       <property role="TrG5h" value="allowNarrowing" />
       <node concept="3clFbS" id="4O7HczOifwu" role="3clF47">
-        <node concept="3clFbF" id="4O7HczOifwv" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOifww" role="3clFbG">
-            <node concept="3clFbT" id="4O7HczOifwx" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfu1GW" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfu4DR" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfu5Dk" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
             </node>
-            <node concept="2OqwBi" id="4O7HczOifwy" role="37vLTJ">
-              <node concept="37vLTw" id="4O7HczOifwz" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfu2ft" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu1GU" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="4O7HczOigEa" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu3jC" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53251,15 +53516,19 @@
     <node concept="3clFb_" id="oCcpswT3UR" role="jymVt">
       <property role="TrG5h" value="forbidNarrowing" />
       <node concept="3clFbS" id="oCcpswT3US" role="3clF47">
-        <node concept="3clFbF" id="oCcpswT3UT" role="3cqZAp">
-          <node concept="37vLTI" id="oCcpswT3UU" role="3clFbG">
-            <node concept="3clFbT" id="oCcpswT3UV" role="37vLTx" />
-            <node concept="2OqwBi" id="oCcpswT3UW" role="37vLTJ">
-              <node concept="37vLTw" id="oCcpswT3UX" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfu7aQ" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfu7aR" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfu7aS" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu7aT" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="oCcpswT3UY" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu7aU" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfu7aV" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfu8di" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
               </node>
             </node>
           </node>
@@ -53276,17 +53545,17 @@
     <node concept="3clFb_" id="6GOqnFk9iSP" role="jymVt">
       <property role="TrG5h" value="allowUnchecked" />
       <node concept="3clFbS" id="6GOqnFk9iSQ" role="3clF47">
-        <node concept="3clFbF" id="6GOqnFk9iSR" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9iSS" role="3clFbG">
-            <node concept="3clFbT" id="6GOqnFk9iST" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfu98P" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfu98Q" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfuahO" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
             </node>
-            <node concept="2OqwBi" id="6GOqnFk9iSU" role="37vLTJ">
-              <node concept="37vLTw" id="6GOqnFk9iSV" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfu98R" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfu98S" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="6GOqnFk9jwf" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfu98T" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53303,15 +53572,19 @@
     <node concept="3clFb_" id="6GOqnFk9lVa" role="jymVt">
       <property role="TrG5h" value="forbidUnchecked" />
       <node concept="3clFbS" id="6GOqnFk9lVb" role="3clF47">
-        <node concept="3clFbF" id="6GOqnFk9lVc" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9lVd" role="3clFbG">
-            <node concept="3clFbT" id="6GOqnFk9lVe" role="37vLTx" />
-            <node concept="2OqwBi" id="6GOqnFk9lVf" role="37vLTJ">
-              <node concept="37vLTw" id="6GOqnFk9lVg" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfuaYw" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfuaYx" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfuaYy" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfuaYz" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="6GOqnFk9lVh" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfuaY$" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfuaY_" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfuc7O" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
               </node>
             </node>
           </node>
@@ -53332,17 +53605,17 @@
       </node>
       <node concept="3Tm1VV" id="1j7WR6S8b5i" role="1B3o_S" />
       <node concept="3clFbS" id="1j7WR6S8b5j" role="3clF47">
-        <node concept="3clFbF" id="1j7WR6S8ccU" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8cYD" role="3clFbG">
-            <node concept="3clFbT" id="1j7WR6S8d49" role="37vLTx">
-              <property role="3clFbU" value="true" />
+        <node concept="3clFbF" id="4jGoIlfudy7" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfudy8" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfueF$" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
             </node>
-            <node concept="2OqwBi" id="1j7WR6S8cp0" role="37vLTJ">
-              <node concept="37vLTw" id="1j7WR6S8ccT" role="2Oq$k0">
+            <node concept="2OqwBi" id="4jGoIlfudy9" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfudya" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="1j7WR6S8cD0" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfudyb" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -53359,15 +53632,19 @@
       </node>
       <node concept="3Tm1VV" id="1j7WR6S8dB4" role="1B3o_S" />
       <node concept="3clFbS" id="1j7WR6S8dB5" role="3clF47">
-        <node concept="3clFbF" id="1j7WR6S8dB6" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8dB7" role="3clFbG">
-            <node concept="3clFbT" id="1j7WR6S8dB8" role="37vLTx" />
-            <node concept="2OqwBi" id="1j7WR6S8dB9" role="37vLTJ">
-              <node concept="37vLTw" id="1j7WR6S8dBa" role="2Oq$k0">
+        <node concept="3clFbF" id="4jGoIlfuhxF" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfuhxG" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfuhxH" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfuhxI" role="2Oq$k0">
                 <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
               </node>
-              <node concept="2OwXpG" id="1j7WR6S8dBb" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
+              <node concept="2OwXpG" id="4jGoIlfuhxJ" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfuhxK" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfuiFt" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
               </node>
             </node>
           </node>
@@ -53377,8 +53654,63 @@
         </node>
       </node>
     </node>
+    <node concept="3clFb_" id="4jGoIlfwZqt" role="jymVt">
+      <property role="TrG5h" value="delayResolve" />
+      <node concept="3uibUv" id="4jGoIlfwZqu" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfwZqv" role="1B3o_S" />
+      <node concept="3clFbS" id="4jGoIlfwZqw" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfwZqx" role="3cqZAp">
+          <node concept="3vZ8r8" id="4jGoIlfwZqy" role="3clFbG">
+            <node concept="37vLTw" id="4jGoIlfx2Ww" role="37vLTx">
+              <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+            </node>
+            <node concept="2OqwBi" id="4jGoIlfwZq$" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfwZq_" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="4jGoIlfwZqA" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4jGoIlfwZqB" role="3cqZAp">
+          <node concept="Xjq3P" id="4jGoIlfwZqC" role="3clFbG" />
+        </node>
+      </node>
+    </node>
+    <node concept="3clFb_" id="4jGoIlfwZqg" role="jymVt">
+      <property role="TrG5h" value="eagerResolve" />
+      <node concept="3uibUv" id="4jGoIlfwZqh" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfwZqi" role="1B3o_S" />
+      <node concept="3clFbS" id="4jGoIlfwZqj" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfwZqk" role="3cqZAp">
+          <node concept="3vZ8ra" id="4jGoIlfwZql" role="3clFbG">
+            <node concept="2OqwBi" id="4jGoIlfwZqm" role="37vLTJ">
+              <node concept="37vLTw" id="4jGoIlfwZqn" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="4jGoIlfwZqo" role="2OqNvi">
+                <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+              </node>
+            </node>
+            <node concept="1H0AT2" id="4jGoIlfwZqp" role="37vLTx">
+              <node concept="37vLTw" id="4jGoIlfx5n7" role="1H0ATZ">
+                <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4jGoIlfwZqr" role="3cqZAp">
+          <node concept="Xjq3P" id="4jGoIlfwZqs" role="3clFbG" />
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="1j7WR6S8dB1" role="jymVt" />
-    <node concept="2tJIrI" id="4O7HczOeVNs" role="jymVt" />
     <node concept="2tJIrI" id="4O7HczOeVJA" role="jymVt" />
     <node concept="2YIFZL" id="4O7HczOeR2N" role="jymVt">
       <property role="TrG5h" value="getNew" />
@@ -53397,140 +53729,6 @@
       </node>
     </node>
     <node concept="2tJIrI" id="4O7HczOeSMP" role="jymVt" />
-    <node concept="2YIFZL" id="4O7HczOimLc" role="jymVt">
-      <property role="TrG5h" value="getCopy" />
-      <node concept="3clFbS" id="4O7HczOimLg" role="3clF47">
-        <node concept="3cpWs8" id="4O7HczOimLh" role="3cqZAp">
-          <node concept="3cpWsn" id="4O7HczOimLi" role="3cpWs9">
-            <property role="TrG5h" value="copied" />
-            <node concept="3uibUv" id="4O7HczOimLj" role="1tU5fm">
-              <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
-            </node>
-            <node concept="2ShNRf" id="4O7HczOimLk" role="33vP2m">
-              <node concept="1pGfFk" id="4O7HczOimLl" role="2ShVmc">
-                <ref role="37wK5l" node="4O7HczOeQCb" resolve="ConvertsContext" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOimLm" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOimLn" role="3clFbG">
-            <node concept="2OqwBi" id="4O7HczOimLo" role="37vLTx">
-              <node concept="37vLTw" id="4O7HczOimUC" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="4O7HczOimLq" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4O7HczOimLr" role="37vLTJ">
-              <node concept="2OqwBi" id="4O7HczOimLs" role="2Oq$k0">
-                <node concept="37vLTw" id="4O7HczOimLt" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="4O7HczOimLu" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="4O7HczOimLv" role="2OqNvi">
-                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOin2O" role="3cqZAp">
-          <node concept="37vLTI" id="4O7HczOinO7" role="3clFbG">
-            <node concept="2OqwBi" id="4O7HczOio55" role="37vLTx">
-              <node concept="37vLTw" id="4O7HczOinVV" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="4O7HczOiod8" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="4O7HczOinnD" role="37vLTJ">
-              <node concept="2OqwBi" id="4O7HczOinb5" role="2Oq$k0">
-                <node concept="37vLTw" id="4O7HczOin2M" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="4O7HczOingP" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="4O7HczOinvp" role="2OqNvi">
-                <ref role="2Oxat5" node="4O7HczOigbg" resolve="narrowingAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="6GOqnFk9ht_" role="3cqZAp">
-          <node concept="37vLTI" id="6GOqnFk9ioP" role="3clFbG">
-            <node concept="2OqwBi" id="6GOqnFk9iCX" role="37vLTx">
-              <node concept="37vLTw" id="6GOqnFk9iv$" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="6GOqnFk9iLx" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="6GOqnFk9hP8" role="37vLTJ">
-              <node concept="2OqwBi" id="6GOqnFk9h$0" role="2Oq$k0">
-                <node concept="37vLTw" id="6GOqnFk9htz" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="6GOqnFk9hEB" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="6GOqnFk9hY5" role="2OqNvi">
-                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="1j7WR6S8eG2" role="3cqZAp">
-          <node concept="37vLTI" id="1j7WR6S8eG3" role="3clFbG">
-            <node concept="2OqwBi" id="1j7WR6S8eG4" role="37vLTx">
-              <node concept="37vLTw" id="1j7WR6S8eG5" role="2Oq$k0">
-                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
-              </node>
-              <node concept="2OwXpG" id="1j7WR6S8eZY" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
-              </node>
-            </node>
-            <node concept="2OqwBi" id="1j7WR6S8eG7" role="37vLTJ">
-              <node concept="2OqwBi" id="1j7WR6S8eG8" role="2Oq$k0">
-                <node concept="37vLTw" id="1j7WR6S8eG9" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-                </node>
-                <node concept="2OwXpG" id="1j7WR6S8eGa" role="2OqNvi">
-                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
-                </node>
-              </node>
-              <node concept="2OwXpG" id="1j7WR6S8eSt" role="2OqNvi">
-                <ref role="2Oxat5" node="1j7WR6S88hF" resolve="boxingAllowed" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbF" id="4O7HczOimLw" role="3cqZAp">
-          <node concept="37vLTw" id="4O7HczOimLx" role="3clFbG">
-            <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
-          </node>
-        </node>
-      </node>
-      <node concept="3uibUv" id="4O7HczOimLy" role="3clF45">
-        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
-      </node>
-      <node concept="37vLTG" id="4O7HczOimLe" role="3clF46">
-        <property role="TrG5h" value="opts" />
-        <node concept="3uibUv" id="4O7HczOimLf" role="1tU5fm">
-          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-        </node>
-      </node>
-      <node concept="3Tm1VV" id="4O7HczOimLz" role="1B3o_S" />
-    </node>
-    <node concept="2tJIrI" id="4O7HczOeQPr" role="jymVt" />
     <node concept="3clFb_" id="4O7HczOeOsd" role="jymVt">
       <property role="TrG5h" value="toOptions" />
       <node concept="3clFbS" id="4O7HczOeOsf" role="3clF47">
@@ -53642,26 +53840,31 @@
       <node concept="3clFbS" id="6GOqnFkHsLy" role="3clF47">
         <node concept="3clFbF" id="6GOqnFkHyxO" role="3cqZAp">
           <node concept="2OqwBi" id="6GOqnFkHyxP" role="3clFbG">
-            <node concept="2OqwBi" id="6GOqnFkHyxQ" role="2Oq$k0">
-              <node concept="2OqwBi" id="6GOqnFkHyxR" role="2Oq$k0">
-                <node concept="2OqwBi" id="6GOqnFkHyxS" role="2Oq$k0">
-                  <node concept="2YIFZM" id="6GOqnFkHyxT" role="2Oq$k0">
-                    <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
-                    <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+            <node concept="2OqwBi" id="4jGoIlfxdFD" role="2Oq$k0">
+              <node concept="2OqwBi" id="6GOqnFkHyxQ" role="2Oq$k0">
+                <node concept="2OqwBi" id="6GOqnFkHyxR" role="2Oq$k0">
+                  <node concept="2OqwBi" id="6GOqnFkHyxS" role="2Oq$k0">
+                    <node concept="2YIFZM" id="6GOqnFkHyxT" role="2Oq$k0">
+                      <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                      <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                    </node>
+                    <node concept="liA8E" id="6GOqnFkHyMT" role="2OqNvi">
+                      <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                    </node>
                   </node>
-                  <node concept="liA8E" id="6GOqnFkHyMT" role="2OqNvi">
-                    <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                  <node concept="liA8E" id="6GOqnFkHyXX" role="2OqNvi">
+                    <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
                   </node>
                 </node>
-                <node concept="liA8E" id="6GOqnFkHyXX" role="2OqNvi">
-                  <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
+                <node concept="liA8E" id="6GOqnFkHyxW" role="2OqNvi">
+                  <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
                 </node>
               </node>
-              <node concept="liA8E" id="6GOqnFkHyxW" role="2OqNvi">
-                <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
+              <node concept="liA8E" id="4jGoIlfxdSH" role="2OqNvi">
+                <ref role="37wK5l" node="4jGoIlfwZqt" resolve="delayResolve" />
               </node>
             </node>
-            <node concept="liA8E" id="6GOqnFkHyxX" role="2OqNvi">
+            <node concept="liA8E" id="4jGoIlfxe1y" role="2OqNvi">
               <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
             </node>
           </node>
@@ -53683,43 +53886,43 @@
     <node concept="312cEu" id="3vTJNooZBhQ" role="jymVt">
       <property role="3GE5qa" value="util" />
       <property role="TrG5h" value="Options" />
-      <node concept="312cEg" id="3vTJNooZBXc" role="jymVt">
-        <property role="TrG5h" value="inferenceAllowed" />
-        <node concept="3Tm6S6" id="3vTJNooZBS_" role="1B3o_S" />
-        <node concept="10P_77" id="3vTJNooZBTo" role="1tU5fm" />
-        <node concept="3clFbT" id="3vTJNooZBY_" role="33vP2m">
-          <property role="3clFbU" value="true" />
-        </node>
-      </node>
-      <node concept="312cEg" id="4O7HczOigbg" role="jymVt">
-        <property role="TrG5h" value="narrowingAllowed" />
-        <node concept="3Tm6S6" id="4O7HczOifZI" role="1B3o_S" />
-        <node concept="10P_77" id="4O7HczOig5v" role="1tU5fm" />
-        <node concept="3clFbT" id="4O7HczOighI" role="33vP2m" />
-      </node>
-      <node concept="312cEg" id="6GOqnFk9f5G" role="jymVt">
-        <property role="TrG5h" value="uncheckedAllowed" />
-        <node concept="3Tm6S6" id="6GOqnFk9e$Y" role="1B3o_S" />
-        <node concept="10P_77" id="6GOqnFk9eGh" role="1tU5fm" />
-        <node concept="3clFbT" id="6GOqnFk9fAz" role="33vP2m">
-          <property role="3clFbU" value="true" />
-        </node>
-      </node>
-      <node concept="312cEg" id="1j7WR6S88hF" role="jymVt">
-        <property role="TrG5h" value="boxingAllowed" />
-        <node concept="3Tm6S6" id="1j7WR6S88hG" role="1B3o_S" />
-        <node concept="10P_77" id="1j7WR6S88q5" role="1tU5fm" />
-        <node concept="3clFbT" id="1j7WR6S88t7" role="33vP2m">
-          <property role="3clFbU" value="true" />
+      <node concept="312cEg" id="4jGoIlft2oH" role="jymVt">
+        <property role="TrG5h" value="flags" />
+        <node concept="3Tm6S6" id="4jGoIlft2oI" role="1B3o_S" />
+        <node concept="10Oyi0" id="4jGoIlft2RY" role="1tU5fm" />
+        <node concept="pVOtf" id="4jGoIlft6W5" role="33vP2m">
+          <node concept="37vLTw" id="4jGoIlft71r" role="3uHU7w">
+            <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
+          </node>
+          <node concept="pVOtf" id="4jGoIlft6s2" role="3uHU7B">
+            <node concept="37vLTw" id="4jGoIlft5Ge" role="3uHU7B">
+              <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+            </node>
+            <node concept="37vLTw" id="4jGoIlft6wr" role="3uHU7w">
+              <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
+            </node>
+          </node>
         </node>
       </node>
       <node concept="2tJIrI" id="6GOqnFk5rB0" role="jymVt" />
       <node concept="3clFb_" id="4O7HczO6zx9" role="jymVt">
         <property role="TrG5h" value="isInfer" />
         <node concept="3clFbS" id="4O7HczO6zxc" role="3clF47">
-          <node concept="3clFbF" id="4O7HczO6$y$" role="3cqZAp">
-            <node concept="37vLTw" id="4O7HczO6$yz" role="3clFbG">
-              <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+          <node concept="3clFbF" id="4jGoIlft7Ct" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftbQi" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftcMR" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftaom" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlft8YV" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlft9z5" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlft7Cs" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53729,10 +53932,20 @@
       <node concept="3clFb_" id="4O7HczO6_ek" role="jymVt">
         <property role="TrG5h" value="isCheckOnly" />
         <node concept="3clFbS" id="4O7HczO6_en" role="3clF47">
-          <node concept="3clFbF" id="4O7HczO6_zJ" role="3cqZAp">
-            <node concept="3fqX7Q" id="4O7HczO6_zH" role="3clFbG">
-              <node concept="37vLTw" id="4O7HczO6__t" role="3fr31v">
-                <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+          <node concept="3clFbF" id="4jGoIlftgW1" role="3cqZAp">
+            <node concept="3clFbC" id="4jGoIlfthPn" role="3clFbG">
+              <node concept="1eOMI4" id="4jGoIlftgW4" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftgW5" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftgWb" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft31V" resolve="FLAG_INFERENCE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftgW6" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3cmrfG" id="4jGoIlftgW3" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
               </node>
             </node>
           </node>
@@ -53743,9 +53956,21 @@
       <node concept="3clFb_" id="4O7HczOigsi" role="jymVt">
         <property role="TrG5h" value="isNarrowing" />
         <node concept="3clFbS" id="4O7HczOigsl" role="3clF47">
-          <node concept="3clFbF" id="4O7HczOigzF" role="3cqZAp">
-            <node concept="37vLTw" id="4O7HczOigzE" role="3clFbG">
-              <ref role="3cqZAo" node="4O7HczOigbg" resolve="narrowingAllowed" />
+          <node concept="3clFbF" id="4jGoIlftkLc" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftkLd" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftkLe" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftkLf" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftkLg" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftm6x" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft3H8" resolve="FLAG_NARROWING" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftkLh" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53755,9 +53980,21 @@
       <node concept="3clFb_" id="6GOqnFk9dzV" role="jymVt">
         <property role="TrG5h" value="isUncheckedAllowed" />
         <node concept="3clFbS" id="6GOqnFk9dzY" role="3clF47">
-          <node concept="3clFbF" id="6GOqnFk9fE8" role="3cqZAp">
-            <node concept="37vLTw" id="6GOqnFk9fE7" role="3clFbG">
-              <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+          <node concept="3clFbF" id="4jGoIlftnQt" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftnQu" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftnQv" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftnQw" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftnQx" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftoub" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft4iz" resolve="FLAG_UNCHECKED" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftnQy" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53769,9 +54006,45 @@
         <node concept="10P_77" id="1j7WR6S89iK" role="3clF45" />
         <node concept="3Tm1VV" id="1j7WR6S8960" role="1B3o_S" />
         <node concept="3clFbS" id="1j7WR6S8961" role="3clF47">
-          <node concept="3clFbF" id="1j7WR6S8aA_" role="3cqZAp">
-            <node concept="37vLTw" id="1j7WR6S8aA$" role="3clFbG">
-              <ref role="3cqZAo" node="1j7WR6S88hF" resolve="boxingAllowed" />
+          <node concept="3clFbF" id="4jGoIlftqiG" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlftqiH" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlftqiI" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlftqiJ" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlftqiK" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlftqRl" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlft4XK" resolve="FLAG_BOXING" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlftqiL" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3clFb_" id="4jGoIlfx6wP" role="jymVt">
+        <property role="TrG5h" value="isResolveDelayed" />
+        <node concept="10P_77" id="4jGoIlfx6wQ" role="3clF45" />
+        <node concept="3Tm1VV" id="4jGoIlfx6wR" role="1B3o_S" />
+        <node concept="3clFbS" id="4jGoIlfx6wS" role="3clF47">
+          <node concept="3clFbF" id="4jGoIlfx6wT" role="3cqZAp">
+            <node concept="3y3z36" id="4jGoIlfx6wU" role="3clFbG">
+              <node concept="3cmrfG" id="4jGoIlfx6wV" role="3uHU7w">
+                <property role="3cmrfH" value="0" />
+              </node>
+              <node concept="1eOMI4" id="4jGoIlfx6wW" role="3uHU7B">
+                <node concept="pVHWs" id="4jGoIlfx6wX" role="1eOMHV">
+                  <node concept="37vLTw" id="4jGoIlfxbsi" role="3uHU7w">
+                    <ref role="3cqZAo" node="4jGoIlfwXVL" resolve="FLAG_DELAY_RESOLVE" />
+                  </node>
+                  <node concept="37vLTw" id="4jGoIlfx6wZ" role="3uHU7B">
+                    <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
@@ -53784,40 +54057,6 @@
       </node>
       <node concept="3Tm1VV" id="3vTJNooZBhR" role="1B3o_S" />
       <node concept="2tJIrI" id="4O7HczOiw0i" role="jymVt" />
-      <node concept="3clFb_" id="4O7HczOiwHi" role="jymVt">
-        <property role="TrG5h" value="values" />
-        <node concept="3clFbS" id="4O7HczOiwHl" role="3clF47">
-          <node concept="3cpWs6" id="4O7HczOiygS" role="3cqZAp">
-            <node concept="2ShNRf" id="4O7HczOiyq3" role="3cqZAk">
-              <node concept="Tc6Ow" id="4O7HczOiz8P" role="2ShVmc">
-                <node concept="3uibUv" id="4O7HczOi$ck" role="HW$YZ">
-                  <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-                </node>
-                <node concept="37vLTw" id="4O7HczOi_4e" role="HW$Y0">
-                  <ref role="3cqZAo" node="3vTJNooZBXc" resolve="inferenceAllowed" />
-                </node>
-                <node concept="37vLTw" id="4O7HczOkGg9" role="HW$Y0">
-                  <ref role="3cqZAo" node="4O7HczOigbg" resolve="narrowingAllowed" />
-                </node>
-                <node concept="37vLTw" id="6GOqnFk9gYp" role="HW$Y0">
-                  <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
-                </node>
-                <node concept="37vLTw" id="1j7WR6S88DC" role="HW$Y0">
-                  <ref role="3cqZAo" node="1j7WR6S88hF" resolve="boxingAllowed" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3Tm6S6" id="4O7HczOiwmr" role="1B3o_S" />
-        <node concept="3uibUv" id="4O7HczOkyIv" role="3clF45">
-          <ref role="3uigEE" to="33ny:~List" resolve="List" />
-          <node concept="3uibUv" id="4O7HczOkDiG" role="11_B2D">
-            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-          </node>
-        </node>
-      </node>
-      <node concept="2tJIrI" id="4O7HczOiojy" role="jymVt" />
       <node concept="3clFb_" id="4O7HczOioxX" role="jymVt">
         <property role="TrG5h" value="equals" />
         <node concept="3clFbS" id="4O7HczOioy0" role="3clF47">
@@ -53838,64 +54077,29 @@
               </node>
             </node>
           </node>
-          <node concept="1_o_46" id="4O7HczOiD7m" role="3cqZAp">
-            <node concept="3clFbS" id="4O7HczOiD7p" role="2LFqv$">
-              <node concept="3clFbJ" id="4O7HczOiFcn" role="3cqZAp">
-                <node concept="3fqX7Q" id="4O7HczOiFyD" role="3clFbw">
-                  <node concept="2OqwBi" id="4O7HczOiFyF" role="3fr31v">
-                    <node concept="3M$PaV" id="4O7HczOiFyG" role="2Oq$k0">
-                      <ref role="3M$S_o" node="4O7HczOiD7s" resolve="thisOpt" />
-                    </node>
-                    <node concept="liA8E" id="4O7HczOiFyH" role="2OqNvi">
-                      <ref role="37wK5l" to="wyt6:~Object.equals(java.lang.Object)" resolve="equals" />
-                      <node concept="3M$PaV" id="4O7HczOiFyI" role="37wK5m">
-                        <ref role="3M$S_o" node="4O7HczOiDuZ" resolve="otherOpt" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbS" id="4O7HczOiFcp" role="3clFbx">
-                  <node concept="3cpWs6" id="4O7HczOiFCD" role="3cqZAp">
-                    <node concept="3clFbT" id="4O7HczOiFDG" role="3cqZAk" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="1_o_bx" id="4O7HczOiD7r" role="1_o_by">
-              <node concept="2OqwBi" id="4O7HczOiDoS" role="1_o_bz">
-                <node concept="Xjq3P" id="4O7HczOiD7q" role="2Oq$k0" />
-                <node concept="liA8E" id="4O7HczOiDuV" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
-                </node>
-              </node>
-              <node concept="1_o_bG" id="4O7HczOiD7s" role="1_o_aQ">
-                <property role="TrG5h" value="thisOpt" />
-              </node>
-            </node>
-            <node concept="1_o_bx" id="4O7HczOiDuY" role="1_o_by">
-              <node concept="1_o_bG" id="4O7HczOiDuZ" role="1_o_aQ">
-                <property role="TrG5h" value="otherOpt" />
-              </node>
-              <node concept="2OqwBi" id="4O7HczOiF0H" role="1_o_bz">
-                <node concept="1eOMI4" id="4O7HczOiERS" role="2Oq$k0">
-                  <node concept="10QFUN" id="4O7HczOipSh" role="1eOMHV">
-                    <node concept="3uibUv" id="4O7HczOipUH" role="10QFUM">
+          <node concept="3cpWs6" id="4jGoIlftxwB" role="3cqZAp">
+            <node concept="3clFbC" id="4jGoIlft_TE" role="3cqZAk">
+              <node concept="2OqwBi" id="4jGoIlftDP2" role="3uHU7w">
+                <node concept="1eOMI4" id="4jGoIlftB6M" role="2Oq$k0">
+                  <node concept="10QFUN" id="4jGoIlftB6J" role="1eOMHV">
+                    <node concept="3uibUv" id="4jGoIlftBHD" role="10QFUM">
                       <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
                     </node>
-                    <node concept="37vLTw" id="4O7HczOipHN" role="10QFUP">
+                    <node concept="37vLTw" id="4jGoIlftCo9" role="10QFUP">
                       <ref role="3cqZAo" node="4O7HczOioCQ" resolve="other" />
                     </node>
                   </node>
                 </node>
-                <node concept="liA8E" id="4O7HczOiF8J" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
+                <node concept="2OwXpG" id="4jGoIlftEpa" role="2OqNvi">
+                  <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
+                </node>
+              </node>
+              <node concept="2OqwBi" id="4jGoIlftztP" role="3uHU7B">
+                <node concept="Xjq3P" id="4jGoIlftyGX" role="2Oq$k0" />
+                <node concept="2OwXpG" id="4jGoIlft$IZ" role="2OqNvi">
+                  <ref role="2Oxat5" node="4jGoIlft2oH" resolve="flags" />
                 </node>
               </node>
-            </node>
-          </node>
-          <node concept="3cpWs6" id="4O7HczOiG1u" role="3cqZAp">
-            <node concept="3clFbT" id="4O7HczOiGoe" role="3cqZAk">
-              <property role="3clFbU" value="true" />
             </node>
           </node>
         </node>
@@ -53916,15 +54120,11 @@
         <property role="TrG5h" value="hashCode" />
         <node concept="3clFbS" id="4O7HczOiH04" role="3clF47">
           <node concept="3cpWs6" id="4O7HczOiHqw" role="3cqZAp">
-            <node concept="2OqwBi" id="4O7HczOiObO" role="3cqZAk">
-              <node concept="2OqwBi" id="4O7HczOiHRl" role="2Oq$k0">
-                <node concept="Xjq3P" id="4O7HczOiHBw" role="2Oq$k0" />
-                <node concept="liA8E" id="4O7HczOiI3_" role="2OqNvi">
-                  <ref role="37wK5l" node="4O7HczOiwHi" resolve="values" />
-                </node>
-              </node>
-              <node concept="liA8E" id="4O7HczOiOtf" role="2OqNvi">
-                <ref role="37wK5l" to="33ny:~List.hashCode()" resolve="hashCode" />
+            <node concept="2YIFZM" id="4jGoIlftuch" role="3cqZAk">
+              <ref role="37wK5l" to="33ny:~Objects.hashCode(java.lang.Object)" resolve="hashCode" />
+              <ref role="1Pybhc" to="33ny:~Objects" resolve="Objects" />
+              <node concept="37vLTw" id="4jGoIlftvQw" role="37wK5m">
+                <ref role="3cqZAo" node="4jGoIlft2oH" resolve="flags" />
               </node>
             </node>
           </node>
@@ -54415,7 +54615,7 @@
                   <node concept="3I6s7M" id="5o9$c3zGerC" role="3I6sU7">
                     <node concept="3Aqt3T" id="5o9$c3zGerD" role="3I6s78">
                       <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zGe_$" role="3AunhB">
+                      <node concept="a7P8L" id="31ObkDZaXV6" role="3AunhB">
                         <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
                       </node>
                       <node concept="a7P8L" id="5o9$c3zGeHn" role="3AunhB">
@@ -54458,118 +54658,247 @@
     <node concept="1nLNMY" id="5o9$c3zLTFv" role="1nK1Vg">
       <property role="TrG5h" value="converts_ground_to_freeBounded" />
       <node concept="3clFbS" id="5o9$c3zLTFw" role="1nLNMH">
-        <node concept="1nLNNL" id="5o9$c3zLTGh" role="3cqZAp">
-          <node concept="1nLNMm" id="5o9$c3zLTGi" role="1nLNNK">
-            <node concept="3Aq93q" id="5o9$c3zLTGo" role="1nLNMb">
+        <node concept="1nLNNL" id="541xd$PHa2s" role="3cqZAp">
+          <node concept="1nLNMm" id="541xd$PHa2t" role="1nLNNK">
+            <node concept="3Aq93q" id="541xd$PHa2u" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="5o9$c3zLTGp" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGq" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zLTGr" role="3I6s78">
+              <node concept="3I6sU6" id="541xd$PHa2v" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PHa2w" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PHa2x" role="3I6s78">
                     <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
-                    <node concept="a7P8L" id="5o9$c3zLTGs" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                    <node concept="a7P8L" id="541xd$PHa2y" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                     </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGt" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    <node concept="a7P8L" id="541xd$PHa2z" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="4O7HczO3zN_" role="3AunhB">
-                      <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                    <node concept="a7P8L" id="541xd$PHa2$" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="5o9$c3zLTGu" role="1nLNMb">
-              <node concept="3I6sU6" id="5o9$c3zLTGv" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGw" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zLTGx" role="3I6s78">
+            <node concept="3Aq93q" id="541xd$PHa2_" role="1nLNMb">
+              <node concept="3I6sU6" id="541xd$PHa2A" role="3Ip0Jz">
+                <node concept="3I6s7M" id="541xd$PHa2B" role="3I6sU7">
+                  <node concept="3Aqt3T" id="541xd$PHa2C" role="3I6s78">
                     <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                    <node concept="a7P8L" id="5o9$c3zLTGy" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    <node concept="a7P8L" id="541xd$PHa2D" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGz" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                    <node concept="a7P8L" id="541xd$PHa2E" role="3AunhB">
+                      <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq9_M" id="5o9$c3zLTG$" role="1nLNMa">
-              <node concept="3I6sU6" id="5o9$c3zLTG_" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zLTGA" role="3I6sU7">
-                  <node concept="2aLmEc" id="5o9$c3zLTGB" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zLTGC" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+            <node concept="3Aq9_M" id="541xd$PHa2F" role="1nLNMa">
+              <node concept="3I6sU6" id="541xd$PHa2G" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4jGoIlfxepF" role="3I6sU7">
+                  <node concept="3wWvb2" id="4jGoIlfxepE" role="3I6s78">
+                    <node concept="2OqwBi" id="4jGoIlfxevz" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4jGoIlfxepS" role="2Oq$k0">
+                        <node concept="a7P8L" id="4jGoIlfxepR" role="1FtiSR">
+                          <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jGoIlfxeFX" role="2OqNvi">
+                        <ref role="37wK5l" node="4jGoIlfx6wP" resolve="isResolveDelayed" />
+                      </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="5o9$c3zLTGD" role="3I6sU7">
-                  <node concept="2aM9Np" id="5o9$c3zLTGE" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zLTGF" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                <node concept="3I6s7M" id="541xd$PHa2H" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PHa2I" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2J" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="554EtBHPv2i" role="3I6sU7">
-                  <node concept="2aM9Np" id="554EtBHPv2g" role="3I6s78">
-                    <node concept="a7P8L" id="554EtBHPv2r" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                <node concept="3I6s7M" id="541xd$PHa2K" role="3I6sU7">
+                  <node concept="2aLmEc" id="541xd$PHa2L" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2M" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="541xd$PHa2N" role="3I6sU7">
+                  <node concept="2aM9Np" id="541xd$PHa2O" role="3I6s78">
+                    <node concept="a7P8L" id="541xd$PHa2P" role="2aLmnP">
+                      <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="5o9$c3zLTGk" role="0Rg$4">
-              <node concept="aZer4" id="5o9$c3zLTGl" role="3XD1gS">
+            <node concept="3NuqgR" id="541xd$PHa2Q" role="0Rg$4">
+              <node concept="aZer4" id="541xd$PHa2R" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="5o9$c3zLTGm" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa2S" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="aZer4" id="5o9$c3zLTGn" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa2T" role="3XD1gS">
                 <property role="TrG5h" value="TBound" />
               </node>
-              <node concept="32pEOW" id="24ciDNzxNCF" role="3vLBG7" />
+              <node concept="32pEOW" id="541xd$PHa2U" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4k_WMo" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4k_WMp" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4k_WMq" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zLTGI" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zLTGJ" role="3I6s78">
+            <node concept="3xSepi" id="541xd$PHa2V" role="3xSepv">
+              <node concept="3Aq9E8" id="541xd$PHa2W" role="3xSepj">
+                <node concept="3I6sU6" id="541xd$PHa2X" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="541xd$PHa2Y" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PHa2Z" role="3I6s78">
                       <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zLTGK" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                      <node concept="a7P8L" id="541xd$PHa30" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="5o9$c3zLTGL" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                      <node concept="a7P8L" id="541xd$PHa31" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2T" resolve="TBound" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczO3zNA" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PHa32" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa39" resolve="Options" />
                       </node>
                     </node>
                   </node>
-                  <node concept="3I6s7M" id="2Cji6EQSQOs" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3r$" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3r_" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                  <node concept="3I6s7M" id="541xd$PHa33" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PHa34" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PHa35" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2S" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3rA" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczOd3rB" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNz" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PHa36" role="3AunhB">
+                        <ref role="a7OzE" node="541xd$PHa2R" resolve="S" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4O7HczO3zNx" role="0Rg$4">
-              <node concept="3uibUv" id="4O7HczO3zNy" role="3vLBG7">
+            <node concept="3NuqgR" id="541xd$PHa37" role="0Rg$4">
+              <node concept="3uibUv" id="541xd$PHa38" role="3vLBG7">
                 <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
               </node>
-              <node concept="aZer4" id="4O7HczO3zNz" role="3XD1gS">
+              <node concept="aZer4" id="541xd$PHa39" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="75Mu1NeWpY7" role="3cqZAp" />
+        <node concept="1nLNNL" id="75Mu1NeWpNR" role="3cqZAp">
+          <node concept="1nLNMm" id="75Mu1NeWpNS" role="1nLNNK">
+            <node concept="3Aq93q" id="75Mu1NeWpNT" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="75Mu1NeWpNU" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpNV" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWpNW" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="75Mu1NeWpNX" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpNY" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpNZ" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="75Mu1NeWpO0" role="1nLNMb">
+              <node concept="3I6sU6" id="75Mu1NeWpO1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpO2" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWpO3" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="75Mu1NeWpO4" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWpO5" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="75Mu1NeWpO6" role="1nLNMa">
+              <node concept="3I6sU6" id="75Mu1NeWpO7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWpO8" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWpO9" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOa" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWpOb" role="3I6sU7">
+                  <node concept="2aLmEc" id="75Mu1NeWpOc" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOd" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWpOe" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWpOf" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWpOg" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWpOh" role="0Rg$4">
+              <node concept="aZer4" id="75Mu1NeWpOi" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpOj" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpOk" role="3XD1gS">
+                <property role="TrG5h" value="TBound" />
+              </node>
+              <node concept="32pEOW" id="75Mu1NeWpOl" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="75Mu1NeWpOm" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeWpOn" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeWpOo" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeWpOp" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWpOq" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="75Mu1NeWpOr" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOs" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOk" resolve="TBound" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOt" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="75Mu1NeWpOu" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWpOv" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeWpOw" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOj" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWpOx" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpOi" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWq5y" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWpO$" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWpOy" role="0Rg$4">
+              <node concept="3uibUv" id="75Mu1NeWpOz" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWpO$" role="3XD1gS">
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
@@ -54580,79 +54909,79 @@
     <node concept="1nLNMY" id="4yZzE4kz59h" role="1nK1Vg">
       <property role="TrG5h" value="converts_free_to_ground" />
       <node concept="3clFbS" id="4yZzE4kz59i" role="1nLNMH">
-        <node concept="1nLNNL" id="4yZzE4kz59j" role="3cqZAp">
-          <node concept="1nLNMm" id="4yZzE4kz59k" role="1nLNNK">
-            <node concept="3Aq93q" id="4yZzE4kz59l" role="1nLNMb">
+        <node concept="1nLNNL" id="31ObkDYr9sP" role="3cqZAp">
+          <node concept="1nLNMm" id="31ObkDYr9sQ" role="1nLNNK">
+            <node concept="3Aq93q" id="31ObkDYr9sR" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="4yZzE4kz59m" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz59n" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4yZzE4kz59o" role="3I6s78">
+              <node concept="3I6sU6" id="31ObkDYr9sS" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYr9sT" role="3I6sU7">
+                  <node concept="3Aqt3T" id="31ObkDYr9sU" role="3I6s78">
                     <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
-                    <node concept="a7P8L" id="4yZzE4kz59p" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                    <node concept="a7P8L" id="31ObkDYr9sV" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                     </node>
-                    <node concept="a7P8L" id="4yZzE4kz59q" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                    <node concept="a7P8L" id="31ObkDYr9sW" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                     </node>
-                    <node concept="a7P8L" id="4O7HczO3zNI" role="3AunhB">
-                      <ref role="a7OzE" node="4O7HczO3zNG" resolve="Options" />
+                    <node concept="a7P8L" id="31ObkDYr9sX" role="3AunhB">
+                      <ref role="a7OzE" node="31ObkDYr9tk" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq9_M" id="4yZzE4kz59x" role="1nLNMa">
-              <node concept="3I6sU6" id="4yZzE4kz59y" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz59z" role="3I6sU7">
-                  <node concept="2aLmEc" id="4yZzE4kz59$" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz59_" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+            <node concept="3Aq9_M" id="31ObkDYr9sY" role="1nLNMa">
+              <node concept="3I6sU6" id="31ObkDYr9sZ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="31ObkDYr9t0" role="3I6sU7">
+                  <node concept="2aLmEc" id="31ObkDYr9t1" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYr9t2" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="4yZzE4kz59A" role="3I6sU7">
-                  <node concept="2aM9Np" id="4yZzE4kz59B" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz59C" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                <node concept="3I6s7M" id="31ObkDYr9t3" role="3I6sU7">
+                  <node concept="2aM9Np" id="31ObkDYr9t4" role="3I6s78">
+                    <node concept="a7P8L" id="31ObkDYr9t5" role="2aLmnP">
+                      <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4yZzE4kz59D" role="0Rg$4">
-              <node concept="aZer4" id="4yZzE4kz59E" role="3XD1gS">
+            <node concept="3NuqgR" id="31ObkDYr9t6" role="0Rg$4">
+              <node concept="aZer4" id="31ObkDYr9t7" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="4yZzE4kz59F" role="3XD1gS">
+              <node concept="aZer4" id="31ObkDYr9t8" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="32pEOW" id="4yZzE4kz59H" role="3vLBG7" />
+              <node concept="32pEOW" id="31ObkDYr9t9" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4kz59I" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4kz59J" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4kz59K" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4yZzE4kz59P" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3yg" role="3I6s78">
+            <node concept="3xSepi" id="31ObkDYr9ta" role="3xSepv">
+              <node concept="3Aq9E8" id="31ObkDYr9tb" role="3xSepj">
+                <node concept="3I6sU6" id="31ObkDYr9tc" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="31ObkDYr9td" role="3I6sU7">
+                    <node concept="3Aqt3T" id="31ObkDYr9te" role="3I6s78">
                       <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3yh" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                      <node concept="a7P8L" id="31ObkDYr9tf" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9t7" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3yi" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                      <node concept="a7P8L" id="31ObkDYr9tg" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9t8" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3yj" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNG" resolve="Options" />
+                      <node concept="a7P8L" id="31ObkDYr9th" role="3AunhB">
+                        <ref role="a7OzE" node="31ObkDYr9tk" resolve="Options" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="4O7HczO3zNE" role="0Rg$4">
-              <node concept="3uibUv" id="4O7HczO3zNF" role="3vLBG7">
+            <node concept="3NuqgR" id="31ObkDYr9ti" role="0Rg$4">
+              <node concept="3uibUv" id="31ObkDYr9tj" role="3vLBG7">
                 <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
               </node>
-              <node concept="aZer4" id="4O7HczO3zNG" role="3XD1gS">
+              <node concept="aZer4" id="31ObkDYr9tk" role="3XD1gS">
                 <property role="TrG5h" value="Options" />
               </node>
             </node>
@@ -54686,10 +55015,17 @@
             </node>
             <node concept="3Aq9_M" id="4yZzE4kz5a9" role="1nLNMa">
               <node concept="3I6sU6" id="4yZzE4kz5aa" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz5ab" role="3I6sU7">
-                  <node concept="2aLmEc" id="4yZzE4kz5ac" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz5ad" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
+                <node concept="3I6s7M" id="4jGoIlfxqvL" role="3I6sU7">
+                  <node concept="3wWvb2" id="4jGoIlfxqvK" role="3I6s78">
+                    <node concept="2OqwBi" id="4jGoIlfxq_A" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4jGoIlfxqvV" role="2Oq$k0">
+                        <node concept="a7P8L" id="4jGoIlfxqvU" role="1FtiSR">
+                          <ref role="a7OzE" node="4O7HczO3zNO" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4jGoIlfxqID" role="2OqNvi">
+                        <ref role="37wK5l" node="4jGoIlfx6wP" resolve="isResolveDelayed" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -54700,6 +55036,13 @@
                     </node>
                   </node>
                 </node>
+                <node concept="3I6s7M" id="4yZzE4kz5ab" role="3I6sU7">
+                  <node concept="2aLmEc" id="4yZzE4kz5ac" role="3I6s78">
+                    <node concept="a7P8L" id="4yZzE4kz5ad" role="2aLmnP">
+                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
             <node concept="3NuqgR" id="4yZzE4kz5ah" role="0Rg$4">
@@ -54714,17 +55057,14 @@
             <node concept="3xSepi" id="4yZzE4kz5am" role="3xSepv">
               <node concept="3Aq9E8" id="4yZzE4kz5an" role="3xSepj">
                 <node concept="3I6sU6" id="4yZzE4kz5ao" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4yZzE4kz5at" role="3I6sU7">
-                    <node concept="3Aqt3T" id="4O7HczOd3_v" role="3I6s78">
-                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
-                      <node concept="a7P8L" id="4O7HczOd3_w" role="3AunhB">
-                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4O7HczOd3_x" role="3AunhB">
+                  <node concept="3I6s7M" id="541xd$PGpED" role="3I6sU7">
+                    <node concept="3Aqt3T" id="541xd$PGpEE" role="3I6s78">
+                      <ref role="3AqCNq" node="541xd$PEyQU" resolve="hasTarget" />
+                      <node concept="a7P8L" id="541xd$PGpEF" role="3AunhB">
                         <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
                       </node>
-                      <node concept="a7P8L" id="4O7HczOd3_y" role="3AunhB">
-                        <ref role="a7OzE" node="4O7HczO3zNO" resolve="Options" />
+                      <node concept="a7P8L" id="541xd$PGpEG" role="3AunhB">
+                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
                       </node>
                     </node>
                   </node>
@@ -54741,6 +55081,85 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="75Mu1NeWvRA" role="3cqZAp" />
+        <node concept="1nLNNL" id="75Mu1NeWvKL" role="3cqZAp">
+          <node concept="1nLNMm" id="75Mu1NeWvKM" role="1nLNNK">
+            <node concept="3Aq93q" id="75Mu1NeWvKN" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="75Mu1NeWvKO" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWvKP" role="3I6sU7">
+                  <node concept="3Aqt3T" id="75Mu1NeWvKQ" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="75Mu1NeWvKR" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWvKS" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="75Mu1NeWvKT" role="3AunhB">
+                      <ref role="a7OzE" node="75Mu1NeWvLf" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="75Mu1NeWvKU" role="1nLNMa">
+              <node concept="3I6sU6" id="75Mu1NeWvKV" role="3Ip0Jz">
+                <node concept="3I6s7M" id="75Mu1NeWvKW" role="3I6sU7">
+                  <node concept="2aLmEc" id="75Mu1NeWvKX" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWvKY" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="75Mu1NeWvKZ" role="3I6sU7">
+                  <node concept="2aM9Np" id="75Mu1NeWvL0" role="3I6s78">
+                    <node concept="a7P8L" id="75Mu1NeWvL1" role="2aLmnP">
+                      <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWvL2" role="0Rg$4">
+              <node concept="aZer4" id="75Mu1NeWvL3" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWvL4" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="75Mu1NeWvL5" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="75Mu1NeWvL6" role="3xSepv">
+              <node concept="3Aq9E8" id="75Mu1NeWvL7" role="3xSepj">
+                <node concept="3I6sU6" id="75Mu1NeWvL8" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="75Mu1NeWvL9" role="3I6sU7">
+                    <node concept="3Aqt3T" id="75Mu1NeWvLa" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="maybeUni" />
+                      <node concept="a7P8L" id="75Mu1NeWvLb" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvL4" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWvLc" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvL3" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="75Mu1NeWw33" role="3AunhB">
+                        <ref role="a7OzE" node="75Mu1NeWvLf" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="75Mu1NeWvLd" role="0Rg$4">
+              <node concept="3uibUv" id="75Mu1NeWvLe" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="75Mu1NeWvLf" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="1nLNMY" id="12QmIo_7siG" role="1nK1Vg">
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
index b4e708ac..5828f1df 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
@@ -1112,6 +1112,70 @@
         </node>
       </node>
     </node>
+    <node concept="3clFb_" id="4jGoIlfaAZT" role="jymVt">
+      <property role="TrG5h" value="acceptT2" />
+      <node concept="3clFbS" id="4jGoIlfaAZU" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfaCCy" role="3cqZAp">
+          <node concept="10Nm6u" id="4jGoIlfaCCx" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfaAZV" role="1B3o_S" />
+      <node concept="16syzq" id="4jGoIlfaC74" role="3clF45">
+        <ref role="16sUi3" node="4jGoIlfaB02" resolve="TA" />
+      </node>
+      <node concept="37vLTG" id="4jGoIlfaAZX" role="3clF46">
+        <property role="TrG5h" value="block" />
+        <node concept="1ajhzC" id="4jGoIlfaAZY" role="1tU5fm">
+          <node concept="16syzq" id="4jGoIlfaAZZ" role="1ajw0F">
+            <ref role="16sUi3" node="4jGoIlfaB02" resolve="TA" />
+          </node>
+          <node concept="16syzq" id="4jGoIlfaB00" role="1ajl9A">
+            <ref role="16sUi3" node="4jGoIlfaB01" resolve="TR" />
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaB01" role="16eVyc">
+        <property role="TrG5h" value="TR" />
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaB02" role="16eVyc">
+        <property role="TrG5h" value="TA" />
+        <node concept="16syzq" id="4jGoIlfaB03" role="3ztrMU">
+          <ref role="16sUi3" node="4jGoIlfaB01" resolve="TR" />
+        </node>
+      </node>
+    </node>
+    <node concept="3clFb_" id="4jGoIlfaCZP" role="jymVt">
+      <property role="TrG5h" value="acceptT3" />
+      <node concept="3clFbS" id="4jGoIlfaCZQ" role="3clF47">
+        <node concept="3clFbF" id="4jGoIlfaCZR" role="3cqZAp">
+          <node concept="10Nm6u" id="4jGoIlfaCZS" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4jGoIlfaCZT" role="1B3o_S" />
+      <node concept="16syzq" id="4jGoIlfaDsp" role="3clF45">
+        <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+      </node>
+      <node concept="37vLTG" id="4jGoIlfaCZV" role="3clF46">
+        <property role="TrG5h" value="block" />
+        <node concept="1ajhzC" id="4jGoIlfaCZW" role="1tU5fm">
+          <node concept="16syzq" id="4jGoIlfaCZX" role="1ajw0F">
+            <ref role="16sUi3" node="4jGoIlfaD00" resolve="TA" />
+          </node>
+          <node concept="16syzq" id="4jGoIlfaCZY" role="1ajl9A">
+            <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+          </node>
+        </node>
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaCZZ" role="16eVyc">
+        <property role="TrG5h" value="TR" />
+      </node>
+      <node concept="16euLQ" id="4jGoIlfaD00" role="16eVyc">
+        <property role="TrG5h" value="TA" />
+        <node concept="16syzq" id="4jGoIlfaD01" role="3ztrMU">
+          <ref role="16sUi3" node="4jGoIlfaCZZ" resolve="TR" />
+        </node>
+      </node>
+    </node>
     <node concept="3clFb_" id="zb1Nk7afOA" role="jymVt">
       <property role="TrG5h" value="accept2" />
       <node concept="3clFbS" id="zb1Nk7afOB" role="3clF47" />
@@ -1347,6 +1411,92 @@
             </node>
           </node>
         </node>
+        <node concept="3SKdUt" id="4jGoIlfaO$G" role="3cqZAp">
+          <node concept="1PaTwC" id="4jGoIlfaO$H" role="1aUNEU">
+            <node concept="3oM_SD" id="4jGoIlfaPgA" role="1PaTwD">
+              <property role="3oM_SC" value="the" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgC" role="1PaTwD">
+              <property role="3oM_SC" value="following" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgF" role="1PaTwD">
+              <property role="3oM_SC" value="two" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgJ" role="1PaTwD">
+              <property role="3oM_SC" value="test" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgO" role="1PaTwD">
+              <property role="3oM_SC" value="cases" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPgU" role="1PaTwD">
+              <property role="3oM_SC" value="are" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPh1" role="1PaTwD">
+              <property role="3oM_SC" value="actually" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPh9" role="1PaTwD">
+              <property role="3oM_SC" value="correct:" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaPhi" role="1PaTwD">
+              <property role="3oM_SC" value="" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="4jGoIlfaPXA" role="3cqZAp">
+          <node concept="1PaTwC" id="4jGoIlfaPXB" role="1aUNEU">
+            <node concept="3oM_SD" id="4jGoIlfaQvz" role="1PaTwD">
+              <property role="3oM_SC" value="there" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQv_" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvC" role="1PaTwD">
+              <property role="3oM_SC" value="a" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvG" role="1PaTwD">
+              <property role="3oM_SC" value="substitution" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvL" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvR" role="1PaTwD">
+              <property role="3oM_SC" value="vars" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQvY" role="1PaTwD">
+              <property role="3oM_SC" value="TA,TR" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQw6" role="1PaTwD">
+              <property role="3oM_SC" value="that" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQwf" role="1PaTwD">
+              <property role="3oM_SC" value="satisfies" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQwp" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaQw$" role="1PaTwD">
+              <property role="3oM_SC" value="code:" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToI" role="1PaTwD">
+              <property role="3oM_SC" value="[TA" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToJ" role="1PaTwD">
+              <property role="3oM_SC" value="-&gt;" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToK" role="1PaTwD">
+              <property role="3oM_SC" value="A," />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToL" role="1PaTwD">
+              <property role="3oM_SC" value="TR" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToM" role="1PaTwD">
+              <property role="3oM_SC" value="-&gt;" />
+            </node>
+            <node concept="3oM_SD" id="4jGoIlfaToN" role="1PaTwD">
+              <property role="3oM_SC" value="A]" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="4yZzE4kLTBc" role="3cqZAp">
           <node concept="1rXfSq" id="4yZzE4kLTBd" role="3clFbG">
             <ref role="37wK5l" node="zb1Nk79_Ee" resolve="acceptT1" />
@@ -1364,9 +1514,6 @@
                   </node>
                 </node>
               </node>
-              <node concept="1U20sH" id="4yZzE4kLU$7" role="lGtFl">
-                <property role="1U20sK" value="error" />
-              </node>
             </node>
           </node>
         </node>
@@ -1387,12 +1534,120 @@
                   </node>
                 </node>
               </node>
-              <node concept="1U20sH" id="4yZzE4kN3f1" role="lGtFl">
-                <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4jGoIlfaSTW" role="3cqZAp" />
+        <node concept="3cpWs8" id="4jGoIlfaFk5" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaFk6" role="3cpWs9">
+            <property role="TrG5h" value="a1" />
+            <node concept="3uibUv" id="4jGoIlfaFML" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaFk7" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaAZT" resolve="acceptT2" />
+              <node concept="1bVj0M" id="4jGoIlfaFk8" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaFk9" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaFka" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaFkb" role="1bW5cS">
+                  <node concept="3clFbF" id="4jGoIlfaFkc" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaFkd" role="3clFbG">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="4jGoIlfaHJi" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaHJj" role="3cpWs9">
+            <property role="TrG5h" value="a2" />
+            <node concept="3uibUv" id="4jGoIlfaIeb" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaHJk" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaCZP" resolve="acceptT3" />
+              <node concept="1bVj0M" id="4jGoIlfaHJl" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaHJm" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaHJn" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaHJo" role="1bW5cS">
+                  <node concept="3cpWs6" id="4jGoIlfaHJp" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaHJq" role="3cqZAk">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4jGoIlfaL2J" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaL2K" role="3cpWs9">
+            <property role="TrG5h" value="c1" />
+            <node concept="3uibUv" id="4jGoIlfaLJh" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lW" resolve="ClosureLiterals.C" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaL2M" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaAZT" resolve="acceptT2" />
+              <node concept="1bVj0M" id="4jGoIlfaL2N" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaL2O" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaL2P" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaL2Q" role="1bW5cS">
+                  <node concept="3clFbF" id="4jGoIlfaL2R" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaL2S" role="3clFbG">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="4jGoIlfcBVL" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="4jGoIlfaL2_" role="3cqZAp">
+          <node concept="3cpWsn" id="4jGoIlfaL2A" role="3cpWs9">
+            <property role="TrG5h" value="c2" />
+            <node concept="3uibUv" id="4jGoIlfaN9K" role="1tU5fm">
+              <ref role="3uigEE" node="zb1Nk79_lW" resolve="ClosureLiterals.C" />
+            </node>
+            <node concept="1rXfSq" id="4jGoIlfaL2C" role="33vP2m">
+              <ref role="37wK5l" node="4jGoIlfaCZP" resolve="acceptT3" />
+              <node concept="1bVj0M" id="4jGoIlfaL2D" role="37wK5m">
+                <node concept="37vLTG" id="4jGoIlfaL2E" role="1bW2Oz">
+                  <property role="TrG5h" value="smth" />
+                  <node concept="3uibUv" id="4jGoIlfaL2F" role="1tU5fm">
+                    <ref role="3uigEE" node="zb1Nk79_lR" resolve="ClosureLiterals.A" />
+                  </node>
+                </node>
+                <node concept="3clFbS" id="4jGoIlfaL2G" role="1bW5cS">
+                  <node concept="3cpWs6" id="4jGoIlfaL2H" role="3cqZAp">
+                    <node concept="37vLTw" id="4jGoIlfaL2I" role="3cqZAk">
+                      <ref role="3cqZAo" node="zb1Nk79_m7" resolve="c" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="4jGoIlfcCDJ" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbH" id="554EtBHF$an" role="3cqZAp" />
         <node concept="3SKdUt" id="554EtBHFEmt" role="3cqZAp">
           <node concept="1PaTwC" id="554EtBHFEmu" role="1aUNEU">