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 d8b38b4d..50ad65fd 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
@@ -10406,7 +10406,7 @@
     </node>
   </node>
   <node concept="AVZre" id="24Vro6cM_J$">
-    <property role="3GE5qa" value="rule.relation" />
+    <property role="3GE5qa" value="rule.relation.conversion" />
     <property role="TrG5h" value="ConversionMain" />
     <ref role="2YbDB9" node="4X6HjrRCHM3" resolve="TypeBound" />
     <node concept="3AqmO8" id="3Qp4N06bUPu" role="8PkJo">
@@ -10414,9 +10414,11 @@
       <property role="3AqDzJ" value="2" />
       <node concept="1zAUYm" id="5bC6UNlvkxp" role="1zAUyy">
         <property role="TrG5h" value="subType" />
+        <node concept="32pEOW" id="4O7HczO3AQw" role="3gTf24" />
       </node>
       <node concept="1zAUYm" id="5bC6UNlvkxr" role="1zAUyy">
         <property role="TrG5h" value="superType" />
+        <node concept="32pEOW" id="4O7HczO3Bdd" role="3gTf24" />
       </node>
       <node concept="1zAsnw" id="5bC6UNlyGir" role="lGtFl">
         <node concept="3SKdUq" id="2i6cuYQXkN9" role="27qylF">
@@ -10424,6 +10426,68 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="4O7HczO3$AY" role="1nK1Vg">
+      <property role="TrG5h" value="converts_defaultOptions" />
+      <node concept="3clFbS" id="4O7HczO3$AZ" role="1nLNMH">
+        <node concept="1nLNNL" id="4O7HczO3$W2" role="3cqZAp">
+          <node concept="1nLNMm" id="4O7HczO3$W3" role="1nLNNK">
+            <node concept="3Aq93q" id="4O7HczO3$W4" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4O7HczO3$W5" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO3$W6" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4O7HczO3$W7" role="3I6s78">
+                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="a7P8L" id="4O7HczO3_hL" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3$We" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3$Wb" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3$Wg" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3$Wd" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczO3$We" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3$Wg" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="4O7HczO3$Wh" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4O7HczO3$Wl" role="3xSepv">
+              <node concept="3Aq9E8" id="4O7HczO3$Wm" role="3xSepj">
+                <node concept="3I6sU6" id="4O7HczO3$Wn" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4O7HczO3$Ws" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczO3$Wt" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                      <node concept="a7P8L" id="4O7HczO3_lR" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3$We" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO3$Wv" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3$Wg" resolve="T" />
+                      </node>
+                      <node concept="37jhX" id="4O7HczO3_pB" role="3AunhB">
+                        <node concept="2OqwBi" id="4O7HczOf1AH" role="37jj2">
+                          <node concept="2YIFZM" id="4O7HczOf1nf" role="2Oq$k0">
+                            <ref role="37wK5l" node="4O7HczOeR2N" resolve="get" />
+                            <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                          </node>
+                          <node concept="liA8E" id="4O7HczOf1ON" role="2OqNvi">
+                            <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="12QmIo_7sig" role="1nK1Vg">
       <property role="TrG5h" value="converts_void" />
       <node concept="3clFbS" id="12QmIo_7sih" role="1nLNMH">
@@ -10434,7 +10498,7 @@
               <node concept="3I6sU6" id="3ySbbJmuvjA" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3ySbbJmuvjB" role="3I6sU7">
                   <node concept="3Aqt3T" id="3ySbbJmuvjC" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="3ySbbJmuvjD" role="3AunhB">
                       <node concept="ns1u0" id="3ySbbJmuvjE" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt3a" resolve="_void_" />
@@ -10451,6 +10515,9 @@
                         <ref role="ns1xF" node="JOGAOsVt3a" resolve="_void_" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zMp" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMn" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10464,6 +10531,14 @@
               </node>
               <node concept="32pEOW" id="3ySbbJmuvjK" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zMl" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMm" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMn" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
         <node concept="3clFbH" id="3ySbbJmuvr8" role="3cqZAp" />
@@ -10474,7 +10549,7 @@
               <node concept="3I6sU6" id="4nIWweBB$TU" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB$TV" role="3I6sU7">
                   <node concept="3Aqt3T" id="ONSj15PBK2" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq2y" role="3AunhB">
                       <node concept="a7P8L" id="ONSj15PBZ_" role="1uarlU">
                         <ref role="a7OzE" node="ONSj15PAMe" resolve="S" />
@@ -10491,6 +10566,9 @@
                         <ref role="ns1xF" node="4lCLOtwq2MF" resolve="type" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zMx" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMv" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10536,6 +10614,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zMt" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMu" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMv" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
         <node concept="3clFbH" id="3ySbbJmuvbY" role="3cqZAp" />
@@ -10546,7 +10632,7 @@
               <node concept="3I6sU6" id="3ySbbJmuv5r" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3ySbbJmuv5s" role="3I6sU7">
                   <node concept="3Aqt3T" id="3ySbbJmuv5t" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="4yZzE4kGe8H" role="3AunhB">
                       <node concept="a7P8L" id="3ySbbJmuvdY" role="1uarlU">
                         <ref role="a7OzE" node="3ySbbJmuv5z" resolve="S" />
@@ -10563,6 +10649,9 @@
                         <ref role="ns1xF" node="JOGAOsVt3a" resolve="_void_" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zMD" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMB" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10608,6 +10697,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zM_" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMA" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMB" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -10622,7 +10719,7 @@
               <node concept="3I6sU6" id="3ySbbJmuqZr" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3ySbbJmuqZs" role="3I6sU7">
                   <node concept="3Aqt3T" id="3ySbbJmuqZt" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="3ySbbJmuqZu" role="3AunhB">
                       <node concept="ns1u0" id="3ySbbJmuqZv" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2A" resolve="prim" />
@@ -10639,6 +10736,9 @@
                         <ref role="a7OzE" node="3ySbbJmuqZA" resolve="T" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zML" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMJ" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10669,6 +10769,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zMH" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMI" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMJ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -10683,7 +10791,7 @@
               <node concept="3I6sU6" id="2i6cuYQV6tn" role="3Ip0Jz">
                 <node concept="3I6s7M" id="2i6cuYQV6to" role="3I6sU7">
                   <node concept="3Aqt3T" id="2i6cuYQV6tp" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="2i6cuYQV6tq" role="3AunhB">
                       <node concept="ns1u0" id="2i6cuYQV6tr" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt3c" resolve="_null_" />
@@ -10700,6 +10808,9 @@
                         <ref role="ns1xF" node="JOGAOsVt2A" resolve="prim" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zMT" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMR" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10745,6 +10856,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zMP" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMQ" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMR" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -10759,7 +10878,7 @@
               <node concept="3I6sU6" id="7AyqXCdxuXH" role="3Ip0Jz">
                 <node concept="3I6s7M" id="7AyqXCdxuXI" role="3I6sU7">
                   <node concept="3Aqt3T" id="7AyqXCdxuXJ" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="7AyqXCdxuXK" role="3AunhB">
                       <node concept="ns1u0" id="7AyqXCdxuXL" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2A" resolve="prim" />
@@ -10771,6 +10890,9 @@
                     <node concept="a7P8L" id="2i6cuYQXny2" role="3AunhB">
                       <ref role="a7OzE" node="7AyqXCdxuXF" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zN1" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zMZ" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10803,18 +10925,29 @@
                   </node>
                   <node concept="3I6s7M" id="7AyqXCdxuXS" role="3I6sU7">
                     <node concept="3Aqt3T" id="7AyqXCdxuXT" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="7AyqXCdxvnH" role="3AunhB">
                         <ref role="a7OzE" node="7AyqXCdxvne" resolve="BoxS" />
                       </node>
                       <node concept="a7P8L" id="7AyqXCdxuXV" role="3AunhB">
                         <ref role="a7OzE" node="7AyqXCdxuXF" resolve="T" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zN2" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zMZ" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zMX" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zMY" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zMZ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -10829,7 +10962,7 @@
               <node concept="3I6sU6" id="4f50BSB$Bcg" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4f50BSB$Bch" role="3I6sU7">
                   <node concept="3Aqt3T" id="4f50BSB$Bci" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="4f50BSBF8CV" role="3AunhB">
                       <node concept="a7P8L" id="4f50BSB$Buh" role="1uarlU">
                         <ref role="a7OzE" node="4f50BSB$Bco" resolve="S" />
@@ -10846,6 +10979,9 @@
                         <ref role="ns1xF" node="JOGAOsVt2A" resolve="prim" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zNa" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zN8" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -10878,160 +11014,100 @@
                   </node>
                   <node concept="3I6s7M" id="4f50BSB$Bcz" role="3I6sU7">
                     <node concept="3Aqt3T" id="4f50BSB$Bc$" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="4f50BSBFdYc" role="3AunhB">
                         <ref role="a7OzE" node="4f50BSB$Bcp" resolve="BoxS" />
                       </node>
                       <node concept="a7P8L" id="4f50BSBFdYB" role="3AunhB">
                         <ref role="a7OzE" node="4f50BSB$Bcq" resolve="T" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zNb" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zN8" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zN6" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zN7" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zN8" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="5o9$c3zOdDG" role="1nK1Vg">
-      <property role="TrG5h" value="converts_free_to_captureOf_typeVar" />
-      <node concept="3clFbS" id="5o9$c3zOdDH" role="1nLNMH">
-        <node concept="3SKdUt" id="5o9$c3zQwX7" role="3cqZAp">
-          <node concept="1PaTwC" id="5o9$c3zQwX8" role="1aUNEU">
-            <node concept="3oM_SD" id="5o9$c3zQx5X" role="1PaTwD">
-              <property role="3oM_SC" value="infers" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQx1Y" role="1PaTwD">
-              <property role="3oM_SC" value="correct" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQx1Z" role="1PaTwD">
-              <property role="3oM_SC" value="type" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQx20" role="1PaTwD">
-              <property role="3oM_SC" value="for" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQx21" role="1PaTwD">
-              <property role="3oM_SC" value="inference" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQx22" role="1PaTwD">
-              <property role="3oM_SC" value="variable" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="5o9$c3zQxp3" role="3cqZAp" />
-        <node concept="1nLNNL" id="5o9$c3zQtk0" role="3cqZAp">
-          <node concept="1nLNMm" id="5o9$c3zQtk1" role="1nLNNK">
-            <node concept="3Aq93q" id="5o9$c3zQtkk" role="1nLNMb">
+    <node concept="1nLNMY" id="4O7HczO6uBQ" role="1nK1Vg">
+      <property role="TrG5h" value="converts_free" />
+      <node concept="3clFbS" id="4O7HczO6uBR" role="1nLNMH">
+        <node concept="1nLNNL" id="4O7HczO6vKm" role="3cqZAp">
+          <node concept="1nLNMm" id="4O7HczO6vKn" role="1nLNNK">
+            <node concept="3Aq93q" id="4O7HczO6vKo" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="5o9$c3zQtkl" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zQtkm" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zQtkn" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="5o9$c3zQtko" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
+              <node concept="3I6sU6" id="4O7HczO6vKp" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO6vKq" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4O7HczO6vKr" role="3I6s78">
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                    <node concept="a7P8L" id="4O7HczO6vKt" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6vK$" resolve="S" />
                     </node>
-                    <node concept="1HFMs5" id="5o9$c3zQtkp" role="3AunhB">
-                      <node concept="a7P8L" id="5o9$c3zQtkq" role="1uarlU">
-                        <ref role="a7OzE" node="5o9$c3zQtkf" resolve="T" />
-                      </node>
-                      <node concept="ns1u0" id="5o9$c3zQtkr" role="1uarlW">
-                        <ref role="ns1xF" node="JOGAOsVt2j" resolve="captureOf" />
-                        <node concept="nsMwS" id="5o9$c3zQtkv" role="ns1xD">
-                          <ref role="nsMwP" node="JOGAOsVt2n" resolve="lbound" />
-                          <node concept="1nq8_$" id="5o9$c3zQtkw" role="nsMwV">
-                            <node concept="ns1u0" id="5o9$c3zQtkx" role="1nq8_t">
-                              <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
+                    <node concept="a7P8L" id="4O7HczO6vKw" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6vKA" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO6vKy" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6vKQ" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="5o9$c3zQtG0" role="1nLNMb">
-              <node concept="3I6sU6" id="5o9$c3zQtG1" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zQtNT" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zQtNS" role="3I6s78">
-                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                    <node concept="a7P8L" id="5o9$c3zQtRO" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="5o9$c3zQtVH" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9_M" id="5o9$c3zQtky" role="1nLNMa">
-              <node concept="3I6sU6" id="5o9$c3zQtkz" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zQtk$" role="3I6sU7">
-                  <node concept="2aLmEc" id="5o9$c3zQtk_" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zQtkA" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="554EtBHPv2D" role="3I6sU7">
-                  <node concept="2aM9Np" id="554EtBHPv2B" role="3I6s78">
-                    <node concept="a7P8L" id="554EtBHPv2J" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="5o9$c3zQtkd" role="0Rg$4">
-              <node concept="aZer4" id="5o9$c3zQtke" role="3XD1gS">
+            <node concept="3NuqgR" id="4O7HczO6vKz" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczO6vK$" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="5o9$c3zQtkf" role="3XD1gS">
+              <node concept="aZer4" id="4O7HczO6vKA" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="aZer4" id="5o9$c3zQtkg" role="3XD1gS">
-                <property role="TrG5h" value="Inferred" />
-              </node>
-              <node concept="aZer4" id="5o9$c3zQtkh" role="3XD1gS">
-                <property role="TrG5h" value="SBound" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNCD" role="3vLBG7" />
+              <node concept="32pEOW" id="4O7HczO6vKB" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4k_Upu" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4k_Upv" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4k_Upw" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zQtk4" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zQtk5" role="3I6s78">
-                      <ref role="3AqCNq" node="5o9$c3zOyVe" resolve="inferFromCapture" />
-                      <node concept="a7P8L" id="5o9$c3zQtk6" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
+            <node concept="3xSepi" id="4O7HczO6vKC" role="3xSepv">
+              <node concept="3Aq9E8" id="4O7HczO6vKD" role="3xSepj">
+                <node concept="3I6sU6" id="4O7HczO6vKE" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4O7HczO6vKJ" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczO6vKK" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                      <node concept="a7P8L" id="4O7HczO6wn4" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO6vK$" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="5o9$c3zQtk7" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zQtkf" resolve="T" />
+                      <node concept="a7P8L" id="4O7HczO6vKM" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO6vKA" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO6AST" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO6vKQ" resolve="Options" />
                       </node>
                     </node>
                   </node>
-                  <node concept="3I6s7M" id="5o9$c3zQtk8" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zQtk9" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zQuHe" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
-                      </node>
-                      <node concept="a7P8L" id="5o9$c3zQuLg" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="2Cji6EQWoul" role="3I6sU7">
-                    <node concept="3A8Hvi" id="2Cji6EQWouf" role="3I6s78">
-                      <node concept="a7P8L" id="2Cji6EQWoyl" role="3A8wtg">
-                        <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="2Cji6EQWoAd" role="3A8w4Q">
-                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
-                      </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO6vKO" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO6vKP" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO6vKQ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="4O7HczO8Zpc" role="1nLNMa">
+              <node concept="3I6sU6" id="4O7HczO8Zpd" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO8ZsU" role="3I6sU7">
+                  <node concept="2aLmEc" id="4O7HczO8ZsT" role="3I6s78">
+                    <node concept="a7P8L" id="4O7HczO8ZsX" role="2aLmnP">
+                      <ref role="a7OzE" node="4O7HczO6vK$" resolve="S" />
                     </node>
                   </node>
                 </node>
@@ -11039,502 +11115,71 @@
             </node>
           </node>
         </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="5o9$c3zAtP8" role="1nK1Vg">
-      <property role="TrG5h" value="converts_freeBounded_to_ground" />
-      <node concept="3clFbS" id="5o9$c3zAtP9" role="1nLNMH">
-        <node concept="3SKdUt" id="7Y_snFFPaow" role="3cqZAp">
-          <node concept="1PaTwC" id="7Y_snFFPaox" role="1aUNEU">
-            <node concept="3oM_SD" id="7Y_snFFPaoy" role="1PaTwD">
-              <property role="3oM_SC" value="NB:" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapn" role="1PaTwD">
-              <property role="3oM_SC" value="it's" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapq" role="1PaTwD">
-              <property role="3oM_SC" value="NOT" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapu" role="1PaTwD">
-              <property role="3oM_SC" value="analogous" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapz" role="1PaTwD">
-              <property role="3oM_SC" value="to" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapD" role="1PaTwD">
-              <property role="3oM_SC" value="type" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapK" role="1PaTwD">
-              <property role="3oM_SC" value="variable" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPapS" role="1PaTwD">
-              <property role="3oM_SC" value="bound" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPaq1" role="1PaTwD">
-              <property role="3oM_SC" value="checking," />
-            </node>
-          </node>
-        </node>
-        <node concept="3SKdUt" id="7Y_snFFPar8" role="3cqZAp">
-          <node concept="1PaTwC" id="7Y_snFFPar9" role="1aUNEU">
-            <node concept="3oM_SD" id="7Y_snFFPara" role="1PaTwD">
-              <property role="3oM_SC" value="it's" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPasa" role="1PaTwD">
-              <property role="3oM_SC" value="just" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPasd" role="1PaTwD">
-              <property role="3oM_SC" value="free" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPash" role="1PaTwD">
-              <property role="3oM_SC" value="variable" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPasm" role="1PaTwD">
-              <property role="3oM_SC" value="binding," />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPass" role="1PaTwD">
-              <property role="3oM_SC" value="that's" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPasz" role="1PaTwD">
-              <property role="3oM_SC" value="why" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFQDZ5" role="1PaTwD">
-              <property role="3oM_SC" value="S=T" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFQDZe" role="1PaTwD">
-              <property role="3oM_SC" value="(not" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFQDZo" role="1PaTwD">
-              <property role="3oM_SC" value="S=SBound)" />
-            </node>
-          </node>
-        </node>
-        <node concept="3SKdUt" id="7Y_snFFPatL" role="3cqZAp">
-          <node concept="1PaTwC" id="7Y_snFFPatM" role="1aUNEU">
-            <node concept="3oM_SD" id="7Y_snFFPawr" role="1PaTwD">
-              <property role="3oM_SC" value="and" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFQDZz" role="1PaTwD">
-              <property role="3oM_SC" value="(T&lt;:SBound)" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPav8" role="1PaTwD">
-              <property role="3oM_SC" value="is" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPavd" role="1PaTwD">
-              <property role="3oM_SC" value="checked" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPavj" role="1PaTwD">
-              <property role="3oM_SC" value="instead" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPavq" role="1PaTwD">
-              <property role="3oM_SC" value="of" />
-            </node>
-            <node concept="3oM_SD" id="7Y_snFFPawa" role="1PaTwD">
-              <property role="3oM_SC" value="(SBound&lt;:T)" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="7Y_snFFPawz" role="3cqZAp" />
-        <node concept="1nLNNL" id="5o9$c3zGerb" role="3cqZAp">
-          <node concept="1nLNMm" id="5o9$c3zGerc" role="1nLNNK">
-            <node concept="3Aq93q" id="5o9$c3zGeri" role="1nLNMb">
+        <node concept="3clFbH" id="4O7HczO8Zt4" role="3cqZAp" />
+        <node concept="1nLNNL" id="4O7HczO8Zu3" role="3cqZAp">
+          <node concept="1nLNMm" id="4O7HczO8Zu4" role="1nLNNK">
+            <node concept="3Aq93q" id="4O7HczO8Zu5" role="1nLNMb">
               <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="5o9$c3zGerj" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zGerk" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zGerl" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="5o9$c3zGerm" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
+              <node concept="3I6sU6" id="4O7HczO8Zu6" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO8Zu7" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4O7HczO8Zu8" role="3I6s78">
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                    <node concept="a7P8L" id="4O7HczO8Zu9" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO8Zud" resolve="S" />
                     </node>
-                    <node concept="a7P8L" id="5o9$c3zGern" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                    <node concept="a7P8L" id="4O7HczO8Zua" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO8Zue" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO8Zub" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO8Zuq" resolve="Options" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="5o9$c3zGero" role="1nLNMb">
-              <node concept="3I6sU6" id="5o9$c3zGerp" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zGerq" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5o9$c3zGerr" role="3I6s78">
-                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                    <node concept="a7P8L" id="5o9$c3zGers" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="5o9$c3zGert" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9_M" id="5o9$c3zGeru" role="1nLNMa">
-              <node concept="3I6sU6" id="5o9$c3zGerv" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5o9$c3zGerw" role="3I6sU7">
-                  <node concept="2aLmEc" id="5o9$c3zGerx" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zGery" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="5o9$c3zGerz" role="3I6sU7">
-                  <node concept="2aM9Np" id="5o9$c3zGer$" role="3I6s78">
-                    <node concept="a7P8L" id="5o9$c3zGer_" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="554EtBHPv1S" role="3I6sU7">
-                  <node concept="2aM9Np" id="554EtBHPv1Q" role="3I6s78">
-                    <node concept="a7P8L" id="554EtBHPv21" role="2aLmnP">
-                      <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="5o9$c3zGere" role="0Rg$4">
-              <node concept="aZer4" id="5o9$c3zGerf" role="3XD1gS">
+            <node concept="3NuqgR" id="4O7HczO8Zuc" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczO8Zud" role="3XD1gS">
                 <property role="TrG5h" value="S" />
               </node>
-              <node concept="aZer4" id="5o9$c3zGerg" role="3XD1gS">
+              <node concept="aZer4" id="4O7HczO8Zue" role="3XD1gS">
                 <property role="TrG5h" value="T" />
               </node>
-              <node concept="aZer4" id="5o9$c3zGerh" role="3XD1gS">
-                <property role="TrG5h" value="SBound" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNCE" role="3vLBG7" />
+              <node concept="32pEOW" id="4O7HczO8Zuf" role="3vLBG7" />
             </node>
-            <node concept="3xSepi" id="4yZzE4k_WJg" role="3xSepv">
-              <node concept="3Aq9E8" id="4yZzE4k_WJh" role="3xSepj">
-                <node concept="3I6sU6" id="4yZzE4k_WJi" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zGerC" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zGerD" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zGe_$" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+            <node concept="3xSepi" id="4O7HczO8Zug" role="3xSepv">
+              <node concept="3Aq9E8" id="4O7HczO8Zuh" role="3xSepj">
+                <node concept="3I6sU6" id="4O7HczO8Zui" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4O7HczO8Zuj" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczO8Zuk" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                      <node concept="a7P8L" id="4O7HczO8Zul" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO8Zud" resolve="S" />
                       </node>
-                      <node concept="a7P8L" id="5o9$c3zGeHn" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
+                      <node concept="a7P8L" id="4O7HczO8Zum" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO8Zue" resolve="T" />
                       </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="2Cji6EQSQGj" role="3I6sU7">
-                    <node concept="3A8Hvi" id="2Cji6EQSQGd" role="3I6s78">
-                      <node concept="a7P8L" id="2Cji6EQSQGs" role="3A8wtg">
-                        <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="2Cji6EQSQKk" role="3A8w4Q">
-                        <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                      <node concept="a7P8L" id="4O7HczO8Zun" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO8Zuq" resolve="Options" />
                       </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <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">
-              <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">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="5o9$c3zLTGs" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGt" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
-                    </node>
-                  </node>
-                </node>
+            <node concept="3NuqgR" id="4O7HczO8Zuo" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO8Zup" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO8Zuq" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
               </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">
-                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
-                    <node concept="a7P8L" id="5o9$c3zLTGy" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
-                    </node>
-                    <node concept="a7P8L" id="5o9$c3zLTGz" role="3AunhB">
-                      <ref role="a7OzE" node="5o9$c3zLTGn" 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>
-                  </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>
-                  </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>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="5o9$c3zLTGk" role="0Rg$4">
-              <node concept="aZer4" id="5o9$c3zLTGl" role="3XD1gS">
-                <property role="TrG5h" value="S" />
-              </node>
-              <node concept="aZer4" id="5o9$c3zLTGm" role="3XD1gS">
-                <property role="TrG5h" value="T" />
-              </node>
-              <node concept="aZer4" id="5o9$c3zLTGn" role="3XD1gS">
-                <property role="TrG5h" value="TBound" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNCF" 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">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zLTGK" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5o9$c3zLTGL" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="2Cji6EQSQOs" role="3I6sU7">
-                    <node concept="3A8Hvi" id="2Cji6EQSQOm" role="3I6s78">
-                      <node concept="a7P8L" id="2Cji6EQSQOD" role="3A8wtg">
-                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="2Cji6EQSQWk" role="3A8w4Q">
-                        <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <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">
-              <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">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="4yZzE4kz59p" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="4yZzE4kz59q" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
-                    </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>
-                  </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>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="4yZzE4kz59D" role="0Rg$4">
-              <node concept="aZer4" id="4yZzE4kz59E" role="3XD1gS">
-                <property role="TrG5h" value="S" />
-              </node>
-              <node concept="aZer4" id="4yZzE4kz59F" role="3XD1gS">
-                <property role="TrG5h" value="T" />
-              </node>
-              <node concept="32pEOW" id="4yZzE4kz59H" 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="3A8Hvi" id="4yZzE4kz59Q" role="3I6s78">
-                      <node concept="a7P8L" id="4yZzE4kz59R" role="3A8wtg">
-                        <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4yZzE4kz59S" role="3A8w4Q">
-                        <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="4yZzE4kz59T" role="1nK1Vg">
-      <property role="TrG5h" value="converts_ground_to_free" />
-      <node concept="3clFbS" id="4yZzE4kz59U" role="1nLNMH">
-        <node concept="1nLNNL" id="4yZzE4kz59V" role="3cqZAp">
-          <node concept="1nLNMm" id="4yZzE4kz59W" role="1nLNNK">
-            <node concept="3Aq93q" id="4yZzE4kz59X" role="1nLNMb">
-              <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="4yZzE4kz59Y" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4yZzE4kz59Z" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4yZzE4kz5a0" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="4yZzE4kz5a1" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="4yZzE4kz5a2" role="3AunhB">
-                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </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>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="4yZzE4kz5ae" role="3I6sU7">
-                  <node concept="2aM9Np" id="4yZzE4kz5af" role="3I6s78">
-                    <node concept="a7P8L" id="4yZzE4kz5ag" role="2aLmnP">
-                      <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="4yZzE4kz5ah" role="0Rg$4">
-              <node concept="aZer4" id="4yZzE4kz5ai" role="3XD1gS">
-                <property role="TrG5h" value="S" />
-              </node>
-              <node concept="aZer4" id="4yZzE4kz5aj" role="3XD1gS">
-                <property role="TrG5h" value="T" />
-              </node>
-              <node concept="32pEOW" id="4yZzE4kz5al" role="3vLBG7" />
-            </node>
-            <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="3A8Hvi" id="4yZzE4kz5au" role="3I6s78">
-                      <node concept="a7P8L" id="4yZzE4kz5av" role="3A8wtg">
-                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="4yZzE4kz5aw" role="3A8w4Q">
-                        <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="12QmIo_7siG" role="1nK1Vg">
-      <property role="TrG5h" value="converts_free_to_free" />
-      <node concept="3clFbS" id="12QmIo_7siH" role="1nLNMH">
-        <node concept="1nLNNL" id="12QmIo_7siI" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_7siJ" role="1nLNNK">
-            <node concept="3Aq93q" id="7xE5ZvRZIOd" role="1nLNMb">
-              <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="4nIWweBB_be" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweBB_bf" role="3I6sU7">
-                  <node concept="3Aqt3T" id="7xE5ZvRZK7l" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="5JTOzCQSkGC" role="3AunhB">
-                      <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
-                    </node>
-                    <node concept="a7P8L" id="5JTOzCQSkFN" role="3AunhB">
-                      <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9_M" id="7xE5ZvRZLbl" role="1nLNMa">
-              <node concept="3I6sU6" id="4nIWweBB_bF" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweBB_bG" role="3I6sU7">
-                  <node concept="2aLmEc" id="7xE5ZvRZLd9" role="3I6s78">
-                    <node concept="a7P8L" id="5JTOzCQSkGm" role="2aLmnP">
-                      <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
-                    </node>
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="4nIWweBB_bH" role="3I6sU7">
-                  <node concept="2aLmEc" id="7xE5ZvRZLfW" role="3I6s78">
-                    <node concept="a7P8L" id="5JTOzCQSkFx" role="2aLmnP">
-                      <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="2CsZ2XT9P9" role="0Rg$4">
-              <node concept="aZer4" id="2CsZ2XT9Pa" role="3XD1gS">
-                <property role="TrG5h" value="S" />
-              </node>
-              <node concept="aZer4" id="2CsZ2XT9Pj" role="3XD1gS">
-                <property role="TrG5h" value="T" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNCG" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdiiD" role="3xSepv">
-              <node concept="3Aq9E8" id="6N2bvv_crki" role="3xSepj">
-                <node concept="3I6sU6" id="6N2bvv_crkj" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="6N2bvv_crkO" role="3I6sU7">
-                    <node concept="3A8Hvi" id="6N2bvv_crkL" role="3I6s78">
-                      <node concept="a7P8L" id="6N2bvv_crlk" role="3A8wtg">
-                        <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="6N2bvv_crlM" role="3A8w4Q">
-                        <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
-                      </node>
+            <node concept="3Aq9_M" id="4O7HczO8Zur" role="1nLNMa">
+              <node concept="3I6sU6" id="4O7HczO8Zus" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO8Zut" role="3I6sU7">
+                  <node concept="2aLmEc" id="4O7HczO8Zuu" role="3I6s78">
+                    <node concept="a7P8L" id="4O7HczO8Z_7" role="2aLmnP">
+                      <ref role="a7OzE" node="4O7HczO8Zue" resolve="T" />
                     </node>
                   </node>
                 </node>
@@ -11553,7 +11198,7 @@
               <node concept="3I6sU6" id="5310cdpWlrZ" role="3Ip0Jz">
                 <node concept="3I6s7M" id="5310cdpWls3" role="3I6sU7">
                   <node concept="3Aqt3T" id="5310cdpWls2" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq3x" role="3AunhB">
                       <node concept="ns1u0" id="JOGAOsVtae" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2j" resolve="captureOf" />
@@ -11573,6 +11218,9 @@
                     <node concept="a7P8L" id="5310cdpWlsU" role="3AunhB">
                       <ref role="a7OzE" node="5310cdpWlse" resolve="To" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zO6" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zO4" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11594,18 +11242,29 @@
                 <node concept="3I6sU6" id="5310cdpWlxh" role="3Ip0Jz">
                   <node concept="3I6s7M" id="5310cdpWlxt" role="3I6sU7">
                     <node concept="3Aqt3T" id="5310cdpWlxs" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="5310cdpWlxy" role="3AunhB">
                         <ref role="a7OzE" node="5310cdpWlt2" resolve="UBnd" />
                       </node>
                       <node concept="a7P8L" id="5310cdpWlxE" role="3AunhB">
                         <ref role="a7OzE" node="5310cdpWlse" resolve="To" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zO7" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zO4" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zO2" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zO3" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zO4" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11619,7 +11278,7 @@
               <node concept="3I6sU6" id="5310cdq4Er5" role="3Ip0Jz">
                 <node concept="3I6s7M" id="5310cdq4Er6" role="3I6sU7">
                   <node concept="3Aqt3T" id="5310cdq4Er7" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="5310cdq4Erh" role="3AunhB">
                       <ref role="a7OzE" node="5310cdq4Erl" resolve="From" />
                     </node>
@@ -11639,6 +11298,9 @@
                         <ref role="a7OzE" node="5310cdq4Erj" resolve="Capture" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOf" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOd" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11660,18 +11322,29 @@
                 <node concept="3I6sU6" id="5310cdq4EqZ" role="3Ip0Jz">
                   <node concept="3I6s7M" id="5310cdq4Er0" role="3I6sU7">
                     <node concept="3Aqt3T" id="5310cdq4Er1" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="5310cdq4Er3" role="3AunhB">
                         <ref role="a7OzE" node="5310cdq4Erl" resolve="From" />
                       </node>
                       <node concept="a7P8L" id="5310cdq4Er2" role="3AunhB">
                         <ref role="a7OzE" node="5310cdq4Erk" resolve="LBnd" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zOg" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zOd" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOb" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOc" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOd" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11686,7 +11359,7 @@
               <node concept="3I6sU6" id="4nIWweBB$XE" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB$XF" role="3I6sU7">
                   <node concept="3Aqt3T" id="3yhgKRJRdCn" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq3p" role="3AunhB">
                       <node concept="ns1u0" id="JOGAOsVt9o" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
@@ -11719,6 +11392,9 @@
                         <ref role="a7OzE" node="3yhgKRJRdCb" resolve="T" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOo" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOm" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11738,6 +11414,14 @@
               </node>
               <node concept="2sp9CU" id="2XpyGaMq$Zi" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOk" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOl" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOm" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11751,7 +11435,7 @@
               <node concept="3I6sU6" id="6p5LEuvdJWj" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6p5LEuvdJWk" role="3I6sU7">
                   <node concept="3Aqt3T" id="6p5LEuvdJWl" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="6p5LEuvdJWm" role="3AunhB">
                       <node concept="ns1u0" id="6p5LEuvdJWn" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
@@ -11763,6 +11447,9 @@
                     <node concept="a7P8L" id="6p5LEuvdJWs" role="3AunhB">
                       <ref role="a7OzE" node="6p5LEuvdJWh" resolve="To" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOw" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOu" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11804,13 +11491,16 @@
                   </node>
                   <node concept="3I6s7M" id="6p5LEuvdJWz" role="3I6sU7">
                     <node concept="3Aqt3T" id="6p5LEuvdJW$" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="1sJZ0_oZIyt" role="3AunhB">
                         <ref role="a7OzE" node="1sJZ0_oZIwY" resolve="BndCap" />
                       </node>
                       <node concept="a7P8L" id="6p5LEuvdJWA" role="3AunhB">
                         <ref role="a7OzE" node="6p5LEuvdJWh" resolve="To" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zOx" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zOu" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -11835,6 +11525,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOs" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOt" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOu" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11849,7 +11547,7 @@
               <node concept="3I6sU6" id="4nIWweBB$NB" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB$NC" role="3I6sU7">
                   <node concept="3Aqt3T" id="3yhgKRJ2_XL" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="3yhgKRJ2BbT" role="3AunhB">
                       <ref role="a7OzE" node="3yhgKRJ2_XG" resolve="From" />
                     </node>
@@ -11861,6 +11559,9 @@
                         <ref role="a7OzE" node="3yhgKRJ2_XI" resolve="To" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOD" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOB" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11874,6 +11575,14 @@
               </node>
               <node concept="32pEOW" id="24ciDNzxNCQ" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zO_" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOA" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOB" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11888,7 +11597,7 @@
               <node concept="3I6sU6" id="4nIWweBB$QC" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB$QD" role="3I6sU7">
                   <node concept="3Aqt3T" id="6LlzxkY0yNJ" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="6LlzxkY0yNP" role="3AunhB">
                       <ref role="a7OzE" node="6LlzxkY0yNc" resolve="Any" />
                     </node>
@@ -11908,6 +11617,9 @@
                         <ref role="a7OzE" node="6LlzxkY0yNz" resolve="Object" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOL" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOJ" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11921,6 +11633,14 @@
               </node>
               <node concept="32pEOW" id="24ciDNzxNCR" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOH" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOI" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOJ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11935,7 +11655,7 @@
               <node concept="3I6sU6" id="4nIWweBB$SN" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB$SO" role="3I6sU7">
                   <node concept="3Aqt3T" id="1lUeO1N5xzk" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq2Y" role="3AunhB">
                       <node concept="ns1u0" id="JOGAOsVtad" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt3c" resolve="_null_" />
@@ -11947,6 +11667,9 @@
                     <node concept="a7P8L" id="5yIleC7_JGv" role="3AunhB">
                       <ref role="a7OzE" node="2CsZ2XTcYD" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zOT" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOR" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11960,6 +11683,14 @@
               </node>
               <node concept="32pEOW" id="24ciDNzxNCS" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOP" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOQ" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOR" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -11973,7 +11704,7 @@
               <node concept="3I6sU6" id="3MFPGC50D1Y" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3MFPGC50D1Z" role="3I6sU7">
                   <node concept="3Aqt3T" id="3MFPGC50D20" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="3MFPGC50D21" role="3AunhB">
                       <node concept="a7P8L" id="3MFPGC50D22" role="1uarlU">
                         <ref role="a7OzE" node="3MFPGC50D2f" resolve="T" />
@@ -11998,6 +11729,9 @@
                         </node>
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zP1" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zOZ" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12019,13 +11753,16 @@
                 <node concept="3I6sU6" id="3MFPGC50D2l" role="3Ip0Jz">
                   <node concept="3I6s7M" id="3MFPGC50DX3" role="3I6sU7">
                     <node concept="3Aqt3T" id="3MFPGC50DX2" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="3MFPGC50DZl" role="3AunhB">
                         <ref role="a7OzE" node="3MFPGC50D2f" resolve="T" />
                       </node>
                       <node concept="a7P8L" id="3Z1xyIvOeu1" role="3AunhB">
                         <ref role="a7OzE" node="3MFPGC50D2g" resolve="RuntimeReprType" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zP2" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zOZ" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -12042,6 +11779,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zOX" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zOY" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zOZ" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
         <node concept="3clFbH" id="3MFPGC50F5O" role="3cqZAp" />
@@ -12051,7 +11796,7 @@
               <node concept="3I6sU6" id="3MFPGC50F9S" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3MFPGC50F9T" role="3I6sU7">
                   <node concept="3Aqt3T" id="3MFPGC50F9U" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="3MFPGC50F9Y" role="3AunhB">
                       <node concept="a7P8L" id="3MFPGC50FoC" role="1uarlU">
                         <ref role="a7OzE" node="3MFPGC50Fa6" resolve="T" />
@@ -12076,6 +11821,9 @@
                         <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPa" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zP8" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12097,13 +11845,16 @@
                 <node concept="3I6sU6" id="3MFPGC50Fac" role="3Ip0Jz">
                   <node concept="3I6s7M" id="3MFPGC50Fad" role="3I6sU7">
                     <node concept="3Aqt3T" id="3MFPGC50Fae" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="3Z1xyIvOevY" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIvOeuS" resolve="RuntimeReprType" />
                       </node>
                       <node concept="a7P8L" id="3MFPGC52BAL" role="3AunhB">
                         <ref role="a7OzE" node="3MFPGC50Fa5" resolve="S" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zPb" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zP8" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -12120,6 +11871,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zP6" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zP7" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zP8" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12134,7 +11893,7 @@
               <node concept="3I6sU6" id="5310cdpKqTI" role="3Ip0Jz">
                 <node concept="3I6s7M" id="5310cdpKqTJ" role="3I6sU7">
                   <node concept="3Aqt3T" id="5310cdpKqTK" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq2z" role="3AunhB">
                       <node concept="ns1u0" id="JOGAOsVta8" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
@@ -12151,6 +11910,9 @@
                         <ref role="a7OzE" node="5310cdpKqTH" resolve="T" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPj" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPh" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12181,6 +11943,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPf" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPg" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPh" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12195,7 +11965,7 @@
               <node concept="3I6sU6" id="4nIWweBB_41" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB_42" role="3I6sU7">
                   <node concept="3Aqt3T" id="15BaR5Aaghl" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1mdVbTSaq35" role="3AunhB">
                       <node concept="ns1u0" id="JOGAOsVt9y" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
@@ -12228,6 +11998,9 @@
                         <ref role="a7OzE" node="15BaR5Aaggb" resolve="ArrRight" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPr" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPp" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12252,18 +12025,29 @@
                 <node concept="3I6sU6" id="4nIWweBB_6d" role="3Ip0Jz">
                   <node concept="3I6s7M" id="4nIWweBB_6f" role="3I6sU7">
                     <node concept="3Aqt3T" id="15BaR5AagCB" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="15BaR5AagCH" role="3AunhB">
                         <ref role="a7OzE" node="15BaR5Aaggv" resolve="ElmLeft" />
                       </node>
                       <node concept="a7P8L" id="15BaR5AagCP" role="3AunhB">
                         <ref role="a7OzE" node="15BaR5Aagh1" resolve="ElmRight" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zPs" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zPp" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPn" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPo" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPp" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12278,7 +12062,7 @@
               <node concept="3I6sU6" id="2i6cuYQqGmx" role="3Ip0Jz">
                 <node concept="3I6s7M" id="2i6cuYQqGmy" role="3I6sU7">
                   <node concept="3Aqt3T" id="2i6cuYQqGmz" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="2i6cuYQqGm$" role="3AunhB">
                       <node concept="ns1u0" id="2i6cuYQqGm_" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
@@ -12303,6 +12087,9 @@
                         <ref role="a7OzE" node="2i6cuYQqGmu" resolve="ArrRight" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zP$" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPy" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12316,6 +12103,14 @@
               </node>
               <node concept="32pEOW" id="24ciDNzxNCV" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPw" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPx" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPy" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12330,7 +12125,7 @@
               <node concept="3I6sU6" id="2i6cuYQqJam" role="3Ip0Jz">
                 <node concept="3I6s7M" id="2i6cuYQqJan" role="3I6sU7">
                   <node concept="3Aqt3T" id="2i6cuYQqJao" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="2i6cuYQqJap" role="3AunhB">
                       <node concept="ns1u0" id="2i6cuYQqJaq" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
@@ -12355,6 +12150,9 @@
                         <ref role="a7OzE" node="2i6cuYQqJaj" resolve="ArrRight" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPG" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPE" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12368,6 +12166,14 @@
               </node>
               <node concept="32pEOW" id="24ciDNzxNCW" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPC" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPD" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPE" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12381,7 +12187,7 @@
               <node concept="3I6sU6" id="2BbfRGCaqhz" role="3Ip0Jz">
                 <node concept="3I6s7M" id="2BbfRGCaqiB" role="3I6sU7">
                   <node concept="3Aqt3T" id="2BbfRGCaqiA" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="2BbfRGCaqiG" role="3AunhB">
                       <ref role="a7OzE" node="2BbfRGCaqi9" resolve="Type" />
                     </node>
@@ -12401,6 +12207,9 @@
                         <ref role="a7OzE" node="2BbfRGCaqhC" resolve="LBType" />
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPO" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPM" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12422,18 +12231,29 @@
                 <node concept="3I6sU6" id="2BbfRGCaqnc" role="3Ip0Jz">
                   <node concept="3I6s7M" id="2BbfRGCaqng" role="3I6sU7">
                     <node concept="3Aqt3T" id="2BbfRGCaqnf" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="2BbfRGCaqnl" role="3AunhB">
                         <ref role="a7OzE" node="2BbfRGCaqi9" resolve="Type" />
                       </node>
                       <node concept="a7P8L" id="2BbfRGCaqnt" role="3AunhB">
                         <ref role="a7OzE" node="2BbfRGCaqhR" resolve="LBnd" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zPP" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zPM" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPK" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPL" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPM" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12447,7 +12267,7 @@
               <node concept="3I6sU6" id="1fKFQTSrPcD" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1fKFQTSrPcE" role="3I6sU7">
                   <node concept="3Aqt3T" id="1fKFQTSrPcF" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="1fKFQTSrPcH" role="3AunhB">
                       <node concept="ns1u0" id="1fKFQTSrPcI" role="1uarlW">
                         <ref role="ns1xF" node="JOGAOsVt2u" resolve="upperBound" />
@@ -12467,6 +12287,9 @@
                     <node concept="a7P8L" id="1fKFQTSrPYg" role="3AunhB">
                       <ref role="a7OzE" node="1fKFQTSrPc_" resolve="Type" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zPX" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zPV" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12488,18 +12311,29 @@
                 <node concept="3I6sU6" id="1fKFQTSrPcO" role="3Ip0Jz">
                   <node concept="3I6s7M" id="1fKFQTSrPcP" role="3I6sU7">
                     <node concept="3Aqt3T" id="1fKFQTSrPcQ" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="1fKFQTSrPcR" role="3AunhB">
                         <ref role="a7OzE" node="1fKFQTSrPcB" resolve="UBnd" />
                       </node>
                       <node concept="a7P8L" id="1fKFQTSrPcS" role="3AunhB">
                         <ref role="a7OzE" node="1fKFQTSrPc_" resolve="Type" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zPY" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zPV" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zPT" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zPU" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zPV" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12556,7 +12390,7 @@
               <node concept="3I6sU6" id="6EY0p2z7DU1" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6EY0p2z7DU2" role="3I6sU7">
                   <node concept="3Aqt3T" id="6EY0p2z7DU3" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="6EY0p2z7E40" role="3AunhB">
                       <node concept="a7P8L" id="6EY0p2z7DU4" role="1uarlU">
                         <ref role="a7OzE" node="6EY0p2z7DTX" resolve="LBT" />
@@ -12576,6 +12410,9 @@
                     <node concept="a7P8L" id="6EY0p2z7E5b" role="3AunhB">
                       <ref role="a7OzE" node="6EY0p2z7E4L" resolve="To" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQ6" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQ4" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12609,13 +12446,16 @@
                 <node concept="3I6sU6" id="6EY0p2z7DUc" role="3Ip0Jz">
                   <node concept="3I6s7M" id="6EY0p2z7DUd" role="3I6sU7">
                     <node concept="3Aqt3T" id="6EY0p2z7DUe" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <node concept="a7P8L" id="6EY0p2z7DUf" role="3AunhB">
                         <ref role="a7OzE" node="6EY0p2z7DTZ" resolve="UBnd" />
                       </node>
                       <node concept="a7P8L" id="6EY0p2z7E5t" role="3AunhB">
                         <ref role="a7OzE" node="6EY0p2z7E4L" resolve="To" />
                       </node>
+                      <node concept="a7P8L" id="4O7HczO3zQ7" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zQ4" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -12645,6 +12485,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQ2" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQ3" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQ4" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12659,7 +12507,7 @@
               <node concept="3I6sU6" id="6EY0p2zuivh" role="3Ip0Jz">
                 <node concept="3I6s7M" id="6EY0p2zuivN" role="3I6sU7">
                   <node concept="3Aqt3T" id="6EY0p2zuivM" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="6EY0p2zuivS" role="3AunhB">
                       <ref role="a7OzE" node="6EY0p2zuivw" resolve="T" />
                     </node>
@@ -12679,6 +12527,9 @@
                         </node>
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQf" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQd" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12712,6 +12563,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQb" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQc" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQd" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12726,7 +12585,7 @@
               <node concept="3I6sU6" id="2rIdnPw3zdw" role="3Ip0Jz">
                 <node concept="3I6s7M" id="2rIdnPw3zdx" role="3I6sU7">
                   <node concept="3Aqt3T" id="2rIdnPw3zdy" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="2rIdnPw3zd$" role="3AunhB">
                       <node concept="a7P8L" id="2rIdnPw3zd_" role="1uarlU">
                         <ref role="a7OzE" node="2rIdnPw3zdH" resolve="IntT" />
@@ -12746,6 +12605,9 @@
                     <node concept="a7P8L" id="2rIdnPw3zdz" role="3AunhB">
                       <ref role="a7OzE" node="2rIdnPw3zdG" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQn" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQl" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12779,6 +12641,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQj" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQk" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQl" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12793,7 +12663,7 @@
               <node concept="3I6sU6" id="ZJPHcue6lj" role="3Ip0Jz">
                 <node concept="3I6s7M" id="ZJPHcue6lk" role="3I6sU7">
                   <node concept="3Aqt3T" id="ZJPHcue6ll" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="ZJPHcue6lm" role="3AunhB">
                       <ref role="a7OzE" node="ZJPHcue6lu" resolve="T" />
                     </node>
@@ -12813,6 +12683,9 @@
                         </node>
                       </node>
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQv" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQt" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12846,6 +12719,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQr" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQs" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQt" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12860,7 +12741,7 @@
               <node concept="3I6sU6" id="ZJPHcuf_77" role="3Ip0Jz">
                 <node concept="3I6s7M" id="ZJPHcuf_78" role="3I6sU7">
                   <node concept="3Aqt3T" id="ZJPHcuf_79" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="1HFMs5" id="ZJPHcuf_7b" role="3AunhB">
                       <node concept="a7P8L" id="ZJPHcuf_7c" role="1uarlU">
                         <ref role="a7OzE" node="ZJPHcuf_7j" resolve="UnionT" />
@@ -12880,6 +12761,9 @@
                     <node concept="a7P8L" id="ZJPHcuf_qY" role="3AunhB">
                       <ref role="a7OzE" node="ZJPHcuf_7i" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQB" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQ_" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12913,6 +12797,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQz" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQ$" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQ_" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -12927,13 +12819,16 @@
               <node concept="3I6sU6" id="46hEwHqqg0b" role="3Ip0Jz">
                 <node concept="3I6s7M" id="46hEwHqqg0c" role="3I6sU7">
                   <node concept="3Aqt3T" id="46hEwHqqg0d" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="46hEwHqqgoa" role="3AunhB">
                       <ref role="a7OzE" node="46hEwHqqg08" resolve="S" />
                     </node>
                     <node concept="a7P8L" id="46hEwHqqgqp" role="3AunhB">
                       <ref role="a7OzE" node="46hEwHqqg09" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQJ" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQH" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12991,6 +12886,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQF" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQG" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQH" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -13005,13 +12908,16 @@
               <node concept="3I6sU6" id="4nIWweBB_7P" role="3Ip0Jz">
                 <node concept="3I6s7M" id="4nIWweBB_7Q" role="3I6sU7">
                   <node concept="3Aqt3T" id="2shrukTPBtD" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                     <node concept="a7P8L" id="2shrukTPBtE" role="3AunhB">
                       <ref role="a7OzE" node="2CsZ2XTdf5" resolve="S" />
                     </node>
                     <node concept="a7P8L" id="2shrukTPBtF" role="3AunhB">
                       <ref role="a7OzE" node="2CsZ2XTdfe" resolve="T" />
                     </node>
+                    <node concept="a7P8L" id="4O7HczO3zQR" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zQP" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -13075,6 +12981,14 @@
                 </node>
               </node>
             </node>
+            <node concept="3NuqgR" id="4O7HczO3zQN" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zQO" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zQP" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
           </node>
         </node>
       </node>
@@ -13092,13 +13006,16 @@
                 <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="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <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>
@@ -13147,6 +13064,14 @@
                   </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>
@@ -13165,13 +13090,16 @@
                 <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="3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
                       <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>
@@ -13220,11 +13148,36 @@
                   </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="convertsToAlt" />
+      <node concept="1zAUYm" id="3vTJNooZDgU" role="1zAUyy">
+        <property role="TrG5h" value="subType" />
+        <node concept="32pEOW" id="3vTJNooZDh3" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="3vTJNooZDgZ" role="1zAUyy">
+        <property role="TrG5h" value="superType" />
+        <node concept="32pEOW" id="3vTJNooZDh9" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="3vTJNooZDhc" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="3vTJNooZDhl" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="0oKg$" id="E1U1n2RerB">
     <property role="TrG5h" value="Types" />
@@ -38199,7 +38152,7 @@
     </node>
   </node>
   <node concept="AVZre" id="2i6cuYQZkwQ">
-    <property role="3GE5qa" value="rule.relation" />
+    <property role="3GE5qa" value="rule.relation.conversion" />
     <property role="TrG5h" value="Conversions" />
     <node concept="1nLNMY" id="12QmIo_7shG" role="1nK1Vg">
       <property role="TrG5h" value="compatibleWith_void" />
@@ -41597,7 +41550,7 @@
     </node>
   </node>
   <node concept="AVZre" id="4X6HjrRC1lg">
-    <property role="3GE5qa" value="rule.relation" />
+    <property role="3GE5qa" value="rule.relation.conversion" />
     <property role="TrG5h" value="ConversionInferFromCapture" />
     <ref role="2YbDB9" node="4X6HjrRCHM3" resolve="TypeBound" />
     <node concept="1nLNMY" id="5o9$c3zOxT6" role="1nK1Vg">
@@ -50034,5 +49987,1283 @@
       </node>
     </node>
   </node>
+  <node concept="312cEu" id="4O7HczOeKN2">
+    <property role="3GE5qa" value="util" />
+    <property role="TrG5h" value="ConvertsContext" />
+    <node concept="312cEg" id="4O7HczOeOKr" role="jymVt">
+      <property role="TrG5h" value="opts" />
+      <property role="3TUv4t" value="true" />
+      <node concept="3Tm6S6" id="4O7HczOeWZ1" role="1B3o_S" />
+      <node concept="3uibUv" id="4O7HczOeOFD" role="1tU5fm">
+        <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+      </node>
+      <node concept="2ShNRf" id="4O7HczOeORD" role="33vP2m">
+        <node concept="1pGfFk" id="4O7HczOeQcB" role="2ShVmc">
+          <ref role="37wK5l" node="3vTJNooZBl7" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4O7HczOeOxw" role="jymVt" />
+    <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">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="3vTJNooZCj0" role="2OqNvi">
+                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3vTJNooZCRb" role="3cqZAp">
+          <node concept="Xjq3P" id="3vTJNooZCR9" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="3vTJNooZC0l" role="1B3o_S" />
+      <node concept="3uibUv" id="4O7HczOeWrF" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+    </node>
+    <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>
+            <node concept="2OqwBi" id="3vTJNooZCTh" role="37vLTJ">
+              <node concept="37vLTw" id="4O7HczOeWKx" 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>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="3vTJNooZCTk" role="3cqZAp">
+          <node concept="Xjq3P" id="3vTJNooZCTl" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="3vTJNooZCTm" role="1B3o_S" />
+      <node concept="3uibUv" id="4O7HczOeW$6" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+    </node>
+    <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="get" />
+      <node concept="3clFbS" id="4O7HczOeR2Q" role="3clF47">
+        <node concept="3clFbF" id="4O7HczOeRgv" role="3cqZAp">
+          <node concept="2ShNRf" id="4O7HczOeRgt" role="3clFbG">
+            <node concept="1pGfFk" id="4O7HczOeRxb" role="2ShVmc">
+              <ref role="37wK5l" node="4O7HczOeQCb" resolve="ConvertsContext" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="4O7HczOeQVJ" role="1B3o_S" />
+      <node concept="3uibUv" id="4O7HczOeRd4" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="4O7HczOeSMP" role="jymVt" />
+    <node concept="3clFb_" id="4O7HczOeSWk" role="jymVt">
+      <property role="TrG5h" value="copy" />
+      <node concept="3clFbS" id="4O7HczOeSWm" role="3clF47">
+        <node concept="3cpWs8" id="4O7HczOeTjy" role="3cqZAp">
+          <node concept="3cpWsn" id="4O7HczOeTjz" role="3cpWs9">
+            <property role="TrG5h" value="copied" />
+            <node concept="3uibUv" id="4O7HczOeTj$" role="1tU5fm">
+              <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+            </node>
+            <node concept="2ShNRf" id="4O7HczOeSWo" role="33vP2m">
+              <node concept="1pGfFk" id="4O7HczOeSWp" role="2ShVmc">
+                <ref role="37wK5l" node="4O7HczOeQCb" resolve="ConvertsContext" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4O7HczOeTAN" role="3cqZAp">
+          <node concept="37vLTI" id="4O7HczOeXZ4" role="3clFbG">
+            <node concept="2OqwBi" id="4O7HczOeYjI" role="37vLTx">
+              <node concept="37vLTw" id="4O7HczOeY58" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="4O7HczOeYxR" role="2OqNvi">
+                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="4O7HczOeTXB" role="37vLTJ">
+              <node concept="2OqwBi" id="4O7HczOeTGT" role="2Oq$k0">
+                <node concept="37vLTw" id="4O7HczOeTAL" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4O7HczOeTjz" resolve="copied" />
+                </node>
+                <node concept="2OwXpG" id="4O7HczOeTOH" role="2OqNvi">
+                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
+                </node>
+              </node>
+              <node concept="2OwXpG" id="4O7HczOeXv8" role="2OqNvi">
+                <ref role="2Oxat5" node="3vTJNooZBXc" resolve="inferenceAllowed" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="4O7HczOeYNr" role="3cqZAp">
+          <node concept="37vLTw" id="4O7HczOeYNp" role="3clFbG">
+            <ref role="3cqZAo" node="4O7HczOeTjz" resolve="copied" />
+          </node>
+        </node>
+      </node>
+      <node concept="3uibUv" id="4O7HczOeSWr" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+      <node concept="3Tm1VV" id="4O7HczOeSWq" 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">
+        <node concept="3clFbF" id="4O7HczOeSx0" role="3cqZAp">
+          <node concept="37vLTw" id="4O7HczOeSwZ" role="3clFbG">
+            <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+          </node>
+        </node>
+      </node>
+      <node concept="3uibUv" id="4O7HczOeOsk" role="3clF45">
+        <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+      </node>
+      <node concept="3Tm1VV" id="4O7HczOeOsj" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="4O7HczOeQoC" role="jymVt" />
+    <node concept="3clFbW" id="4O7HczOeQCb" role="jymVt">
+      <node concept="3cqZAl" id="4O7HczOeQCc" role="3clF45" />
+      <node concept="3clFbS" id="4O7HczOeQCe" role="3clF47" />
+      <node concept="3Tmbuc" id="4O7HczOeQu7" role="1B3o_S" />
+    </node>
+    <node concept="2tJIrI" id="4O7HczOeLMy" role="jymVt" />
+    <node concept="3Tm1VV" id="4O7HczOeKN3" role="1B3o_S" />
+    <node concept="312cEu" id="3vTJNooZBhQ" role="jymVt">
+      <property role="3GE5qa" value="util" />
+      <property role="TrG5h" value="Options" />
+      <property role="2bfB8j" value="true" />
+      <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="2tJIrI" id="3vTJNooZBjz" 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>
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="4O7HczO6zbU" role="1B3o_S" />
+        <node concept="10P_77" id="4O7HczO6zwu" role="3clF45" />
+      </node>
+      <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>
+            </node>
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="4O7HczO6$Tu" role="1B3o_S" />
+        <node concept="10P_77" id="4O7HczO6_bL" role="3clF45" />
+      </node>
+      <node concept="2tJIrI" id="3vTJNooZBOD" role="jymVt" />
+      <node concept="3clFbW" id="3vTJNooZBl7" role="jymVt">
+        <node concept="3cqZAl" id="3vTJNooZBl8" role="3clF45" />
+        <node concept="3clFbS" id="3vTJNooZBla" role="3clF47" />
+        <node concept="3Tmbuc" id="3vTJNooZBk2" role="1B3o_S" />
+      </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>
+            </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">
+          <node concept="3clFbJ" id="4O7HczOioMk" role="3cqZAp">
+            <node concept="3fqX7Q" id="4O7HczOipee" role="3clFbw">
+              <node concept="2ZW3vV" id="4O7HczOipeg" role="3fr31v">
+                <node concept="3uibUv" id="4O7HczOipeh" role="2ZW6by">
+                  <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+                </node>
+                <node concept="37vLTw" id="4O7HczOiGyn" role="2ZW6bz">
+                  <ref role="3cqZAo" node="4O7HczOioCQ" resolve="other" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbS" id="4O7HczOioMm" role="3clFbx">
+              <node concept="3cpWs6" id="4O7HczOipi6" role="3cqZAp">
+                <node concept="3clFbT" id="4O7HczOipiX" role="3cqZAk" />
+              </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">
+                      <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+                    </node>
+                    <node concept="37vLTw" id="4O7HczOipHN" 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>
+              </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>
+        <node concept="3Tm1VV" id="4O7HczOioqJ" role="1B3o_S" />
+        <node concept="10P_77" id="4O7HczOioxO" role="3clF45" />
+        <node concept="37vLTG" id="4O7HczOioCQ" role="3clF46">
+          <property role="TrG5h" value="other" />
+          <node concept="3uibUv" id="4O7HczOioCP" role="1tU5fm">
+            <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+          </node>
+        </node>
+        <node concept="2AHcQZ" id="4O7HczOipJJ" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="4O7HczOiG$E" role="jymVt" />
+      <node concept="3clFb_" id="4O7HczOiH01" role="jymVt">
+        <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>
+            </node>
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="4O7HczOiGMs" role="1B3o_S" />
+        <node concept="10Oyi0" id="4O7HczOiGYS" role="3clF45" />
+        <node concept="2AHcQZ" id="4O7HczOiHdK" role="2AJF6D">
+          <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="AVZre" id="4O7HczO6sgr">
+    <property role="3GE5qa" value="rule.relation.conversion" />
+    <property role="TrG5h" value="ConversionInfer" />
+    <ref role="2YbDB9" node="4X6HjrRCHM3" resolve="TypeBound" />
+    <node concept="1nLNMY" id="4O7HczO6A8i" role="1nK1Vg">
+      <property role="TrG5h" value="convertsToInferBind" />
+      <node concept="3clFbS" id="4O7HczO6A8j" role="1nLNMH">
+        <node concept="1nLNNL" id="4O7HczO6Ad4" role="3cqZAp">
+          <node concept="1nLNMm" id="4O7HczO6Ad6" role="1nLNNK">
+            <node concept="3xSepi" id="4O7HczO6ACj" role="3xSepv">
+              <node concept="3Aq9E8" id="4O7HczO6ACk" role="3xSepj">
+                <node concept="3I6sU6" id="4O7HczO6ACl" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="4O7HczO6ACD" role="3I6sU7">
+                    <node concept="3A8Hvi" id="4O7HczO6ACA" role="3I6s78">
+                      <node concept="a7P8L" id="4O7HczO6ACI" role="3A8wtg">
+                        <ref role="a7OzE" node="4O7HczO6Adc" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO6ACP" role="3A8w4Q">
+                        <ref role="a7OzE" node="4O7HczO6Ady" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="4O7HczO6Afd" role="1nLNMb">
+              <node concept="3I6sU6" id="4O7HczO6Afe" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO6Afi" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4O7HczO6Afh" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                    <node concept="a7P8L" id="4O7HczO6Afs" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6Adc" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO6Afz" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6Ady" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO6Ahq" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO6AdV" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO6Adb" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczO6Adc" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4O7HczO6Ady" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="4O7HczO6Ado" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="4O7HczO6AdU" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczO6AdV" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="4O7HczO6Aeb" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="4O7HczO6AjD" role="1nLNMa">
+              <node concept="3I6sU6" id="4O7HczO6AjE" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczO6AjI" role="3I6sU7">
+                  <node concept="3wWvb2" id="4O7HczO6AjH" role="3I6s78">
+                    <node concept="2OqwBi" id="4O7HczO6AqL" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4O7HczO6AjM" role="2Oq$k0">
+                        <node concept="a7P8L" id="4O7HczO6AjL" role="1FtiSR">
+                          <ref role="a7OzE" node="4O7HczO6AdV" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4O7HczO6A$z" role="2OqNvi">
+                        <ref role="37wK5l" node="4O7HczO6zx9" resolve="isInfer" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="4O7HczObmzq" role="3cqZAp" />
+        <node concept="1nLNNL" id="4O7HczObmC8" role="3cqZAp">
+          <node concept="1nLNMm" id="4O7HczObmC9" role="1nLNNK">
+            <node concept="3Aq93q" id="4O7HczObmCh" role="1nLNMb">
+              <node concept="3I6sU6" id="4O7HczObmCi" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczObmCj" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4O7HczObmCk" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                    <node concept="a7P8L" id="4O7HczObmCl" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczObmCp" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczObmCm" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczObmCq" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczObmCn" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczObmCt" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczObmCo" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczObmCp" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4O7HczObmCq" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="4O7HczObmCr" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="4O7HczObmCs" role="0Rg$4">
+              <node concept="aZer4" id="4O7HczObmCt" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="4O7HczObmCu" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="4O7HczObmCv" role="1nLNMa">
+              <node concept="3I6sU6" id="4O7HczObmCw" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4O7HczObmCx" role="3I6sU7">
+                  <node concept="3wWvb2" id="4O7HczObmCy" role="3I6s78">
+                    <node concept="2OqwBi" id="4O7HczObmJN" role="3wWo3s">
+                      <node concept="1Ft4W6" id="4O7HczObmJO" role="2Oq$k0">
+                        <node concept="a7P8L" id="4O7HczObmJP" role="1FtiSR">
+                          <ref role="a7OzE" node="4O7HczObmCt" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="4O7HczObmUw" role="2OqNvi">
+                        <ref role="37wK5l" node="4O7HczO6_ek" resolve="isCheckOnly" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="5o9$c3zOdDG" role="1nK1Vg">
+      <property role="TrG5h" value="converts_free_to_captureOf_typeVar" />
+      <node concept="3clFbS" id="5o9$c3zOdDH" role="1nLNMH">
+        <node concept="3SKdUt" id="5o9$c3zQwX7" role="3cqZAp">
+          <node concept="1PaTwC" id="5o9$c3zQwX8" role="1aUNEU">
+            <node concept="3oM_SD" id="5o9$c3zQx5X" role="1PaTwD">
+              <property role="3oM_SC" value="infers" />
+            </node>
+            <node concept="3oM_SD" id="5o9$c3zQx1Y" role="1PaTwD">
+              <property role="3oM_SC" value="correct" />
+            </node>
+            <node concept="3oM_SD" id="5o9$c3zQx1Z" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="5o9$c3zQx20" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="5o9$c3zQx21" role="1PaTwD">
+              <property role="3oM_SC" value="inference" />
+            </node>
+            <node concept="3oM_SD" id="5o9$c3zQx22" role="1PaTwD">
+              <property role="3oM_SC" value="variable" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="5o9$c3zQxp3" role="3cqZAp" />
+        <node concept="1nLNNL" id="5o9$c3zQtk0" role="3cqZAp">
+          <node concept="1nLNMm" id="5o9$c3zQtk1" role="1nLNNK">
+            <node concept="3Aq93q" id="5o9$c3zQtkk" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="5o9$c3zQtkl" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zQtkm" role="3I6sU7">
+                  <node concept="3Aqt3T" id="5o9$c3zQtkn" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="5o9$c3zQtko" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
+                    </node>
+                    <node concept="1HFMs5" id="5o9$c3zQtkp" role="3AunhB">
+                      <node concept="a7P8L" id="5o9$c3zQtkq" role="1uarlU">
+                        <ref role="a7OzE" node="5o9$c3zQtkf" resolve="T" />
+                      </node>
+                      <node concept="ns1u0" id="5o9$c3zQtkr" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2j" resolve="captureOf" />
+                        <node concept="nsMwS" id="5o9$c3zQtkv" role="ns1xD">
+                          <ref role="nsMwP" node="JOGAOsVt2n" resolve="lbound" />
+                          <node concept="1nq8_$" id="5o9$c3zQtkw" role="nsMwV">
+                            <node concept="ns1u0" id="5o9$c3zQtkx" role="1nq8_t">
+                              <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zNj" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNh" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="5o9$c3zQtG0" role="1nLNMb">
+              <node concept="3I6sU6" id="5o9$c3zQtG1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zQtNT" role="3I6sU7">
+                  <node concept="3Aqt3T" id="5o9$c3zQtNS" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="5o9$c3zQtRO" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="5o9$c3zQtVH" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="5o9$c3zQtky" role="1nLNMa">
+              <node concept="3I6sU6" id="5o9$c3zQtkz" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zQtk$" role="3I6sU7">
+                  <node concept="2aLmEc" id="5o9$c3zQtk_" role="3I6s78">
+                    <node concept="a7P8L" id="5o9$c3zQtkA" role="2aLmnP">
+                      <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="554EtBHPv2D" role="3I6sU7">
+                  <node concept="2aM9Np" id="554EtBHPv2B" role="3I6s78">
+                    <node concept="a7P8L" id="554EtBHPv2J" role="2aLmnP">
+                      <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="5o9$c3zQtkd" role="0Rg$4">
+              <node concept="aZer4" id="5o9$c3zQtke" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zQtkf" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zQtkg" role="3XD1gS">
+                <property role="TrG5h" value="Inferred" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zQtkh" role="3XD1gS">
+                <property role="TrG5h" value="SBound" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNCD" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4yZzE4k_Upu" role="3xSepv">
+              <node concept="3Aq9E8" id="4yZzE4k_Upv" role="3xSepj">
+                <node concept="3I6sU6" id="4yZzE4k_Upw" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="5o9$c3zQtk4" role="3I6sU7">
+                    <node concept="3Aqt3T" id="5o9$c3zQtk5" role="3I6s78">
+                      <ref role="3AqCNq" node="5o9$c3zOyVe" resolve="inferFromCapture" />
+                      <node concept="a7P8L" id="5o9$c3zQtk6" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
+                      </node>
+                      <node concept="a7P8L" id="5o9$c3zQtk7" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtkf" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="5o9$c3zQtk8" role="3I6sU7">
+                    <node concept="3Aqt3T" id="5o9$c3zQtk9" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                      <node concept="a7P8L" id="5o9$c3zQuHe" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
+                      </node>
+                      <node concept="a7P8L" id="5o9$c3zQuLg" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtkh" resolve="SBound" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO3zNk" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNh" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="2Cji6EQWoul" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczOd2JQ" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd2LU" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtke" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd2Rm" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zQtkg" resolve="Inferred" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd30_" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNh" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNf" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNg" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNh" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="5o9$c3zAtP8" role="1nK1Vg">
+      <property role="TrG5h" value="converts_freeBounded_to_ground" />
+      <node concept="3clFbS" id="5o9$c3zAtP9" role="1nLNMH">
+        <node concept="3SKdUt" id="7Y_snFFPaow" role="3cqZAp">
+          <node concept="1PaTwC" id="7Y_snFFPaox" role="1aUNEU">
+            <node concept="3oM_SD" id="7Y_snFFPaoy" role="1PaTwD">
+              <property role="3oM_SC" value="NB:" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapn" role="1PaTwD">
+              <property role="3oM_SC" value="it's" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapq" role="1PaTwD">
+              <property role="3oM_SC" value="NOT" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapu" role="1PaTwD">
+              <property role="3oM_SC" value="analogous" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapz" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapD" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapK" role="1PaTwD">
+              <property role="3oM_SC" value="variable" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPapS" role="1PaTwD">
+              <property role="3oM_SC" value="bound" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPaq1" role="1PaTwD">
+              <property role="3oM_SC" value="checking," />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="7Y_snFFPar8" role="3cqZAp">
+          <node concept="1PaTwC" id="7Y_snFFPar9" role="1aUNEU">
+            <node concept="3oM_SD" id="7Y_snFFPara" role="1PaTwD">
+              <property role="3oM_SC" value="it's" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPasa" role="1PaTwD">
+              <property role="3oM_SC" value="just" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPasd" role="1PaTwD">
+              <property role="3oM_SC" value="free" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPash" role="1PaTwD">
+              <property role="3oM_SC" value="variable" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPasm" role="1PaTwD">
+              <property role="3oM_SC" value="binding," />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPass" role="1PaTwD">
+              <property role="3oM_SC" value="that's" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPasz" role="1PaTwD">
+              <property role="3oM_SC" value="why" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFQDZ5" role="1PaTwD">
+              <property role="3oM_SC" value="S=T" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFQDZe" role="1PaTwD">
+              <property role="3oM_SC" value="(not" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFQDZo" role="1PaTwD">
+              <property role="3oM_SC" value="S=SBound)" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="7Y_snFFPatL" role="3cqZAp">
+          <node concept="1PaTwC" id="7Y_snFFPatM" role="1aUNEU">
+            <node concept="3oM_SD" id="7Y_snFFPawr" role="1PaTwD">
+              <property role="3oM_SC" value="and" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFQDZz" role="1PaTwD">
+              <property role="3oM_SC" value="(T&lt;:SBound)" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPav8" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPavd" role="1PaTwD">
+              <property role="3oM_SC" value="checked" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPavj" role="1PaTwD">
+              <property role="3oM_SC" value="instead" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPavq" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="7Y_snFFPawa" role="1PaTwD">
+              <property role="3oM_SC" value="(SBound&lt;:T)" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="7Y_snFFPawz" role="3cqZAp" />
+        <node concept="1nLNNL" id="5o9$c3zGerb" role="3cqZAp">
+          <node concept="1nLNMm" id="5o9$c3zGerc" role="1nLNNK">
+            <node concept="3Aq93q" id="5o9$c3zGeri" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="5o9$c3zGerj" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zGerk" role="3I6sU7">
+                  <node concept="3Aqt3T" id="5o9$c3zGerl" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="5o9$c3zGerm" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="5o9$c3zGern" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zNs" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNq" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="5o9$c3zGero" role="1nLNMb">
+              <node concept="3I6sU6" id="5o9$c3zGerp" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zGerq" role="3I6sU7">
+                  <node concept="3Aqt3T" id="5o9$c3zGerr" role="3I6s78">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="5o9$c3zGers" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="5o9$c3zGert" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="5o9$c3zGeru" role="1nLNMa">
+              <node concept="3I6sU6" id="5o9$c3zGerv" role="3Ip0Jz">
+                <node concept="3I6s7M" id="5o9$c3zGerw" role="3I6sU7">
+                  <node concept="2aLmEc" id="5o9$c3zGerx" role="3I6s78">
+                    <node concept="a7P8L" id="5o9$c3zGery" role="2aLmnP">
+                      <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="5o9$c3zGerz" role="3I6sU7">
+                  <node concept="2aM9Np" id="5o9$c3zGer$" role="3I6s78">
+                    <node concept="a7P8L" id="5o9$c3zGer_" role="2aLmnP">
+                      <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="554EtBHPv1S" role="3I6sU7">
+                  <node concept="2aM9Np" id="554EtBHPv1Q" role="3I6s78">
+                    <node concept="a7P8L" id="554EtBHPv21" role="2aLmnP">
+                      <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="5o9$c3zGere" role="0Rg$4">
+              <node concept="aZer4" id="5o9$c3zGerf" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zGerg" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zGerh" role="3XD1gS">
+                <property role="TrG5h" value="SBound" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNCE" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4yZzE4k_WJg" role="3xSepv">
+              <node concept="3Aq9E8" id="4yZzE4k_WJh" role="3xSepj">
+                <node concept="3I6sU6" id="4yZzE4k_WJi" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="5o9$c3zGerC" role="3I6sU7">
+                    <node concept="3Aqt3T" id="5o9$c3zGerD" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                      <node concept="a7P8L" id="5o9$c3zGe_$" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="5o9$c3zGeHn" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zGerh" resolve="SBound" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO3zNt" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNq" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="2Cji6EQSQGj" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczOd3cF" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd3cG" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zGerf" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3lf" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zGerg" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3cI" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNq" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNo" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNp" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNq" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <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">
+              <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">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="5o9$c3zLTGs" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="5o9$c3zLTGt" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zN_" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNz" 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">
+                    <ref role="3AqCNq" node="5310cdpUCuT" resolve="hasBound" />
+                    <node concept="a7P8L" id="5o9$c3zLTGy" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zLTGm" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="5o9$c3zLTGz" role="3AunhB">
+                      <ref role="a7OzE" node="5o9$c3zLTGn" 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>
+                  </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>
+                  </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>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="5o9$c3zLTGk" role="0Rg$4">
+              <node concept="aZer4" id="5o9$c3zLTGl" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zLTGm" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="5o9$c3zLTGn" role="3XD1gS">
+                <property role="TrG5h" value="TBound" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNCF" 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">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsToAlt" />
+                      <node concept="a7P8L" id="5o9$c3zLTGK" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="5o9$c3zLTGL" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zLTGn" resolve="TBound" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczO3zNA" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNz" 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="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd3r_" role="3AunhB">
+                        <ref role="a7OzE" node="5o9$c3zLTGl" resolve="S" />
+                      </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>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNx" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNy" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNz" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <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">
+              <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">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="4yZzE4kz59p" role="3AunhB">
+                      <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4yZzE4kz59q" role="3AunhB">
+                      <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zNI" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNG" 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>
+                  </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>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4yZzE4kz59D" role="0Rg$4">
+              <node concept="aZer4" id="4yZzE4kz59E" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4yZzE4kz59F" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="4yZzE4kz59H" 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">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd3yh" role="3AunhB">
+                        <ref role="a7OzE" node="4yZzE4kz59E" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3yi" role="3AunhB">
+                        <ref role="a7OzE" node="4yZzE4kz59F" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3yj" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNG" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNE" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNF" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNG" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="4yZzE4kz59T" role="1nK1Vg">
+      <property role="TrG5h" value="converts_ground_to_free" />
+      <node concept="3clFbS" id="4yZzE4kz59U" role="1nLNMH">
+        <node concept="1nLNNL" id="4yZzE4kz59V" role="3cqZAp">
+          <node concept="1nLNMm" id="4yZzE4kz59W" role="1nLNNK">
+            <node concept="3Aq93q" id="4yZzE4kz59X" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4yZzE4kz59Y" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4yZzE4kz59Z" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4yZzE4kz5a0" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="4yZzE4kz5a1" role="3AunhB">
+                      <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="4yZzE4kz5a2" role="3AunhB">
+                      <ref role="a7OzE" node="4yZzE4kz5aj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zNQ" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNO" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </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>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="4yZzE4kz5ae" role="3I6sU7">
+                  <node concept="2aM9Np" id="4yZzE4kz5af" role="3I6s78">
+                    <node concept="a7P8L" id="4yZzE4kz5ag" role="2aLmnP">
+                      <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4yZzE4kz5ah" role="0Rg$4">
+              <node concept="aZer4" id="4yZzE4kz5ai" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="4yZzE4kz5aj" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="4yZzE4kz5al" role="3vLBG7" />
+            </node>
+            <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="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd3_w" role="3AunhB">
+                        <ref role="a7OzE" node="4yZzE4kz5ai" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3_x" 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>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNM" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNN" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNO" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="12QmIo_7siG" role="1nK1Vg">
+      <property role="TrG5h" value="converts_free_to_free" />
+      <node concept="3clFbS" id="12QmIo_7siH" role="1nLNMH">
+        <node concept="1nLNNL" id="12QmIo_7siI" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_7siJ" role="1nLNNK">
+            <node concept="3Aq93q" id="7xE5ZvRZIOd" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4nIWweBB_be" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4nIWweBB_bf" role="3I6sU7">
+                  <node concept="3Aqt3T" id="7xE5ZvRZK7l" role="3I6s78">
+                    <ref role="3AqCNq" node="4O7HczO6sgu" resolve="convertsToInfer" />
+                    <node concept="a7P8L" id="5JTOzCQSkGC" role="3AunhB">
+                      <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="5JTOzCQSkFN" role="3AunhB">
+                      <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="4O7HczO3zNY" role="3AunhB">
+                      <ref role="a7OzE" node="4O7HczO3zNW" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="7xE5ZvRZLbl" role="1nLNMa">
+              <node concept="3I6sU6" id="4nIWweBB_bF" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4nIWweBB_bG" role="3I6sU7">
+                  <node concept="2aLmEc" id="7xE5ZvRZLd9" role="3I6s78">
+                    <node concept="a7P8L" id="5JTOzCQSkGm" role="2aLmnP">
+                      <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="4nIWweBB_bH" role="3I6sU7">
+                  <node concept="2aLmEc" id="7xE5ZvRZLfW" role="3I6s78">
+                    <node concept="a7P8L" id="5JTOzCQSkFx" role="2aLmnP">
+                      <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="2CsZ2XT9P9" role="0Rg$4">
+              <node concept="aZer4" id="2CsZ2XT9Pa" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="2CsZ2XT9Pj" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="24ciDNzxNCG" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="6E2cNicdiiD" role="3xSepv">
+              <node concept="3Aq9E8" id="6N2bvv_crki" role="3xSepj">
+                <node concept="3I6sU6" id="6N2bvv_crkj" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6N2bvv_crkO" role="3I6sU7">
+                    <node concept="3Aqt3T" id="4O7HczOd3FC" role="3I6s78">
+                      <ref role="3AqCNq" node="4O7HczO6A6X" resolve="convertsToInferBind" />
+                      <node concept="a7P8L" id="4O7HczOd3FD" role="3AunhB">
+                        <ref role="a7OzE" node="2CsZ2XT9Pa" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3FE" role="3AunhB">
+                        <ref role="a7OzE" node="2CsZ2XT9Pj" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="4O7HczOd3FF" role="3AunhB">
+                        <ref role="a7OzE" node="4O7HczO3zNW" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4O7HczO3zNU" role="0Rg$4">
+              <node concept="3uibUv" id="4O7HczO3zNV" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4O7HczO3zNW" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4O7HczO6sgu" role="8PkJo">
+      <property role="TrG5h" value="convertsToInfer" />
+      <node concept="1zAUYm" id="4O7HczO6sgw" role="1zAUyy">
+        <property role="TrG5h" value="from" />
+        <node concept="32pEOW" id="4O7HczO6sg_" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="4O7HczO6sgC" role="1zAUyy">
+        <property role="TrG5h" value="to" />
+        <node concept="32pEOW" id="4O7HczO6sgJ" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="4O7HczO6B$A" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="4O7HczO6BKE" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+    </node>
+    <node concept="3AqmO8" id="4O7HczO6A6X" role="8PkJo">
+      <property role="TrG5h" value="convertsToInferBind" />
+      <node concept="1zAUYm" id="4O7HczO6A7b" role="1zAUyy">
+        <property role="TrG5h" value="from" />
+        <node concept="32pEOW" id="4O7HczO6A7g" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="4O7HczO6A7j" role="1zAUyy">
+        <property role="TrG5h" value="to" />
+        <node concept="32pEOW" id="4O7HczO6A7q" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="4O7HczO6A7t" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="4O7HczO6A7A" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>