From ef2b2991243e29099f26372e9bca2f02734e44ac Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Tue, 4 Aug 2020 11:33:22 +0300
Subject: [PATCH] Refactor unchecked conversion for raw types (MPSCR-63)

Now whether unchecked conversion is allowed is controlled
by ConvertsContext.Options of convertsTo relation.
Introduce 'erased()' term to be used in raw type params.
Drop 'uncheckedConversion' parameter in all macros.
Classifier kind:"raw" is now used only for Recover.
Allow unchecked conversions by default. Forbid for sequences.
---
 ....mps.baseLanguage.collectionsExt.types.mps |  308 +--
 ...brains.mps.baseLanguage.sequence.types.mps |   96 +-
 .../jetbrains.mps.baseLanguageExt.types.mps   | 1856 +++++++++++++----
 ...eLanguage.collectionsExt.test.sequence.mps |  205 +-
 ...mps.baseLanguageExt.test.code.features.mps |   52 +-
 ...mps.baseLanguageExt.test.code.generics.mps |    6 +-
 6 files changed, 1622 insertions(+), 901 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
index c37bc1d5..1261a6b3 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
@@ -14,9 +14,9 @@
     <import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
     <import index="fa4b" ref="r:57e7708d-cfea-4f42-80e2-39fcd20eebc8(jetbrains.mps.baseLanguage.function.types)" />
     <import index="tp2z" ref="r:00000000-0000-4000-0000-011c89590327(jetbrains.mps.baseLanguage.collections.behavior)" implicit="true" />
-    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
     <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" implicit="true" />
     <import index="tpek" ref="r:00000000-0000-4000-0000-011c895902c0(jetbrains.mps.baseLanguage.behavior)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@@ -567,12 +567,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="3Z1xyIwuNeL" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="3Z1xyIwuNeM" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="3Z1xyIwuNeN" role="3hEL4E">
         <node concept="3Aqczg" id="3Z1xyIwuNeO" role="3cqZAp">
           <node concept="3jm4v3" id="3Z1xyIwuNeP" role="3Aqpz8">
@@ -583,9 +577,6 @@
             <node concept="3hN9Ij" id="3Z1xyIwuNeR" role="3jicU7">
               <ref role="3hLkJx" node="3Z1xyIwuNeJ" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="3Z1xyIwuNeS" role="3jicU7">
-              <ref role="3hLkJx" node="3Z1xyIwuNeL" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="3Z1xyIwuNeT" role="3jm6SO">
               <ref role="a7OzE" node="3Z1xyIwuNf2" resolve="Elem" />
             </node>
@@ -661,12 +652,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsMLF" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsMLG" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsFGL" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CX4fuQ" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CX4fuR" role="3Aqpz8">
@@ -677,9 +662,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsMTk" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsMLD" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsMTp" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsMLF" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CX4fuV" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CX4fvf" resolve="Elem" />
             </node>
@@ -755,12 +737,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsN97" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsN98" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsN99" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsN9a" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsN9b" role="3Aqpz8">
@@ -771,9 +747,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsN9d" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsN95" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsN9e" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsN97" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsN9f" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsN9x" resolve="Elem" />
             </node>
@@ -821,9 +794,6 @@
             <node concept="3i2tpf" id="1oUE7CXsOEM" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsOEN" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOEO" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOER" resolve="Type" />
             </node>
@@ -855,12 +825,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsOEZ" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsOF0" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsOF1" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsOF2" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsOF3" role="3Aqpz8">
@@ -871,9 +835,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsOF5" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsOEX" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsOF6" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsOEZ" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOF7" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOFp" resolve="Elem" />
             </node>
@@ -921,9 +882,6 @@
             <node concept="3i2tpf" id="1oUE7CXsOvm" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsOvn" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOvo" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOvr" resolve="Type" />
             </node>
@@ -955,12 +913,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsOvz" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsOv$" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsOv_" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsOvA" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsOvB" role="3Aqpz8">
@@ -971,9 +923,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsOvD" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsOvx" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsOvE" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsOvz" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOvF" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOvX" resolve="Elem" />
             </node>
@@ -1021,9 +970,6 @@
             <node concept="3i2tpf" id="1oUE7CXsOki" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsOkj" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOkk" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOkn" resolve="Type" />
             </node>
@@ -1055,12 +1001,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsOkv" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsOkw" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsOkx" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsOky" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsOkz" role="3Aqpz8">
@@ -1071,9 +1011,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsOk_" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsOkt" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsOkA" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsOkv" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOkB" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOkT" resolve="Elem" />
             </node>
@@ -1121,9 +1058,6 @@
             <node concept="3i2tpf" id="1oUE7CXsObE" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsObF" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsObG" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsObJ" resolve="Type" />
             </node>
@@ -1155,12 +1089,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsObR" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsObS" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsObT" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsObU" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsObV" role="3Aqpz8">
@@ -1171,9 +1099,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsObX" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsObP" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsObY" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsObR" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsObZ" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOch" resolve="Elem" />
             </node>
@@ -1221,9 +1146,6 @@
             <node concept="3i2tpf" id="1oUE7CXsNXO" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsNXP" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsNXQ" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsNXT" resolve="Type" />
             </node>
@@ -1255,12 +1177,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsNY1" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsNY2" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsNY3" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsNY4" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsNY5" role="3Aqpz8">
@@ -1271,9 +1187,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsNY7" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsNXZ" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsNY8" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsNY1" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsNY9" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsNYr" resolve="Elem" />
             </node>
@@ -1321,9 +1234,6 @@
             <node concept="3i2tpf" id="1oUE7CXl7tU" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXl7zx" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXl7zC" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CX4gzL" resolve="Type" />
             </node>
@@ -1355,12 +1265,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXkYvl" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXkYvn" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXkYuO" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXkYNj" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXkYNk" role="3Aqpz8">
@@ -1371,9 +1275,6 @@
             <node concept="3hN9Ij" id="1oUE7CXl0lA" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXkYNe" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXl7tP" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXkYvl" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXkYSp" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXkYS0" resolve="Elem" />
             </node>
@@ -1421,9 +1322,6 @@
             <node concept="3i2tpf" id="1oUE7CXsNx_" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsNxA" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsNxB" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsNxE" resolve="Type" />
             </node>
@@ -1455,12 +1353,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsNxM" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsNxN" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsNxO" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsNxP" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsNxQ" role="3Aqpz8">
@@ -1471,9 +1363,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsNxS" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsNxK" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsNxT" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsNxM" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsNxU" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsNyc" resolve="Elem" />
             </node>
@@ -1529,9 +1418,6 @@
             <node concept="3i2tpf" id="1oUE7CXsOSF" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsOSG" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOSH" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOSK" resolve="Type" />
             </node>
@@ -1567,12 +1453,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsOSS" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsOST" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsOSU" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsOSV" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsOSW" role="3Aqpz8">
@@ -1583,9 +1463,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsOSY" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsOSQ" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsOSZ" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsOSS" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsOT0" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsOTi" resolve="Key" />
             </node>
@@ -1600,9 +1477,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsPfZ" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsOSQ" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsPg0" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsOSS" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsPgh" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsP6L" resolve="Value" />
             </node>
@@ -1664,9 +1538,6 @@
             <node concept="3i2tpf" id="1oUE7CXsPMC" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsPMD" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsPME" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsPMH" resolve="Type" />
             </node>
@@ -1702,12 +1573,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsPMR" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsPMS" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsPMT" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsPMU" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsPMV" role="3Aqpz8">
@@ -1718,9 +1583,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsPMX" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsPMP" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsPMY" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsPMR" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsPMZ" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsPNq" resolve="Key" />
             </node>
@@ -1735,9 +1597,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsPN3" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsPMP" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsPN4" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsPMR" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsPN5" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsPNr" resolve="Value" />
             </node>
@@ -1799,9 +1658,6 @@
             <node concept="3i2tpf" id="1oUE7CXsQ2A" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsQ2B" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQ2C" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsQ2F" resolve="Type" />
             </node>
@@ -1837,12 +1693,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsQ2P" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsQ2Q" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsQ2R" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsQ2S" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsQ2T" role="3Aqpz8">
@@ -1853,9 +1703,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsQ2V" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsQ2N" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsQ2W" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsQ2P" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQ2X" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsQ3o" resolve="Key" />
             </node>
@@ -1870,9 +1717,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsQ31" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsQ2N" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsQ32" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsQ2P" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQ33" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsQ3p" resolve="Value" />
             </node>
@@ -1926,9 +1770,6 @@
             <node concept="3i2tpf" id="1oUE7CXsQft" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsQfu" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQfv" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsQfy" resolve="Type" />
             </node>
@@ -1960,12 +1801,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXsQfE" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="1oUE7CXsQfF" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXsQfG" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXsQfH" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXsQfI" role="3Aqpz8">
@@ -1976,9 +1811,6 @@
             <node concept="3hN9Ij" id="1oUE7CXsQfK" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXsQfC" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXsQfL" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXsQfE" resolve="allowUncheckedConversions" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQfM" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXsQg4" resolve="Elem" />
             </node>
@@ -2027,12 +1859,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="3Z1xyIw$kqG" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="3Z1xyIw$kqH" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="3Z1xyIw$kqI" role="3hEL4E">
         <node concept="3cpWs8" id="3Z1xyIw_6OW" role="3cqZAp">
           <node concept="3cpWsn" id="3Z1xyIw_6OZ" role="3cpWs9">
@@ -2112,9 +1938,6 @@
                     <node concept="3hN9Ij" id="3Z1xyIw$kqM" role="3jicU7">
                       <ref role="3hLkJx" node="3Z1xyIw$kqE" resolve="subs" />
                     </node>
-                    <node concept="3hN9Ij" id="3Z1xyIw$kqN" role="3jicU7">
-                      <ref role="3hLkJx" node="3Z1xyIw$kqG" resolve="allowUncheckedConversions" />
-                    </node>
                     <node concept="a7P8L" id="3Z1xyIw$kqO" role="3jm6SO">
                       <ref role="a7OzE" node="3Z1xyIw_iq6" resolve="Params" />
                       <node concept="37vLTw" id="3Z1xyIw_dAe" role="3gCZO6">
@@ -2290,12 +2113,6 @@
                       <ref role="3cqZAo" node="3Z1xyIw_1ZN" resolve="newSubs" />
                     </node>
                   </node>
-                  <node concept="3jhG_Z" id="3Z1xyIw_fEi" role="3jhGob">
-                    <ref role="3jhG_U" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                    <node concept="3hN9Ij" id="3Z1xyIw_fEo" role="3jhG_S">
-                      <ref role="3hLkJx" node="3Z1xyIw$kqG" resolve="allowUncheckedConversions" />
-                    </node>
-                  </node>
                 </node>
               </node>
             </node>
@@ -2320,12 +2137,6 @@
                       <ref role="3cqZAo" node="3Z1xyIw_1ZN" resolve="newSubs" />
                     </node>
                   </node>
-                  <node concept="3jhG_Z" id="3Z1xyIw_igL" role="3jhGob">
-                    <ref role="3jhG_U" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                    <node concept="3hN9Ij" id="3Z1xyIw_igR" role="3jhG_S">
-                      <ref role="3hLkJx" node="3Z1xyIw$kqG" resolve="allowUncheckedConversions" />
-                    </node>
-                  </node>
                 </node>
               </node>
             </node>
@@ -2436,9 +2247,6 @@
             <node concept="3i2tpf" id="1oUE7CXsQDC" role="3jicU7">
               <ref role="3i285M" to="kqnc:5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="1oUE7CXsQDD" role="3jicU7">
-              <ref role="3i285M" to="kqnc:5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXsQDE" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CX4LI8" resolve="Type" />
             </node>
@@ -4246,7 +4054,7 @@
                     </node>
                     <node concept="3I6s7M" id="1oUE7CX4K6T" role="3I6sU7">
                       <node concept="3Aqt3T" id="1oUE7CX4K6U" role="3I6s78">
-                        <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                        <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                         <node concept="a7P8L" id="1oUE7CX4K8j" role="3AunhB">
                           <ref role="a7OzE" node="1oUE7CX4K6O" resolve="Cls" />
                         </node>
@@ -4265,7 +4073,7 @@
                 <node concept="3I6sU6" id="1oUE7CX4K6_" role="3Ip0Jz">
                   <node concept="3I6s7M" id="1oUE7CX4K6A" role="3I6sU7">
                     <node concept="3Aqt3T" id="1oUE7CX4K6B" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="1HFMs5" id="1oUE7CX4K6I" role="3AunhB">
                         <node concept="a7P8L" id="1oUE7CX4K6J" role="1uarlU">
                           <ref role="a7OzE" node="1oUE7CX4K6O" resolve="Cls" />
@@ -4330,7 +4138,7 @@
                     </node>
                     <node concept="3I6s7M" id="1oUE7CX4MH7" role="3I6sU7">
                       <node concept="3Aqt3T" id="1oUE7CX4MH8" role="3I6s78">
-                        <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                        <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                         <node concept="a7P8L" id="1oUE7CX4MHa" role="3AunhB">
                           <ref role="a7OzE" node="1oUE7CX4MHp" resolve="RuntimeType" />
                         </node>
@@ -4349,7 +4157,7 @@
                 <node concept="3I6sU6" id="1oUE7CX4MHc" role="3Ip0Jz">
                   <node concept="3I6s7M" id="1oUE7CX4MHd" role="3I6sU7">
                     <node concept="3Aqt3T" id="1oUE7CX4MHe" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="1HFMs5" id="1oUE7CX4MHi" role="3AunhB">
                         <node concept="a7P8L" id="1oUE7CX4MHj" role="1uarlU">
                           <ref role="a7OzE" node="1oUE7CX4MHm" resolve="Container" />
@@ -4407,7 +4215,7 @@
               <node concept="3I6sU6" id="1oUE7CX62qt" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1oUE7CX62qv" role="3I6sU7">
                   <node concept="3Aqt3T" id="1oUE7CX62qu" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="1oUE7CX62qV" role="3AunhB">
                       <node concept="a7P8L" id="1oUE7CX62qT" role="1uarlU">
                         <ref role="a7OzE" node="1oUE7CX62pO" resolve="L" />
@@ -4474,7 +4282,7 @@
               <node concept="3I6sU6" id="3Z1xyIvOjSX" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3Z1xyIvOjSY" role="3I6sU7">
                   <node concept="3Aqt3T" id="3Z1xyIvOjSZ" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="3Z1xyIvOjT0" role="3AunhB">
                       <node concept="a7P8L" id="3Z1xyIvOjT1" role="1uarlU">
                         <ref role="a7OzE" node="3Z1xyIvOjT5" resolve="L" />
@@ -4545,7 +4353,7 @@
               <node concept="3I6sU6" id="1oUE7CX62$S" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1oUE7CX62$T" role="3I6sU7">
                   <node concept="3Aqt3T" id="1oUE7CX62$U" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="1oUE7CX62$V" role="3AunhB">
                       <node concept="a7P8L" id="1oUE7CX62$W" role="1uarlU">
                         <ref role="a7OzE" node="1oUE7CX62_8" resolve="L" />
@@ -4641,7 +4449,7 @@
               <node concept="3I6sU6" id="1BcUSjgdCJp" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1BcUSjgdCJq" role="3I6sU7">
                   <node concept="3Aqt3T" id="1BcUSjgdCJr" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="1BcUSjgdCJs" role="3AunhB">
                       <node concept="a7P8L" id="1BcUSjgdCJt" role="1uarlU">
                         <ref role="a7OzE" node="1BcUSjgdCJD" resolve="L" />
@@ -4685,7 +4493,7 @@
                 <node concept="3I6sU6" id="1BcUSjgdCJM" role="3Ip0Jz">
                   <node concept="3I6s7M" id="1BcUSjgdCJN" role="3I6sU7">
                     <node concept="3Aqt3T" id="1BcUSjgdCRi" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="ns1u0" id="1BcUSjgdCSi" role="3AunhB">
                         <ref role="ns1xF" node="1oUE7CX3txF" resolve="iterator" />
                         <node concept="nsMwS" id="1BcUSjgdCSk" role="ns1xD">
@@ -4729,7 +4537,7 @@
               <node concept="3I6sU6" id="3Z1xyIwvQcy" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3Z1xyIwvQcz" role="3I6sU7">
                   <node concept="3Aqt3T" id="3Z1xyIwvQc$" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="3Z1xyIwvQc_" role="3AunhB">
                       <node concept="a7P8L" id="3Z1xyIwvQcA" role="1uarlU">
                         <ref role="a7OzE" node="3Z1xyIwvQcM" resolve="L" />
@@ -4825,7 +4633,7 @@
               <node concept="3I6sU6" id="3Z1xyIwvQiL" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3Z1xyIwvQiM" role="3I6sU7">
                   <node concept="3Aqt3T" id="3Z1xyIwvQiN" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="3Z1xyIwvQiO" role="3AunhB">
                       <node concept="a7P8L" id="3Z1xyIwvQiP" role="1uarlU">
                         <ref role="a7OzE" node="3Z1xyIwvQj1" resolve="L" />
@@ -4921,7 +4729,7 @@
               <node concept="3I6sU6" id="1oUE7CX62wh" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1oUE7CX62wi" role="3I6sU7">
                   <node concept="3Aqt3T" id="1oUE7CX62wj" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="1oUE7CX62wk" role="3AunhB">
                       <node concept="a7P8L" id="1oUE7CX62wl" role="1uarlU">
                         <ref role="a7OzE" node="1oUE7CX62ws" resolve="L" />
@@ -5017,7 +4825,7 @@
               <node concept="3I6sU6" id="1oUE7CX62Ay" role="3Ip0Jz">
                 <node concept="3I6s7M" id="1oUE7CX62Az" role="3I6sU7">
                   <node concept="3Aqt3T" id="1oUE7CX62A$" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="1oUE7CX62A_" role="3AunhB">
                       <node concept="a7P8L" id="1oUE7CX62AA" role="1uarlU">
                         <ref role="a7OzE" node="1oUE7CX62AS" resolve="L" />
@@ -8206,7 +8014,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIvRPPC" role="3I6sU7">
                     <node concept="3Aqt3T" id="1oUE7CX5_ad" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIvRPL4" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIvRPBb" resolve="Seq" />
                       </node>
@@ -8391,7 +8199,7 @@
                   </node>
                   <node concept="3I6s7M" id="1oUE7CX4Osc" role="3I6sU7">
                     <node concept="3Aqt3T" id="1oUE7CXcqDb" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIvRPRq" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIvRPLc" resolve="Seq" />
                       </node>
@@ -8622,7 +8430,7 @@
                           </node>
                           <node concept="3I6s7M" id="1oUE7CXlYQN" role="3I6sU7">
                             <node concept="3Aqt3T" id="1oUE7CXlYPZ" role="3I6s78">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="1oUE7CXlYQ3" role="3AunhB">
                                 <ref role="a7OzE" node="1oUE7CXlSoM" resolve="InitValue" />
                               </node>
@@ -8707,7 +8515,7 @@
                         <node concept="3I6sU6" id="1oUE7CXl_qq" role="3Ip0Jz">
                           <node concept="3I6s7M" id="1oUE7CXmiDl" role="3I6sU7">
                             <node concept="3Aqt3T" id="1oUE7CXmiDk" role="3I6s78">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="1oUE7CXmiDn" role="3AunhB">
                                 <ref role="a7OzE" node="1oUE7CXl_ql" resolve="InitSize" />
                               </node>
@@ -8815,7 +8623,7 @@
                           </node>
                           <node concept="3I6s7M" id="1oUE7CXmn4d" role="3I6sU7">
                             <node concept="3Aqt3T" id="1oUE7CXmmXA" role="3I6s78">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="1oUE7CXmmXE" role="3AunhB">
                                 <ref role="a7OzE" node="1oUE7CXlBcV" resolve="ArgCopyFrom" />
                               </node>
@@ -8954,7 +8762,7 @@
                               </node>
                               <node concept="3Aqczg" id="1oUE7CXmpfv" role="3cqZAp">
                                 <node concept="3Aqt3T" id="1oUE7CXmoRW" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                                   <node concept="a7P8L" id="1oUE7CXmpdM" role="3AunhB">
                                     <ref role="a7OzE" node="1oUE7CXmoj$" resolve="ArgClosure" />
                                   </node>
@@ -9158,7 +8966,7 @@
                           </node>
                           <node concept="3Aqczg" id="1oUE7CXmq0f" role="3cqZAp">
                             <node concept="3Aqt3T" id="1oUE7CXmq0g" role="3Aqpz8">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="1oUE7CXmqpl" role="3AunhB">
                                 <ref role="a7OzE" node="1oUE7CXmpZQ" resolve="ArgValue" />
                               </node>
@@ -9497,7 +9305,7 @@
                               </node>
                               <node concept="3Aqczg" id="1oUE7CXl8bp" role="3cqZAp">
                                 <node concept="3Aqt3T" id="1oUE7CXl8aD" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                                   <node concept="a7P8L" id="1oUE7CXl8EL" role="3AunhB">
                                     <ref role="a7OzE" node="1oUE7CXkU7M" resolve="ArgComparator" />
                                   </node>
@@ -9871,7 +9679,7 @@
                               </node>
                               <node concept="3I6s7M" id="1oUE7CXtHsr" role="3I6sU7">
                                 <node concept="3Aqt3T" id="1oUE7CXsUn9" role="3I6s78">
-                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                                   <node concept="a7P8L" id="1oUE7CXsUna" role="3AunhB">
                                     <ref role="a7OzE" node="1oUE7CXsUmX" resolve="EntryKey" />
                                   </node>
@@ -9953,7 +9761,7 @@
                               </node>
                               <node concept="3I6s7M" id="1oUE7CXtHsp" role="3I6sU7">
                                 <node concept="3Aqt3T" id="1oUE7CXt_1r" role="3I6s78">
-                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                                  <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                                   <node concept="a7P8L" id="1oUE7CXt_1s" role="3AunhB">
                                     <ref role="a7OzE" node="1oUE7CXt_13" resolve="EntryValue" />
                                   </node>
@@ -10064,7 +9872,7 @@
                         <node concept="3I6sU6" id="1oUE7CXt4LS" role="3Ip0Jz">
                           <node concept="3I6s7M" id="1oUE7CXt4LT" role="3I6sU7">
                             <node concept="3Aqt3T" id="1oUE7CXt4LU" role="3I6s78">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="1oUE7CXt4LV" role="3AunhB">
                                 <ref role="a7OzE" node="1oUE7CXt4LO" resolve="InitSize" />
                               </node>
@@ -10938,7 +10746,7 @@
                   </node>
                   <node concept="3I6s7M" id="1BcUSjgh45L" role="3I6sU7">
                     <node concept="3Aqt3T" id="1BcUSjgh45M" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="1BcUSjgh45N" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIvTefV" resolve="Operand" />
                       </node>
@@ -10990,7 +10798,7 @@
                   </node>
                   <node concept="3I6s7M" id="1BcUSjgh2VV" role="3I6sU7">
                     <node concept="3Aqt3T" id="1BcUSjgh2VT" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="1BcUSjgh40n" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIvTefV" resolve="Operand" />
                       </node>
@@ -15161,7 +14969,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIw0QS_" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIw0QSz" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIw0QWL" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIw0ESf" resolve="Operand" />
                       </node>
@@ -15408,7 +15216,7 @@
                       </node>
                       <node concept="3Aqczg" id="3Z1xyIwjgdr" role="3cqZAp">
                         <node concept="3Aqt3T" id="3Z1xyIwjgdp" role="3Aqpz8">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwjgdP" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwjg8b" resolve="RElem" />
                           </node>
@@ -15619,7 +15427,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwcCod" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwcCoe" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwcCof" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwcCe6" resolve="Operand" />
                       </node>
@@ -15691,7 +15499,7 @@
                     <node concept="3I6sU6" id="3Z1xyIw6dvC" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIw7n2o" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIw6dvO" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIw6dvP" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIw6dv$" resolve="Arg" />
                           </node>
@@ -15779,7 +15587,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwc9V8" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwc9V6" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwc9Vm" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwbleY" resolve="Operand" />
                       </node>
@@ -15848,7 +15656,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbSJU" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbSJZ" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbSK0" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbSK1" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbSJP" resolve="FromElem" />
                           </node>
@@ -15913,7 +15721,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbSQX" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbSQY" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbSQZ" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbSR0" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbSQT" resolve="ToElem" />
                           </node>
@@ -16001,7 +15809,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwcCHv" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwcCHw" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwcCHx" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwcCHj" resolve="Operand" />
                       </node>
@@ -16070,7 +15878,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbnhd" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbqHq" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbnhp" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbnhq" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbnh8" resolve="Arg" />
                           </node>
@@ -16158,7 +15966,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwcD1h" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwcD1i" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwcD1j" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwcD16" resolve="Operand" />
                       </node>
@@ -16227,7 +16035,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbxhY" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbxhZ" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbxi0" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbxi1" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbxhU" resolve="Arg" />
                           </node>
@@ -16325,7 +16133,7 @@
                       </node>
                       <node concept="3Aqczg" id="3Z1xyIwbQO_" role="3cqZAp">
                         <node concept="3Aqt3T" id="3Z1xyIwa2dJ" role="3Aqpz8">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwa2e3" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIw8RO2" resolve="Elem" />
                           </node>
@@ -16412,7 +16220,7 @@
                           </node>
                           <node concept="3I6s7M" id="3Z1xyIwbQHV" role="3I6sU7">
                             <node concept="3Aqt3T" id="3Z1xyIwbPYw" role="3I6s78">
-                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                              <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                               <node concept="a7P8L" id="3Z1xyIwbPYx" role="3AunhB">
                                 <ref role="a7OzE" node="3Z1xyIwbPYc" resolve="ArgDelim" />
                               </node>
@@ -16617,7 +16425,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwqW$k" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwqVQj" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwqVQu" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwqUwI" resolve="Operand" />
                       </node>
@@ -16689,7 +16497,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwqUxV" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwqUxW" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwqUxX" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwqUxY" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwqUxR" resolve="ArgIndex" />
                           </node>
@@ -16818,7 +16626,7 @@
                     <node concept="3I6sU6" id="3Z1xyIw7n61" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIw7n62" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIw7n63" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIw7n64" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIw7n5X" resolve="Arg" />
                           </node>
@@ -16947,7 +16755,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbrAD" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbrAE" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbrAF" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbrAG" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbrA_" resolve="Arg" />
                           </node>
@@ -17076,7 +16884,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbsk4" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbsk5" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbsk6" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbsk7" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbsk0" resolve="Arg" />
                           </node>
@@ -17256,7 +17064,7 @@
                       </node>
                       <node concept="3I6s7M" id="3Z1xyIwbNG6" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbNG7" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbNG8" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbNFX" resolve="ArgElem" />
                           </node>
@@ -17324,7 +17132,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbNGx" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbNGy" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbNGz" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbNG$" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbNGt" resolve="ArgIndex" />
                           </node>
@@ -17504,7 +17312,7 @@
                       </node>
                       <node concept="3I6s7M" id="3Z1xyIwbNq4" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbLPF" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbLPG" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbLPq" resolve="ArgElem" />
                           </node>
@@ -17572,7 +17380,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbMVe" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbNc1" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbMVi" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbMVj" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbMVa" resolve="ArgIndex" />
                           </node>
@@ -17715,7 +17523,7 @@
                     <node concept="3I6sU6" id="3Z1xyIwbg0x" role="3Ip0Jz">
                       <node concept="3I6s7M" id="3Z1xyIwbqH_" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwbg0_" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwbg0A" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwbg0t" resolve="ArgIndex" />
                           </node>
@@ -18506,7 +18314,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwjcJr" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwjcxi" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwjcxj" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwjcOL" resolve="Operand" />
                       </node>
@@ -18597,7 +18405,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwjdiB" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwjdiC" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwjdiD" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwjdis" resolve="Operand" />
                       </node>
@@ -18688,7 +18496,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwjdpa" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwjdpb" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwjdpc" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwjdoZ" resolve="Operand" />
                       </node>
@@ -18779,7 +18587,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwjdK8" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwjdK9" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwjdKa" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwjdJX" resolve="Operand" />
                       </node>
@@ -18870,7 +18678,7 @@
                   </node>
                   <node concept="3I6s7M" id="3Z1xyIwjdKG" role="3I6sU7">
                     <node concept="3Aqt3T" id="3Z1xyIwjdKH" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                      <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                       <node concept="a7P8L" id="3Z1xyIwjdKI" role="3AunhB">
                         <ref role="a7OzE" node="3Z1xyIwjdKx" resolve="Operand" />
                       </node>
@@ -24929,7 +24737,7 @@
                       </node>
                       <node concept="3I6s7M" id="3Z1xyIwzISz" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwzIS$" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwzIS_" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwzISo" resolve="Input" />
                           </node>
@@ -25015,7 +24823,7 @@
                       </node>
                       <node concept="3I6s7M" id="3Z1xyIwzJDJ" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwzJDK" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwzJDL" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwzISo" resolve="Input" />
                           </node>
@@ -25200,7 +25008,7 @@
                       </node>
                       <node concept="3I6s7M" id="3Z1xyIwzE6L" role="3I6sU7">
                         <node concept="3Aqt3T" id="3Z1xyIwzE6J" role="3I6s78">
-                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+                          <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
                           <node concept="a7P8L" id="3Z1xyIwzE6Z" role="3AunhB">
                             <ref role="a7OzE" node="3Z1xyIwzChC" resolve="SeqInput" />
                           </node>
diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
index c9bace79..30048b82 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
@@ -21,17 +21,6 @@
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
       </concept>
-      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
-      <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
-      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
-        <child id="1068431790190" name="initializer" index="33vP2m" />
-      </concept>
-      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
-        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
-      </concept>
-      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
-        <child id="5680397130376446158" name="type" index="1tU5fm" />
-      </concept>
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
         <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
@@ -40,29 +29,9 @@
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
-      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
-        <property id="1068580123138" name="value" index="3clFbU" />
-      </concept>
-      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
-        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
-      </concept>
-      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
-      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
-        <child id="1081516765348" name="expression" index="3fr31v" />
-      </concept>
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
       </concept>
-      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
-        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
-        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
-      </concept>
-      <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
-      <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
-        <child id="1163668914799" name="condition" index="3K4Cdx" />
-        <child id="1163668922816" name="ifTrue" index="3K4E3e" />
-        <child id="1163668934364" name="ifFalse" index="3K4GZi" />
-      </concept>
     </language>
     <language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
       <concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
@@ -225,7 +194,7 @@
               <node concept="3I6sU6" id="3MFPGC50KDu" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3MFPGC50KDv" role="3I6sU7">
                   <node concept="3Aqt3T" id="3MFPGC50KDw" role="3I6s78">
-                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                     <node concept="1HFMs5" id="3MFPGC50KDx" role="3AunhB">
                       <node concept="a7P8L" id="3MFPGC50KDy" role="1uarlU">
                         <ref role="a7OzE" node="3MFPGC50KDJ" resolve="T" />
@@ -285,7 +254,7 @@
                 <node concept="3I6sU6" id="3MFPGC50KDP" role="3Ip0Jz">
                   <node concept="3I6s7M" id="3MFPGC50KYx" role="3I6sU7">
                     <node concept="3Aqt3T" id="3MFPGC50KYw" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsToAlt" />
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="a7P8L" id="3MFPGC50L02" role="3AunhB">
                         <ref role="a7OzE" node="3MFPGC50KDL" resolve="TElem" />
                       </node>
@@ -329,12 +298,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CX4dOj" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversion" />
-        <node concept="3uibUv" id="1oUE7CX4dOl" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CX4dOd" role="3hEL4E">
         <node concept="3clFbJ" id="1oUE7CX4dPF" role="3cqZAp">
           <node concept="3clFbS" id="1oUE7CX4dPH" role="3clFbx">
@@ -358,45 +321,11 @@
           </node>
           <node concept="9aQIb" id="1oUE7CX4eif" role="9aQIa">
             <node concept="3clFbS" id="1oUE7CX4eig" role="9aQI4">
-              <node concept="3cpWs8" id="3R6X$QWh1eu" role="3cqZAp">
-                <node concept="3cpWsn" id="3R6X$QWh1ev" role="3cpWs9">
-                  <property role="TrG5h" value="allowUnchecked" />
-                  <node concept="10P_77" id="3R6X$QWh1ew" role="1tU5fm" />
-                  <node concept="3K4zz7" id="3R6X$QWh1ex" role="33vP2m">
-                    <node concept="3clFbT" id="3R6X$QWh1ey" role="3K4GZi">
-                      <property role="3clFbU" value="false" />
-                    </node>
-                    <node concept="3y3z36" id="3R6X$QWh1ez" role="3K4Cdx">
-                      <node concept="10Nm6u" id="3R6X$QWh1e$" role="3uHU7w" />
-                      <node concept="3hN9Ij" id="5itBwMb2eRK" role="3uHU7B">
-                        <ref role="3hLkJx" node="1oUE7CX4dOj" resolve="allowUncheckedConversion" />
-                      </node>
-                    </node>
-                    <node concept="3hN9Ij" id="5itBwMb2h4m" role="3K4E3e">
-                      <ref role="3hLkJx" node="1oUE7CX4dOj" resolve="allowUncheckedConversion" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3clFbJ" id="1oUE7CX4enQ" role="3cqZAp">
-                <node concept="3fqX7Q" id="51ek2rS8pKX" role="3clFbw">
-                  <node concept="37vLTw" id="51ek2rS8pKY" role="3fr31v">
-                    <ref role="3cqZAo" node="3R6X$QWh1ev" resolve="allowUnchecked" />
-                  </node>
-                </node>
-                <node concept="3clFbS" id="1oUE7CX4ep5" role="3clFbx">
-                  <node concept="3Aqczg" id="3qUnz9vkXjX" role="3cqZAp">
-                    <node concept="3jm4v3" id="3qUnz9vkXjV" role="3Aqpz8">
-                      <ref role="3jm46O" to="kqnc:3qUnz9vk$1o" resolve="classifierTypeNonGeneric" />
-                      <node concept="2tJFMh" id="3qUnz9vkXkb" role="3jicU7">
-                        <node concept="ZC_QK" id="3qUnz9vkXw7" role="2tJFKM">
-                          <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="1oUE7CX4eoX" role="3jm6SO">
-                        <ref role="a7OzE" node="1oUE7CX4eol" resolve="Type" />
-                      </node>
-                    </node>
+              <node concept="3Aqczg" id="6GOqnFkhAKJ" role="3cqZAp">
+                <node concept="3jm4v3" id="6GOqnFkhAKH" role="3Aqpz8">
+                  <ref role="3jm46O" to="kqnc:6GOqnFkhymi" resolve="erasedType" />
+                  <node concept="a7P8L" id="6GOqnFkhALn" role="3jm6SO">
+                    <ref role="a7OzE" node="1oUE7CX4eol" resolve="Type" />
                   </node>
                 </node>
               </node>
@@ -416,7 +345,7 @@
       <node concept="3clFbS" id="3Z1xyIvWi5u" role="3hEL4E">
         <node concept="3Aqczg" id="3Z1xyIvWi7S" role="3cqZAp">
           <node concept="3Aqt3T" id="3Z1xyIvWi7R" role="3Aqpz8">
-            <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="convertsTo" />
+            <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
             <node concept="a7P8L" id="3Z1xyIvWi7X" role="3AunhB">
               <ref role="a7OzE" node="3Z1xyIvWi7v" resolve="Sequence" />
             </node>
@@ -458,12 +387,6 @@
           <ref role="3uigEE" to="kqnc:6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="1oUE7CXmmlr" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversion" />
-        <node concept="3uibUv" id="1oUE7CXmmlt" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="1oUE7CXmlxM" role="3hEL4E">
         <node concept="3Aqczg" id="1oUE7CXmmkN" role="3cqZAp">
           <node concept="3jm4v3" id="1oUE7CXmmkL" role="3Aqpz8">
@@ -474,9 +397,6 @@
             <node concept="3hN9Ij" id="1oUE7CXmmlw" role="3jicU7">
               <ref role="3hLkJx" node="1oUE7CXmlyj" resolve="subs" />
             </node>
-            <node concept="3hN9Ij" id="1oUE7CXmml_" role="3jicU7">
-              <ref role="3hLkJx" node="1oUE7CXmmlr" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="1oUE7CXmmlg" role="3jm6SO">
               <ref role="a7OzE" node="1oUE7CXmmkR" resolve="Elem" />
             </node>
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 019c6fdd..a2342b2c 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
@@ -34,6 +34,7 @@
     <import index="pz2c" ref="r:2a308ea0-c7e3-4fa5-a624-ad74ee5cfab5(jetbrains.mps.baseLanguage.util)" />
     <import index="lehm" ref="r:464fcc95-fddb-47d1-b620-592cbf6b8bf2(jetbrains.mps.coderules.runtime.memoizer)" />
     <import index="tpdt" ref="r:00000000-0000-4000-0000-011c895902dd(jetbrains.mps.baseLanguage.blTypes.structure)" />
+    <import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.coderules.structure)" />
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
   </imports>
   <registry>
@@ -2729,34 +2730,6 @@
                         </node>
                       </node>
                       <node concept="3clFbH" id="53tmmMsqydc" role="3cqZAp" />
-                      <node concept="3SKdUt" id="53tmmMsDLP2" role="3cqZAp">
-                        <node concept="1PaTwC" id="53tmmMsDLP3" role="1aUNEU">
-                          <node concept="3oM_SD" id="53tmmMsDLP4" role="1PaTwD">
-                            <property role="3oM_SC" value="todo:" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsDNVm" role="1PaTwD">
-                            <property role="3oM_SC" value="ensure" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsDNVp" role="1PaTwD">
-                            <property role="3oM_SC" value="'allowUnchecked=true'" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsDNVt" role="1PaTwD">
-                            <property role="3oM_SC" value="is" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsDNVy" role="1PaTwD">
-                            <property role="3oM_SC" value="necessary" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3cpWs8" id="53tmmMsDLRZ" role="3cqZAp">
-                        <node concept="3cpWsn" id="53tmmMsDLS2" role="3cpWs9">
-                          <property role="TrG5h" value="allowUnchecked" />
-                          <node concept="10P_77" id="53tmmMsDLRX" role="1tU5fm" />
-                          <node concept="3clFbT" id="53tmmMsDLTK" role="33vP2m">
-                            <property role="3clFbU" value="true" />
-                          </node>
-                        </node>
-                      </node>
                       <node concept="3Aqczg" id="53tmmMsaHGQ" role="3cqZAp">
                         <node concept="3jm4v3" id="53tmmMsaHGM" role="3Aqpz8">
                           <ref role="3jm46O" node="53tmmMs9igR" resolve="instantiateScheme" />
@@ -2778,9 +2751,6 @@
                           <node concept="a7P8L" id="53tmmMsqxsW" role="3jm6SO">
                             <ref role="a7OzE" node="53tmmMsqqLO" resolve="ClsTySubs" />
                           </node>
-                          <node concept="37vLTw" id="53tmmMsDNVe" role="3jicU7">
-                            <ref role="3cqZAo" node="53tmmMsDLS2" resolve="allowUnchecked" />
-                          </node>
                         </node>
                       </node>
                       <node concept="3clFbH" id="53tmmMsaRqG" role="3cqZAp" />
@@ -3238,34 +3208,6 @@
                         </node>
                       </node>
                       <node concept="3clFbH" id="53tmmMsPiAX" role="3cqZAp" />
-                      <node concept="3SKdUt" id="53tmmMsPivQ" role="3cqZAp">
-                        <node concept="1PaTwC" id="53tmmMsPivR" role="1aUNEU">
-                          <node concept="3oM_SD" id="53tmmMsPivS" role="1PaTwD">
-                            <property role="3oM_SC" value="todo:" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsPivT" role="1PaTwD">
-                            <property role="3oM_SC" value="ensure" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsPivU" role="1PaTwD">
-                            <property role="3oM_SC" value="'allowUnchecked=true'" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsPivV" role="1PaTwD">
-                            <property role="3oM_SC" value="is" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsPivW" role="1PaTwD">
-                            <property role="3oM_SC" value="necessary" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3cpWs8" id="53tmmMsPivX" role="3cqZAp">
-                        <node concept="3cpWsn" id="53tmmMsPivY" role="3cpWs9">
-                          <property role="TrG5h" value="allowUnchecked" />
-                          <node concept="10P_77" id="53tmmMsPivZ" role="1tU5fm" />
-                          <node concept="3clFbT" id="53tmmMsPiw0" role="33vP2m">
-                            <property role="3clFbU" value="true" />
-                          </node>
-                        </node>
-                      </node>
                       <node concept="3Aqczg" id="53tmmMsueou" role="3cqZAp">
                         <node concept="3jm4v3" id="53tmmMsueov" role="3Aqpz8">
                           <ref role="3jm46O" node="53tmmMs9igR" resolve="instantiateScheme" />
@@ -3287,9 +3229,6 @@
                           <node concept="37vLTw" id="53tmmMsG4U6" role="3jicU7">
                             <ref role="3cqZAo" node="53tmmMsEfVc" resolve="ctvds" />
                           </node>
-                          <node concept="37vLTw" id="53tmmMsPiCK" role="3jicU7">
-                            <ref role="3cqZAo" node="53tmmMsPivY" resolve="allowUnchecked" />
-                          </node>
                         </node>
                       </node>
                       <node concept="3clFbH" id="53tmmMsueoA" role="3cqZAp" />
@@ -4142,34 +4081,6 @@
                           </node>
                         </node>
                       </node>
-                      <node concept="3SKdUt" id="53tmmMsXIAm" role="3cqZAp">
-                        <node concept="1PaTwC" id="53tmmMsXIAn" role="1aUNEU">
-                          <node concept="3oM_SD" id="53tmmMsXIAo" role="1PaTwD">
-                            <property role="3oM_SC" value="todo:" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsXIAp" role="1PaTwD">
-                            <property role="3oM_SC" value="ensure" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsXIAq" role="1PaTwD">
-                            <property role="3oM_SC" value="'allowUnchecked=true'" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsXIAr" role="1PaTwD">
-                            <property role="3oM_SC" value="is" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsXIAs" role="1PaTwD">
-                            <property role="3oM_SC" value="necessary" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3cpWs8" id="53tmmMsXIAt" role="3cqZAp">
-                        <node concept="3cpWsn" id="53tmmMsXIAu" role="3cpWs9">
-                          <property role="TrG5h" value="allowUnchecked" />
-                          <node concept="10P_77" id="53tmmMsXIAv" role="1tU5fm" />
-                          <node concept="3clFbT" id="53tmmMsXIAw" role="33vP2m">
-                            <property role="3clFbU" value="true" />
-                          </node>
-                        </node>
-                      </node>
                       <node concept="3SKdUt" id="53tmmMsXIAx" role="3cqZAp">
                         <node concept="1PaTwC" id="53tmmMsXIAy" role="1aUNEU">
                           <node concept="3oM_SD" id="53tmmMsXIAz" role="1PaTwD">
@@ -4216,9 +4127,6 @@
                           <node concept="37vLTw" id="53tmmMt8eZF" role="3jicU7">
                             <ref role="3cqZAo" node="53tmmMt5Bhd" resolve="baseClsTvds" />
                           </node>
-                          <node concept="37vLTw" id="53tmmMsXIAM" role="3jicU7">
-                            <ref role="3cqZAo" node="53tmmMsXIAu" resolve="allowUnchecked" />
-                          </node>
                           <node concept="a7P8L" id="53tmmMsXIAN" role="3jm6SO">
                             <ref role="a7OzE" node="53tmmMsXI_3" resolve="InstMethSig" />
                           </node>
@@ -4886,34 +4794,6 @@
                           </node>
                         </node>
                       </node>
-                      <node concept="3SKdUt" id="53tmmMsRSey" role="3cqZAp">
-                        <node concept="1PaTwC" id="53tmmMsRSez" role="1aUNEU">
-                          <node concept="3oM_SD" id="53tmmMsRSe$" role="1PaTwD">
-                            <property role="3oM_SC" value="todo:" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsRSe_" role="1PaTwD">
-                            <property role="3oM_SC" value="ensure" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsRSeA" role="1PaTwD">
-                            <property role="3oM_SC" value="'allowUnchecked=true'" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsRSeB" role="1PaTwD">
-                            <property role="3oM_SC" value="is" />
-                          </node>
-                          <node concept="3oM_SD" id="53tmmMsRSeC" role="1PaTwD">
-                            <property role="3oM_SC" value="necessary" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3cpWs8" id="53tmmMsSDyS" role="3cqZAp">
-                        <node concept="3cpWsn" id="53tmmMsSDyT" role="3cpWs9">
-                          <property role="TrG5h" value="allowUnchecked" />
-                          <node concept="10P_77" id="53tmmMsSDyU" role="1tU5fm" />
-                          <node concept="3clFbT" id="53tmmMsSDyV" role="33vP2m">
-                            <property role="3clFbU" value="true" />
-                          </node>
-                        </node>
-                      </node>
                       <node concept="3SKdUt" id="53tmmMsUMck" role="3cqZAp">
                         <node concept="1PaTwC" id="53tmmMsUMcl" role="1aUNEU">
                           <node concept="3oM_SD" id="53tmmMsUMcm" role="1PaTwD">
@@ -4960,9 +4840,6 @@
                           <node concept="37vLTw" id="53tmmMsSDz0" role="3jicU7">
                             <ref role="3cqZAo" node="4xoHD1GpWcG" resolve="ctvds" />
                           </node>
-                          <node concept="37vLTw" id="53tmmMsTmAh" role="3jicU7">
-                            <ref role="3cqZAo" node="53tmmMsSDyT" resolve="allowUnchecked" />
-                          </node>
                           <node concept="a7P8L" id="53tmmMsT5qz" role="3jm6SO">
                             <ref role="a7OzE" node="53tmmMsT3YG" resolve="InstMethSig" />
                           </node>
@@ -5251,6 +5128,9 @@
                     <node concept="a7P8L" id="3hZrJU5o36R" role="3AunhB">
                       <ref role="a7OzE" node="3hZrJU5o36Z" resolve="P" />
                     </node>
+                    <node concept="a7P8L" id="6GOqnFka01b" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9ZWm" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -5267,18 +5147,29 @@
               </node>
               <node concept="32pEOW" id="3hZrJU5o370" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="6GOqnFk9ZWl" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9ZWm" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFk9ZX2" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
             <node concept="3xSepi" id="3hZrJU5o371" role="3xSepv">
               <node concept="3Aq9E8" id="3hZrJU5o372" role="3xSepj">
                 <node concept="3I6sU6" id="3hZrJU5o373" role="3Ip0Jz">
                   <node concept="3I6s7M" id="3hZrJU5o37e" role="3I6sU7">
                     <node concept="3Aqt3T" id="3hZrJU5o37f" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="a7P8L" id="3hZrJU5o37g" role="3AunhB">
                         <ref role="a7OzE" node="3hZrJU5o36X" resolve="ArrElemType" />
                       </node>
                       <node concept="a7P8L" id="3hZrJU5o37h" role="3AunhB">
                         <ref role="a7OzE" node="3hZrJU5o36Z" resolve="P" />
                       </node>
+                      <node concept="a7P8L" id="6GOqnFka06L" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9ZWm" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -5304,6 +5195,9 @@
                     <node concept="a7P8L" id="3hZrJU5o3hg" role="3AunhB">
                       <ref role="a7OzE" node="3hZrJU5o3hk" resolve="P" />
                     </node>
+                    <node concept="a7P8L" id="6GOqnFka0eM" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFka0e4" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -5317,18 +5211,29 @@
               </node>
               <node concept="32pEOW" id="3hZrJU5o3hl" role="3vLBG7" />
             </node>
+            <node concept="3NuqgR" id="6GOqnFka0e3" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFka0e4" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFka0e5" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
             <node concept="3xSepi" id="3hZrJU5o3hm" role="3xSepv">
               <node concept="3Aq9E8" id="3hZrJU5o3hn" role="3xSepj">
                 <node concept="3I6sU6" id="3hZrJU5o3ho" role="3Ip0Jz">
                   <node concept="3I6s7M" id="3hZrJU5o3hp" role="3I6sU7">
                     <node concept="3Aqt3T" id="3hZrJU5o3hq" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="a7P8L" id="3hZrJU5o3t1" role="3AunhB">
                         <ref role="a7OzE" node="3hZrJU5o3hj" resolve="A" />
                       </node>
                       <node concept="a7P8L" id="3hZrJU5o3hs" role="3AunhB">
                         <ref role="a7OzE" node="3hZrJU5o3hk" resolve="P" />
                       </node>
+                      <node concept="a7P8L" id="6GOqnFka0nx" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFka0e4" resolve="Options" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -5348,6 +5253,12 @@
         <property role="TrG5h" value="varargParamType" />
         <node concept="32pEOW" id="3hZrJU5o32H" role="3gTf24" />
       </node>
+      <node concept="1zAUYm" id="6GOqnFk9ZN5" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="6GOqnFk9ZQq" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
     </node>
   </node>
   <node concept="AVZre" id="6KkyQm4aYIo">
@@ -6332,6 +6243,146 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="4s_lMmIqFcW" role="1nK1Vg">
+      <property role="TrG5h" value="raw_containedIn_any" />
+      <node concept="3clFbS" id="4s_lMmIqFcX" role="1nLNMH">
+        <node concept="1nLNNL" id="4s_lMmIqFcY" role="3cqZAp">
+          <node concept="1nLNMm" id="4s_lMmIqFcZ" role="1nLNNK">
+            <node concept="3Aq93q" id="4s_lMmIqFd0" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4s_lMmIqFd1" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4s_lMmIqFd2" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4s_lMmIqFd3" role="3I6s78">
+                    <ref role="3AqCNq" node="oCcpswVfdC" resolve="containedInAlt" />
+                    <node concept="1HFMs5" id="4s_lMmIqFd4" role="3AunhB">
+                      <node concept="a7P8L" id="4s_lMmIqFd5" role="1uarlU">
+                        <ref role="a7OzE" node="4s_lMmIqFda" resolve="Type" />
+                      </node>
+                      <node concept="ns1u0" id="4s_lMmIqFrL" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="4s_lMmIqFd7" role="3AunhB">
+                      <ref role="a7OzE" node="4s_lMmIqFdb" resolve="Any" />
+                    </node>
+                    <node concept="a7P8L" id="4s_lMmIqFd8" role="3AunhB">
+                      <ref role="a7OzE" node="4s_lMmIqFdf" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4s_lMmIqFd9" role="0Rg$4">
+              <node concept="aZer4" id="4s_lMmIqFda" role="3XD1gS">
+                <property role="TrG5h" value="Type" />
+              </node>
+              <node concept="aZer4" id="4s_lMmIqFdb" role="3XD1gS">
+                <property role="TrG5h" value="Any" />
+              </node>
+              <node concept="32pEOW" id="4s_lMmIqFdc" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="4s_lMmIqFdd" role="0Rg$4">
+              <node concept="3uibUv" id="4s_lMmIqFde" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="4s_lMmIqFdf" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFk9xrt" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFk9xru" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFk9xrv" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk9xrY" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFk9xrZ" role="3I6s78">
+                      <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                      <node concept="a7P8L" id="6GOqnFk9xvV" role="3AunhB">
+                        <ref role="a7OzE" node="4s_lMmIqFda" resolve="Type" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9x$w" role="3AunhB">
+                        <ref role="a7OzE" node="4s_lMmIqFdb" resolve="Any" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9xs2" role="3AunhB">
+                        <ref role="a7OzE" node="4s_lMmIqFdf" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6GOqnFk2FbL" role="1nK1Vg">
+      <property role="TrG5h" value="any_containedIn_raw" />
+      <node concept="3clFbS" id="6GOqnFk2FbM" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFk2FbN" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk2FbO" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFk2FbP" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk2FbQ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk2FbR" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk2FbS" role="3I6s78">
+                    <ref role="3AqCNq" node="oCcpswVfdC" resolve="containedInAlt" />
+                    <node concept="a7P8L" id="6GOqnFk2FPq" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk2Fc0" resolve="Any" />
+                    </node>
+                    <node concept="1HFMs5" id="6GOqnFk2FXc" role="3AunhB">
+                      <node concept="a7P8L" id="6GOqnFk2FTx" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFk2FbZ" resolve="Type" />
+                      </node>
+                      <node concept="ns1u0" id="6GOqnFk2G0Z" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk2FbX" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk2Fc4" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk2FbY" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk2FbZ" role="3XD1gS">
+                <property role="TrG5h" value="Type" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk2Fc0" role="3XD1gS">
+                <property role="TrG5h" value="Any" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk2Fc1" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk2Fc2" role="0Rg$4">
+              <node concept="3uibUv" id="6GOqnFk2Fc3" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk2Fc4" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFk9tGA" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFk9tGB" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFk9tGC" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk9tHj" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFk9tHi" role="3I6s78">
+                      <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                      <node concept="a7P8L" id="6GOqnFk9tPH" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk2Fc0" resolve="Any" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9tIM" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk2FbZ" resolve="Type" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9tNf" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk2Fc4" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="12QmIo_7slX" role="1nK1Vg">
       <property role="TrG5h" value="any_containedIn_wildcard" />
       <node concept="3clFbS" id="12QmIo_7slY" role="1nLNMH">
@@ -12022,6 +12073,168 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="6GOqnFksERf" role="1nK1Vg">
+      <property role="TrG5h" value="converts_erased_to_any" />
+      <node concept="3clFbS" id="6GOqnFksERg" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFksERh" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFksERi" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFksERj" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFksERk" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFksERl" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFksERm" role="3I6s78">
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="6GOqnFksERn" role="3AunhB">
+                      <node concept="ns1u0" id="6GOqnFksERo" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                        <node concept="nsMwS" id="6GOqnFksFxK" role="ns1xD">
+                          <ref role="nsMwP" node="6GOqnFkhyxQ" resolve="to" />
+                          <node concept="1nq8_$" id="6GOqnFksFyF" role="nsMwV">
+                            <node concept="a7P8L" id="6GOqnFksFyE" role="1nq8_t">
+                              <ref role="a7OzE" node="6GOqnFksFqT" resolve="Erased" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksERp" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFksERt" resolve="S" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFksERq" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFksERu" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFksERr" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFksERy" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFksERs" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFksERt" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksERu" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksFqT" role="3XD1gS">
+                <property role="TrG5h" value="Erased" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFksERv" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFksERw" role="0Rg$4">
+              <node concept="3uibUv" id="6GOqnFksERx" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksERy" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFksERz" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFksER$" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFksER_" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFksERA" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFksERB" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFksFzj" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksFqT" resolve="Erased" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksERD" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksERu" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksERE" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksERy" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6GOqnFksERF" role="1nK1Vg">
+      <property role="TrG5h" value="converts_any_to_erased" />
+      <node concept="3clFbS" id="6GOqnFksERG" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFksERH" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFksERI" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFksERJ" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFksERK" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFksERL" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFksERM" role="3I6s78">
+                    <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                    <node concept="a7P8L" id="6GOqnFksERN" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFksERT" resolve="S" />
+                    </node>
+                    <node concept="1HFMs5" id="6GOqnFksERO" role="3AunhB">
+                      <node concept="ns1u0" id="6GOqnFksERP" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                        <node concept="nsMwS" id="6GOqnFksFBS" role="ns1xD">
+                          <ref role="nsMwP" node="6GOqnFkhyxQ" resolve="to" />
+                          <node concept="1nq8_$" id="6GOqnFksFCN" role="nsMwV">
+                            <node concept="a7P8L" id="6GOqnFksFCM" role="1nq8_t">
+                              <ref role="a7OzE" node="6GOqnFksFl6" resolve="Erased" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksERQ" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFksERU" resolve="T" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFksERR" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFksERY" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFksERS" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFksERT" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksERU" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksFl6" role="3XD1gS">
+                <property role="TrG5h" value="Erased" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFksERV" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFksERW" role="0Rg$4">
+              <node concept="3uibUv" id="6GOqnFksERX" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksERY" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFksERZ" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFksES0" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFksES1" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFksES2" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFksES3" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFksES4" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksERT" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksFDr" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksFl6" resolve="Erased" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksES6" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksERY" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="3MFPGC50D1T" role="1nK1Vg">
       <property role="TrG5h" value="converts_runtimeType_classifier" />
       <node concept="3clFbS" id="3MFPGC50D1U" role="1nLNMH">
@@ -13979,12 +14192,6 @@
           <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3i76O8" id="5itBwMb2a1b" role="3i7zYg">
-        <property role="TrG5h" value="allowUncheckedConversion" />
-        <node concept="3uibUv" id="5itBwMb2ata" role="3i7YY_">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
     </node>
     <node concept="3iyZe8" id="5X1yxJHLgzH" role="0oKgB">
       <ref role="3iRiWT" node="5itBwMau8m1" resolve="lift" />
@@ -14569,102 +14776,6 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="12QmIo_7sj8" role="1nK1Vg">
-      <property role="TrG5h" value="dpromote_reflexive_raw" />
-      <node concept="3clFbS" id="12QmIo_7sj9" role="1nLNMH">
-        <node concept="3Hbl2A" id="3mytCjYUQc$" role="3cqZAp">
-          <node concept="3clFbS" id="3mytCjYUQcA" role="9aQI4">
-            <node concept="1nLNNL" id="12QmIo_7sja" role="3cqZAp">
-              <node concept="1nLNMm" id="12QmIo_7sjb" role="1nLNNK">
-                <node concept="3Aq93q" id="5310cdpKraC" role="1nLNMb">
-                  <property role="3ArMco" value="false" />
-                  <node concept="3I6sU6" id="5310cdpKraH" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="5310cdpKraI" role="3I6sU7">
-                      <node concept="3Aqt3T" id="5310cdpKraJ" role="3I6s78">
-                        <ref role="3AqCNq" node="WauyOOvQCY" resolve="dpromote" />
-                        <node concept="1HFMs5" id="1mdVbTSaq3c" role="3AunhB">
-                          <node concept="ns1u0" id="JOGAOsVtag" role="1uarlW">
-                            <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
-                            <node concept="nsMwS" id="JOGAOsVtai" role="ns1xD">
-                              <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
-                              <node concept="2OqwBi" id="2rIdnPv4fXU" role="nsMwV">
-                                <node concept="3A2sRY" id="Lu45F7uK6e" role="2Oq$k0">
-                                  <ref role="3A2yKK" node="5310cdpKraY" resolve="cls" />
-                                </node>
-                                <node concept="iZEcu" id="2rIdnPv4ha$" role="2OqNvi" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="5310cdpKraL" role="1uarlU">
-                            <ref role="a7OzE" node="5310cdpKraE" resolve="S" />
-                          </node>
-                        </node>
-                        <node concept="1HFMs5" id="1mdVbTSaq2W" role="3AunhB">
-                          <node concept="ns1u0" id="JOGAOsVt91" role="1uarlW">
-                            <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
-                            <node concept="nsMwS" id="JOGAOsVt93" role="ns1xD">
-                              <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
-                              <node concept="2OqwBi" id="2rIdnPv4hzB" role="nsMwV">
-                                <node concept="3A2sRY" id="Lu45F7uK5W" role="2Oq$k0">
-                                  <ref role="3A2yKK" node="5310cdpKraY" resolve="cls" />
-                                </node>
-                                <node concept="iZEcu" id="2rIdnPv4ikh" role="2OqNvi" />
-                              </node>
-                            </node>
-                            <node concept="nsMwS" id="2rIdnPwrAwh" role="ns1xD">
-                              <ref role="nsMwP" node="JOGAOsVt2d" resolve="kind" />
-                              <node concept="Xl_RD" id="2rIdnPwrAz_" role="nsMwV">
-                                <property role="Xl_RC" value="raw" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="5310cdpKraR" role="1uarlU">
-                            <ref role="a7OzE" node="5310cdpKraF" resolve="T" />
-                          </node>
-                        </node>
-                        <node concept="a7P8L" id="5310cdpKraW" role="3AunhB">
-                          <ref role="a7OzE" node="5310cdpKraG" resolve="SubclassPath" />
-                        </node>
-                        <node concept="a7P8L" id="oCcpsx1KNa" role="3AunhB">
-                          <ref role="a7OzE" node="oCcpsx1KKy" resolve="Options" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3NuqgR" id="5310cdpKr9a" role="0Rg$4">
-                  <node concept="aZer4" id="5310cdpKraE" role="3XD1gS">
-                    <property role="TrG5h" value="S" />
-                  </node>
-                  <node concept="aZer4" id="5310cdpKraF" role="3XD1gS">
-                    <property role="TrG5h" value="T" />
-                  </node>
-                  <node concept="aZer4" id="5310cdpKraG" role="3XD1gS">
-                    <property role="TrG5h" value="SubclassPath" />
-                  </node>
-                  <node concept="32pEOW" id="24ciDNzxNDe" role="3vLBG7" />
-                </node>
-                <node concept="3NuqgR" id="oCcpsx1KKx" role="0Rg$4">
-                  <node concept="aZer4" id="oCcpsx1KKy" role="3XD1gS">
-                    <property role="TrG5h" value="Options" />
-                  </node>
-                  <node concept="3uibUv" id="oCcpsx1KKz" role="3vLBG7">
-                    <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="3XUOzowvy7z" role="3cqZAp" />
-          </node>
-        </node>
-      </node>
-      <node concept="2t___k" id="5310cdpKraX" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:g7pOWCK" resolve="Classifier" />
-        <node concept="3A20r5" id="5310cdpKraY" role="2t_VXX">
-          <property role="TrG5h" value="cls" />
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="2rIdnPwrAgu" role="1nK1Vg">
       <property role="TrG5h" value="dpromote_reflexive" />
       <node concept="3clFbS" id="2rIdnPwrAgv" role="1nLNMH">
@@ -24640,6 +24751,76 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="4s_lMmIqJ9f" role="1nK1Vg">
+      <property role="TrG5h" value="recover_erased" />
+      <node concept="3clFbS" id="4s_lMmIqJ9g" role="1nLNMH">
+        <node concept="1nLNNL" id="4s_lMmIqJ9h" role="3cqZAp">
+          <node concept="1nLNMm" id="4s_lMmIqJ9i" role="1nLNNK">
+            <node concept="3Aq93q" id="4s_lMmIqJ9j" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4s_lMmIqJ9k" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4s_lMmIqJ9l" role="3I6sU7">
+                  <node concept="3Aqt3T" id="4s_lMmIqJ9m" role="3I6s78">
+                    <ref role="3AqCNq" node="6Qzc0KyJGJT" resolve="recover" />
+                    <node concept="a7P8L" id="4s_lMmIqJ9n" role="3AunhB">
+                      <ref role="a7OzE" node="4s_lMmIqJ9s" resolve="Node" />
+                    </node>
+                    <node concept="1HFMs5" id="4s_lMmIqJ9o" role="3AunhB">
+                      <node concept="ns1u0" id="4s_lMmIqJuT" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                        <node concept="nsMwS" id="6GOqnFksHTM" role="ns1xD">
+                          <ref role="nsMwP" node="6GOqnFkhyxQ" resolve="to" />
+                          <node concept="1nq8_$" id="6GOqnFksHUH" role="nsMwV">
+                            <node concept="a7P8L" id="6GOqnFksHUG" role="1nq8_t">
+                              <ref role="a7OzE" node="6GOqnFksHRD" resolve="TypeErased" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="4s_lMmIqJ9q" role="1uarlU">
+                        <ref role="a7OzE" node="4s_lMmIqJ9v" resolve="Type" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="4s_lMmIqJ9r" role="0Rg$4">
+              <node concept="aZer4" id="4s_lMmIqJ9s" role="3XD1gS">
+                <property role="TrG5h" value="Node" />
+              </node>
+              <node concept="3Tqbb2" id="4s_lMmIqJ9t" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="4s_lMmIqJ9u" role="0Rg$4">
+              <node concept="aZer4" id="4s_lMmIqJ9v" role="3XD1gS">
+                <property role="TrG5h" value="Type" />
+              </node>
+              <node concept="aZer4" id="6GOqnFksHRD" role="3XD1gS">
+                <property role="TrG5h" value="TypeErased" />
+              </node>
+              <node concept="32pEOW" id="4s_lMmIqJ9w" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="4s_lMmIqJ9x" role="3xSepv">
+              <node concept="3Aq9E8" id="4s_lMmIqJ9y" role="3xSepj">
+                <node concept="3I6sU6" id="4s_lMmIqJ9z" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFksHVT" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFksHVR" role="3I6s78">
+                      <ref role="3AqCNq" node="6Qzc0KyJGJT" resolve="recover" />
+                      <node concept="a7P8L" id="6GOqnFksIe9" role="3AunhB">
+                        <ref role="a7OzE" node="4s_lMmIqJ9s" resolve="Node" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFksI88" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFksHRD" resolve="TypeErased" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="6N2bvv_l1A5" role="1nK1Vg">
       <property role="TrG5h" value="recover_intersectionType" />
       <node concept="3clFbS" id="6N2bvv_l1A6" role="1nLNMH">
@@ -29377,9 +29558,6 @@
             <node concept="3i2tpf" id="ZJPHcuczo4" role="3jicU7">
               <ref role="3i285M" node="5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="ZJPHcuczoi" role="3jicU7">
-              <ref role="3i285M" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="ZJPHcucvxE" role="3jm6SO">
               <ref role="a7OzE" node="2o4j62BABrT" resolve="Type" />
             </node>
@@ -29414,12 +29592,6 @@
           <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="ZJPHcucy3M" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversion" />
-        <node concept="3uibUv" id="ZJPHcuh5Hc" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="6P1UyJpDZMj" role="3hEL4E">
         <node concept="1Dw8fO" id="1BcUSjgap3q" role="3cqZAp">
           <node concept="3clFbS" id="1BcUSjgap3s" role="2LFqv$">
@@ -29447,12 +29619,6 @@
                       <ref role="3hLkJx" node="ZJPHcucxZn" resolve="substitution" />
                     </node>
                   </node>
-                  <node concept="3jhG_Z" id="ZJPHcucySG" role="3jhGob">
-                    <ref role="3jhG_U" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                    <node concept="3hN9Ij" id="ZJPHcucySM" role="3jhG_S">
-                      <ref role="3hLkJx" node="ZJPHcucy3M" resolve="allowUncheckedConversion" />
-                    </node>
-                  </node>
                 </node>
               </node>
             </node>
@@ -29544,9 +29710,6 @@
             <node concept="3i2tpf" id="5itBwMb1Thl" role="3jicU7">
               <ref role="3i285M" node="5itBwMaLICh" resolve="substitution" />
             </node>
-            <node concept="3i2tpf" id="7WFMSEut5AE" role="3jicU7">
-              <ref role="3i285M" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-            </node>
             <node concept="a7P8L" id="5itBwMaV0lI" role="3jm6SO">
               <ref role="a7OzE" node="5itBwMaUTyz" resolve="Type" />
             </node>
@@ -29626,12 +29789,6 @@
           <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
         </node>
       </node>
-      <node concept="3hPv5a" id="5itBwMb24Gt" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversion" />
-        <node concept="3uibUv" id="5itBwMb25Et" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
-        </node>
-      </node>
       <node concept="3clFbS" id="5itBwMaSqCm" role="3hEL4E">
         <node concept="3cpWs8" id="3Z1xyIwmKJi" role="3cqZAp">
           <node concept="3cpWsn" id="3Z1xyIwmKJl" role="3cpWs9">
@@ -29908,12 +30065,6 @@
                                 <ref role="3cqZAo" node="1BcUSjgaxCP" resolve="i" />
                               </node>
                             </node>
-                            <node concept="3jhG_Y" id="14oWJ2Nuwrb" role="3jhGvd">
-                              <node concept="3jhG_Z" id="14oWJ2Nuw_t" role="3jhGob">
-                                <ref role="3jhG_U" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                                <node concept="3clFbT" id="14oWJ2NuwJL" role="3jhG_S" />
-                              </node>
-                            </node>
                           </node>
                         </node>
                       </node>
@@ -30005,140 +30156,26 @@
                     </node>
                   </node>
                   <node concept="3clFbH" id="3R6X$QWh1et" role="3cqZAp" />
-                  <node concept="3cpWs8" id="3R6X$QWh1eu" role="3cqZAp">
-                    <node concept="3cpWsn" id="3R6X$QWh1ev" role="3cpWs9">
-                      <property role="TrG5h" value="allowUnchecked" />
-                      <node concept="10P_77" id="3R6X$QWh1ew" role="1tU5fm" />
-                      <node concept="3K4zz7" id="3R6X$QWh1ex" role="33vP2m">
-                        <node concept="3clFbT" id="3R6X$QWh1ey" role="3K4GZi">
-                          <property role="3clFbU" value="false" />
-                        </node>
-                        <node concept="3y3z36" id="3R6X$QWh1ez" role="3K4Cdx">
-                          <node concept="10Nm6u" id="3R6X$QWh1e$" role="3uHU7w" />
-                          <node concept="3hN9Ij" id="5itBwMb2eRK" role="3uHU7B">
-                            <ref role="3hLkJx" node="5itBwMb24Gt" resolve="allowUncheckedConversion" />
-                          </node>
-                        </node>
-                        <node concept="3hN9Ij" id="5itBwMb2h4m" role="3K4E3e">
-                          <ref role="3hLkJx" node="5itBwMb24Gt" resolve="allowUncheckedConversion" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
                   <node concept="1DcWWT" id="4Ca87cv5_8U" role="3cqZAp">
                     <node concept="3clFbS" id="4Ca87cv5_8V" role="2LFqv$">
-                      <node concept="3clFbJ" id="4Ca87cv5CL3" role="3cqZAp">
-                        <node concept="3fqX7Q" id="51ek2rS8kkV" role="3clFbw">
-                          <node concept="37vLTw" id="51ek2rS8kkW" role="3fr31v">
-                            <ref role="3cqZAo" node="3R6X$QWh1ev" resolve="allowUnchecked" />
-                          </node>
-                        </node>
-                        <node concept="3clFbS" id="4Ca87cv5CLA" role="3clFbx">
-                          <node concept="3SKdUt" id="4Q8MVs$ZLpi" role="3cqZAp">
-                            <node concept="1PaTwC" id="4Q8MVs$ZLpj" role="1aUNEU">
-                              <node concept="3oM_SD" id="4Q8MVs$ZLpl" role="1PaTwD">
-                                <property role="3oM_SC" value="for" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs_3uKm" role="1PaTwD">
-                                <property role="3oM_SC" value="a" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLxs" role="1PaTwD">
-                                <property role="3oM_SC" value="type" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLyL" role="1PaTwD">
-                                <property role="3oM_SC" value="variable" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLAB" role="1PaTwD">
-                                <property role="3oM_SC" value="produce" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLsl" role="1PaTwD">
-                                <property role="3oM_SC" value="type" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLG9" role="1PaTwD">
-                                <property role="3oM_SC" value="erasure" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLHw" role="1PaTwD">
-                                <property role="3oM_SC" value="--" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLK8" role="1PaTwD">
-                                <property role="3oM_SC" value="its" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs$ZLML" role="1PaTwD">
-                                <property role="3oM_SC" value="leftmost" />
-                              </node>
-                              <node concept="3oM_SD" id="4Q8MVs_3uF9" role="1PaTwD">
-                                <property role="3oM_SC" value="bound" />
-                              </node>
+                      <node concept="3Aqczg" id="6GOqnFkhze_" role="3cqZAp">
+                        <node concept="3jm4v3" id="6GOqnFkhzez" role="3Aqpz8">
+                          <ref role="3jm46O" node="6GOqnFkhymi" resolve="erasedType" />
+                          <node concept="2OqwBi" id="6GOqnFkhAdf" role="3jicU7">
+                            <node concept="37vLTw" id="6GOqnFkhzlK" role="2Oq$k0">
+                              <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
+                            </node>
+                            <node concept="3TrEf2" id="6GOqnFkhAuo" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
                             </node>
                           </node>
-                          <node concept="3X$Joe" id="4Q8MVs$ZJDT" role="3cqZAp">
-                            <node concept="aZer4" id="4Q8MVs$ZJNp" role="3XD1gS">
-                              <property role="TrG5h" value="Bound" />
-                            </node>
-                            <node concept="32pEOW" id="4Q8MVs$ZJDW" role="3vLBG7" />
-                          </node>
-                          <node concept="3clFbJ" id="4Q8MVs_1CZi" role="3cqZAp">
-                            <node concept="3clFbS" id="4Q8MVs_1CZk" role="3clFbx">
-                              <node concept="3Aqczg" id="5itBwMaTqd6" role="3cqZAp">
-                                <node concept="3jbYBd" id="5itBwMaTqd3" role="3Aqpz8">
-                                  <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
-                                  <node concept="2OqwBi" id="5itBwMaTrE5" role="3jbY8P">
-                                    <node concept="37vLTw" id="5itBwMaTrwV" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
-                                    </node>
-                                    <node concept="3TrEf2" id="5itBwMaTsnn" role="2OqNvi">
-                                      <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
-                                    </node>
-                                  </node>
-                                  <node concept="a7P8L" id="5itBwMaTqD8" role="3jbY8V">
-                                    <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="2OqwBi" id="4Q8MVs_1DHF" role="3clFbw">
-                              <node concept="2OqwBi" id="4Q8MVs_1Dcz" role="2Oq$k0">
-                                <node concept="37vLTw" id="4Q8MVs_1D1k" role="2Oq$k0">
-                                  <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
-                                </node>
-                                <node concept="3TrEf2" id="4Q8MVs_1DoP" role="2OqNvi">
-                                  <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
-                                </node>
-                              </node>
-                              <node concept="3x8VRR" id="4Q8MVs_1E32" role="2OqNvi" />
-                            </node>
-                            <node concept="9aQIb" id="4Q8MVs_1EsU" role="9aQIa">
-                              <node concept="3clFbS" id="4Q8MVs_1EsV" role="9aQI4">
-                                <node concept="3Aqczg" id="3qUnz9vkXjX" role="3cqZAp">
-                                  <node concept="3jm4v3" id="3qUnz9vkXjV" role="3Aqpz8">
-                                    <ref role="3jm46O" node="3qUnz9vk$1o" resolve="classifierTypeNonGeneric" />
-                                    <node concept="2tJFMh" id="3qUnz9vkXkb" role="3jicU7">
-                                      <node concept="ZC_QK" id="3qUnz9vkXw7" role="2tJFKM">
-                                        <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
-                                      </node>
-                                    </node>
-                                    <node concept="a7P8L" id="3qUnz9vkXk2" role="3jm6SO">
-                                      <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="3Aqczg" id="4Q8MVs$ZKtg" role="3cqZAp">
-                            <node concept="3A8Hvi" id="4Q8MVs$ZKta" role="3Aqpz8">
-                              <node concept="a7P8L" id="4Q8MVs$ZKuZ" role="3A8wtg">
-                                <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                                <node concept="2OqwBi" id="4Q8MVs$ZKP$" role="3gCZO6">
-                                  <node concept="37vLTw" id="4Q8MVs$ZKyV" role="2Oq$k0">
-                                    <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
-                                  </node>
-                                  <node concept="2bSWHS" id="4Q8MVs$ZL34" role="2OqNvi" />
-                                </node>
-                              </node>
-                              <node concept="a7P8L" id="4Q8MVs$ZLc4" role="3A8w4Q">
-                                <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
+                          <node concept="a7P8L" id="6GOqnFkhzeL" role="3jm6SO">
+                            <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
+                            <node concept="2OqwBi" id="6GOqnFkhzeM" role="3gCZO6">
+                              <node concept="37vLTw" id="6GOqnFkhzeN" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
                               </node>
+                              <node concept="2bSWHS" id="6GOqnFkhzeO" role="2OqNvi" />
                             </node>
                           </node>
                         </node>
@@ -30591,6 +30628,91 @@
         <node concept="32pEOW" id="5itBwMaVhqV" role="3vLBG7" />
       </node>
     </node>
+    <node concept="3hwh0R" id="6GOqnFkhymi" role="0oKgB">
+      <property role="TrG5h" value="erasedType" />
+      <node concept="3hPv5a" id="6GOqnFkhyxT" role="3hP23H">
+        <property role="TrG5h" value="eraseTo" />
+        <node concept="3Tqbb2" id="6GOqnFkhyxX" role="3hPmi9">
+          <ref role="ehGHo" to="tpee:fz3vP1H" resolve="Type" />
+        </node>
+      </node>
+      <node concept="3hPv5a" id="6GOqnFkhyzx" role="3hP23H">
+        <property role="TrG5h" value="subs" />
+        <node concept="3uibUv" id="6GOqnFkhyzB" role="3hPmi9">
+          <ref role="3uigEE" node="6EY0p2w8VOq" resolve="TypeVarSubstitution" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="6GOqnFkhymk" role="3hEL4E">
+        <node concept="3clFbJ" id="6GOqnFkhy$I" role="3cqZAp">
+          <node concept="3clFbS" id="6GOqnFkhy$J" role="3clFbx">
+            <node concept="3Aqczg" id="6GOqnFkhy$K" role="3cqZAp">
+              <node concept="3jbYBd" id="6GOqnFkhy$L" role="3Aqpz8">
+                <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />
+                <node concept="3hN9Ij" id="6GOqnFkhyTA" role="3jbY8P">
+                  <ref role="3hLkJx" node="6GOqnFkhyxT" resolve="eraseTo" />
+                </node>
+                <node concept="a7P8L" id="6GOqnFkhy$P" role="3jbY8V">
+                  <ref role="a7OzE" node="6GOqnFkhyyQ" resolve="Bound" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="2OqwBi" id="6GOqnFkhy$Q" role="3clFbw">
+            <node concept="3hN9Ij" id="6GOqnFkhyTG" role="2Oq$k0">
+              <ref role="3hLkJx" node="6GOqnFkhyxT" resolve="eraseTo" />
+            </node>
+            <node concept="3x8VRR" id="6GOqnFkhy$U" role="2OqNvi" />
+          </node>
+          <node concept="9aQIb" id="6GOqnFkhy$V" role="9aQIa">
+            <node concept="3clFbS" id="6GOqnFkhy$W" role="9aQI4">
+              <node concept="3Aqczg" id="6GOqnFkhy$X" role="3cqZAp">
+                <node concept="3jm4v3" id="6GOqnFkhy$Y" role="3Aqpz8">
+                  <ref role="3jm46O" node="3qUnz9vk$1o" resolve="classifierTypeNonGeneric" />
+                  <node concept="2tJFMh" id="6GOqnFkhy$Z" role="3jicU7">
+                    <node concept="ZC_QK" id="6GOqnFkhy_0" role="2tJFKM">
+                      <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
+                    </node>
+                  </node>
+                  <node concept="a7P8L" id="6GOqnFkhy_1" role="3jm6SO">
+                    <ref role="a7OzE" node="6GOqnFkhyyQ" resolve="Bound" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3Aqczg" id="6GOqnFkhyPU" role="3cqZAp">
+          <node concept="3A8Hvi" id="6GOqnFkhyPO" role="3Aqpz8">
+            <node concept="a7P8L" id="6GOqnFkhyQj" role="3A8wtg">
+              <ref role="a7OzE" node="6GOqnFkhyy2" resolve="ErasedType" />
+            </node>
+            <node concept="ns1u0" id="6GOqnFkhyQq" role="3A8w4Q">
+              <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+              <node concept="nsMwS" id="6GOqnFkhyQs" role="ns1xD">
+                <ref role="nsMwP" node="6GOqnFkhyxQ" resolve="to" />
+                <node concept="1nq8_$" id="6GOqnFkhyQx" role="nsMwV">
+                  <node concept="a7P8L" id="6GOqnFkhyQw" role="1nq8_t">
+                    <ref role="a7OzE" node="6GOqnFkhyyQ" resolve="Bound" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3uniRu" id="6GOqnFkhyy1" role="3h32gL">
+        <node concept="aZer4" id="6GOqnFkhyy2" role="3XD1gS">
+          <property role="TrG5h" value="ErasedType" />
+        </node>
+        <node concept="32pEOW" id="6GOqnFkhyye" role="3vLBG7" />
+      </node>
+      <node concept="3uniRu" id="6GOqnFkhyyP" role="3hEOkk">
+        <node concept="aZer4" id="6GOqnFkhyyQ" role="3XD1gS">
+          <property role="TrG5h" value="Bound" />
+        </node>
+        <node concept="32pEOW" id="6GOqnFkhyz2" role="3vLBG7" />
+      </node>
+    </node>
   </node>
   <node concept="312cEu" id="6EY0p2w8VOq">
     <property role="TrG5h" value="TypeVarSubstitution" />
@@ -39606,12 +39728,27 @@
                                               </node>
                                             </node>
                                           </node>
-                                          <node concept="3Aqczg" id="1GAclsBNgST" role="3cqZAp">
-                                            <node concept="3A8Hvi" id="1GAclsBNgSU" role="3Aqpz8">
-                                              <node concept="a7P8L" id="1GAclsBNgSV" role="3A8wtg">
+                                          <node concept="1X3_iC" id="6GOqnFkuYpU" role="lGtFl">
+                                            <property role="3V$3am" value="statement" />
+                                            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                                            <node concept="3Aqczg" id="1GAclsBNgST" role="8Wnug">
+                                              <node concept="3A8Hvi" id="1GAclsBNgSU" role="3Aqpz8">
+                                                <node concept="a7P8L" id="1GAclsBNgSV" role="3A8wtg">
+                                                  <ref role="a7OzE" node="1GAclsBNgSH" resolve="ArgTy" />
+                                                </node>
+                                                <node concept="a7P8L" id="1GAclsBNgSW" role="3A8w4Q">
+                                                  <ref role="a7OzE" node="1GAclsBNgSI" resolve="BaseArgTy" />
+                                                </node>
+                                              </node>
+                                            </node>
+                                          </node>
+                                          <node concept="3Aqczg" id="6GOqnFkuXZH" role="3cqZAp">
+                                            <node concept="3Aqt3T" id="6GOqnFkuXZF" role="3Aqpz8">
+                                              <ref role="3AqCNq" node="6GOqnFkuUKb" resolve="isomorphic" />
+                                              <node concept="a7P8L" id="6GOqnFkuY0X" role="3AunhB">
                                                 <ref role="a7OzE" node="1GAclsBNgSH" resolve="ArgTy" />
                                               </node>
-                                              <node concept="a7P8L" id="1GAclsBNgSW" role="3A8w4Q">
+                                              <node concept="a7P8L" id="6GOqnFkuY5r" role="3AunhB">
                                                 <ref role="a7OzE" node="1GAclsBNgSI" resolve="BaseArgTy" />
                                               </node>
                                             </node>
@@ -40074,6 +40211,125 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="6GOqnFk9V8q" role="1nK1Vg">
+      <property role="TrG5h" value="converts_safe_alt" />
+      <node concept="3clFbS" id="6GOqnFk9V8r" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFk9V8s" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk9V8t" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFk9V8u" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk9V8v" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9V8w" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk9V8x" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFk9V2f" resolve="convertsToSafeAlt" />
+                    <node concept="a7P8L" id="6GOqnFk9V8y" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9V8G" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9V8z" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9V8H" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9Vvs" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9Vrz" resolve="Options" />
+                    </node>
+                    <node concept="ns1u0" id="6GOqnFk9V8$" role="3AunhB">
+                      <ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
+                      <node concept="nsMwS" id="6GOqnFk9V8_" role="ns1xD">
+                        <ref role="nsMwP" node="6u6$XO93nuB" resolve="node" />
+                        <node concept="1nq8_$" id="6GOqnFk9V8A" role="nsMwV">
+                          <node concept="a7P8L" id="6GOqnFk9V8B" role="1nq8_t">
+                            <ref role="a7OzE" node="6GOqnFk9V8K" resolve="Target" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="nsMwS" id="6GOqnFk9V8C" role="ns1xD">
+                        <ref role="nsMwP" node="6u6$XO93nuN" resolve="msg" />
+                        <node concept="1nq8_$" id="6GOqnFk9V8D" role="nsMwV">
+                          <node concept="a7P8L" id="6GOqnFk9V8E" role="1nq8_t">
+                            <ref role="a7OzE" node="6GOqnFk9V8N" resolve="Msg" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9V8F" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9V8G" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9V8H" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk9V8I" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9V8J" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9V8K" role="3XD1gS">
+                <property role="TrG5h" value="Target" />
+              </node>
+              <node concept="3Tqbb2" id="6GOqnFk9V8L" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9V8M" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9V8N" role="3XD1gS">
+                <property role="TrG5h" value="Msg" />
+              </node>
+              <node concept="17QB3L" id="6GOqnFk9V8O" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9Vrx" role="0Rg$4">
+              <node concept="3uibUv" id="6GOqnFk9Vry" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9Vrz" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFk9V8P" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFk9V8Q" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFk9V8R" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk9V8S" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFk9V8T" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFk9V8U" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9V8G" resolve="S" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9V8V" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9V8H" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFk9VDE" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9Vrz" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFk9V8W" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFk9V8X" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFk9V8Y" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk9V8Z" role="3I6sU7">
+                    <node concept="1lHd6T" id="6GOqnFk9V90" role="3I6s78">
+                      <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                      <node concept="3G3gwz" id="6GOqnFk9V91" role="3Gvizk">
+                        <node concept="1Ft4W6" id="6GOqnFk9V92" role="3G3gzb">
+                          <node concept="a7P8L" id="6GOqnFk9V93" role="1FtiSR">
+                            <ref role="a7OzE" node="6GOqnFk9V8K" resolve="Target" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="1Ft4W6" id="6GOqnFk9V94" role="1ljv2e">
+                        <node concept="a7P8L" id="6GOqnFk9V95" role="1FtiSR">
+                          <ref role="a7OzE" node="6GOqnFk9V8N" resolve="Msg" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="1yt2T3T1NKR" role="1nK1Vg">
       <property role="TrG5h" value="convertsAllTo" />
       <node concept="3clFbS" id="1yt2T3T1NKS" role="1nLNMH">
@@ -40910,6 +41166,114 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="6GOqnFkuVjK" role="1nK1Vg">
+      <property role="TrG5h" value="isomorphic" />
+      <node concept="3clFbS" id="6GOqnFkuVjL" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFkuVwp" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFkuVwq" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFkuVwr" role="1nLNMb">
+              <node concept="3I6sU6" id="6GOqnFkuVws" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFkuVwt" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFkuVwu" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFkuUKb" resolve="isomorphic" />
+                    <node concept="a7P8L" id="6GOqnFkuVwv" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFkuVwy" resolve="AType" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFkuVww" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFkuVwz" resolve="BType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFkuVwx" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFkuVwy" role="3XD1gS">
+                <property role="TrG5h" value="AType" />
+              </node>
+              <node concept="aZer4" id="6GOqnFkuVwz" role="3XD1gS">
+                <property role="TrG5h" value="BType" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFkuVw$" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFkuVE7" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFkuVE8" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFkuVEN" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFkuVw_" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFkuVwA" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFkuVwB" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk$KVT" role="3I6sU7">
+                    <node concept="3A8Hvi" id="6GOqnFk$KVN" role="3I6s78">
+                      <node concept="a7P8L" id="6GOqnFk$Lam" role="3A8wtg">
+                        <ref role="a7OzE" node="6GOqnFkuVE8" resolve="Options" />
+                      </node>
+                      <node concept="37jhX" id="6GOqnFk$L5X" role="3A8w4Q">
+                        <node concept="2OqwBi" id="6GOqnFkuWD3" role="37jj2">
+                          <node concept="2OqwBi" id="6GOqnFkuWmJ" role="2Oq$k0">
+                            <node concept="2OqwBi" id="6GOqnFkuW4r" role="2Oq$k0">
+                              <node concept="2OqwBi" id="6GOqnFkuVQQ" role="2Oq$k0">
+                                <node concept="2YIFZM" id="6GOqnFkuVKr" role="2Oq$k0">
+                                  <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                                  <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                                </node>
+                                <node concept="liA8E" id="6GOqnFkuVX_" role="2OqNvi">
+                                  <ref role="37wK5l" node="3vTJNooZC29" resolve="checkOnly" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="6GOqnFkySfQ" role="2OqNvi">
+                                <ref role="37wK5l" node="6GOqnFk9lVa" resolve="forbidUnchecked" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="6GOqnFkuWwz" role="2OqNvi">
+                              <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="6GOqnFkuWNR" role="2OqNvi">
+                            <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="6GOqnFkuVwC" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFkuWTV" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFkuX6w" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVwy" resolve="AType" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkuWVq" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVwz" resolve="BType" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkuX1e" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVE8" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="6GOqnFkuXdU" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFkuXdS" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFkuXgc" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVwz" resolve="BType" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkuXnK" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVwy" resolve="AType" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkuXw9" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkuVE8" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="3AqmO8" id="2i6cuYQyoLv" role="8PkJo">
       <property role="TrG5h" value="strictConvertsTo" />
       <property role="3AqDzJ" value="2" />
@@ -41019,6 +41383,32 @@
         <node concept="32pEOW" id="6u6$XO96Mvq" role="3gTf24" />
       </node>
     </node>
+    <node concept="3AqmO8" id="6GOqnFk9V2f" role="8PkJo">
+      <property role="TrG5h" value="convertsToSafeAlt" />
+      <node concept="1zAUYm" id="6GOqnFk9V2g" role="1zAUyy">
+        <property role="TrG5h" value="subType" />
+        <node concept="32pEOW" id="6GOqnFk9V2h" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6GOqnFk9V2i" role="1zAUyy">
+        <property role="TrG5h" value="superType" />
+        <node concept="32pEOW" id="6GOqnFk9V2j" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6GOqnFk9V5v" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="6GOqnFk9V7L" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+      <node concept="1zAsnw" id="6GOqnFk9V2k" role="lGtFl">
+        <node concept="3SKdUq" id="6GOqnFk9V2l" role="27qylF">
+          <property role="3SKdUp" value="convertsTo catching errors" />
+        </node>
+      </node>
+      <node concept="1zAUYm" id="6GOqnFk9V2m" role="1zAUyy">
+        <property role="TrG5h" value="errorSpec" />
+        <node concept="32pEOW" id="6GOqnFk9V2n" role="3gTf24" />
+      </node>
+    </node>
     <node concept="3AqmO8" id="ONSj15RYDg" role="8PkJo">
       <property role="TrG5h" value="compatibleWith" />
       <property role="3AqDzJ" value="2" />
@@ -41046,9 +41436,22 @@
       <property role="TrG5h" value="comparable" />
       <node concept="1zAUYm" id="6RzTUCTeZm_" role="1zAUyy">
         <property role="TrG5h" value="left" />
+        <node concept="32pEOW" id="6GOqnFkuVdA" role="3gTf24" />
       </node>
       <node concept="1zAUYm" id="6RzTUCTeZsf" role="1zAUyy">
         <property role="TrG5h" value="right" />
+        <node concept="32pEOW" id="6GOqnFkuVhF" role="3gTf24" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="6GOqnFkuUKb" role="8PkJo">
+      <property role="TrG5h" value="isomorphic" />
+      <node concept="1zAUYm" id="6GOqnFkuUZ_" role="1zAUyy">
+        <property role="TrG5h" value="left" />
+        <node concept="32pEOW" id="6GOqnFkuV1m" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6GOqnFkuV1p" role="1zAUyy">
+        <property role="TrG5h" value="right" />
+        <node concept="32pEOW" id="6GOqnFkuV50" role="3gTf24" />
       </node>
     </node>
   </node>
@@ -42059,17 +42462,6 @@
         </node>
       </node>
     </node>
-    <node concept="ns1x$" id="4btN1w5JLyI" role="ns1xc">
-      <property role="TrG5h" value="typeVariableDecl" />
-      <node concept="nspSf" id="4btN1w5JLyJ" role="ns1xx">
-        <node concept="nstbe" id="4btN1w5JMhq" role="nspSe">
-          <property role="TrG5h" value="var" />
-        </node>
-        <node concept="nstbe" id="4btN1w5JM28" role="nspSe">
-          <property role="TrG5h" value="bound" />
-        </node>
-      </node>
-    </node>
     <node concept="ns1x$" id="JOGAOsVt2f" role="ns1xc">
       <property role="TrG5h" value="typeVariable" />
       <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
@@ -42080,6 +42472,15 @@
         </node>
       </node>
     </node>
+    <node concept="ns1x$" id="4s_lMmIqD14" role="ns1xc">
+      <property role="TrG5h" value="erased" />
+      <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
+      <node concept="nspSf" id="4s_lMmIqD15" role="ns1xx">
+        <node concept="nstbe" id="6GOqnFkhyxQ" role="nspSe">
+          <property role="TrG5h" value="to" />
+        </node>
+      </node>
+    </node>
     <node concept="ns1x$" id="JOGAOsVt2j" role="ns1xc">
       <property role="TrG5h" value="captureOf" />
       <ref role="ns1xW" node="4lCLOtwq2MF" resolve="type" />
@@ -42461,14 +42862,6 @@
                       <node concept="a7P8L" id="tbauFybkiW" role="3jbY8V">
                         <ref role="a7OzE" node="tbauFybkiD" resolve="B" />
                       </node>
-                      <node concept="3jhG_Y" id="61G6TdEgNS3" role="3jhGvd">
-                        <node concept="3jhG_Z" id="61G6TdEgNSl" role="3jhGob">
-                          <ref role="3jhG_U" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                          <node concept="3clFbT" id="61G6TdEgNSp" role="3jhG_S">
-                            <property role="3clFbU" value="true" />
-                          </node>
-                        </node>
-                      </node>
                     </node>
                   </node>
                 </node>
@@ -42477,13 +42870,34 @@
                 <node concept="3I6sU6" id="tbauFybkiY" role="3Ip0Jz">
                   <node concept="3I6s7M" id="tbauFybkiZ" role="3I6sU7">
                     <node concept="3Aqt3T" id="tbauFybkj0" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
                       <node concept="a7P8L" id="tbauFybkj1" role="3AunhB">
                         <ref role="a7OzE" node="tbauFybkiC" resolve="A" />
                       </node>
                       <node concept="a7P8L" id="tbauFybkj2" role="3AunhB">
                         <ref role="a7OzE" node="tbauFybkiD" resolve="B" />
                       </node>
+                      <node concept="37jhX" id="6GOqnFk$QMh" role="3AunhB">
+                        <node concept="2OqwBi" id="6GOqnFk$RHN" role="37jj2">
+                          <node concept="2OqwBi" id="6GOqnFk$Ruc" role="2Oq$k0">
+                            <node concept="2OqwBi" id="6GOqnFk$Rgz" role="2Oq$k0">
+                              <node concept="2YIFZM" id="6GOqnFk$R4j" role="2Oq$k0">
+                                <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                                <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                              </node>
+                              <node concept="liA8E" id="6GOqnFkCDWX" role="2OqNvi">
+                                <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="6GOqnFk$RB5" role="2OqNvi">
+                              <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="6GOqnFk$RS1" role="2OqNvi">
+                            <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                   <node concept="3I6s7M" id="tbauFybkj3" role="3I6sU7">
@@ -42782,6 +43196,39 @@
           </node>
         </node>
         <node concept="3clFbH" id="3hZrJU5nY21" role="3cqZAp" />
+        <node concept="3Aqczg" id="6GOqnFk9Y7i" role="3cqZAp">
+          <node concept="3A8Hvi" id="6GOqnFk9Y7c" role="3Aqpz8">
+            <node concept="a7P8L" id="6GOqnFk9Ybr" role="3A8wtg">
+              <ref role="a7OzE" node="6GOqnFk9Y0P" resolve="Options" />
+            </node>
+            <node concept="37jhX" id="6GOqnFk9Yr5" role="3A8w4Q">
+              <node concept="2OqwBi" id="6GOqnFk9YUm" role="37jj2">
+                <node concept="2OqwBi" id="6GOqnFk9YFE" role="2Oq$k0">
+                  <node concept="2OqwBi" id="6GOqnFk9Z8_" role="2Oq$k0">
+                    <node concept="2OqwBi" id="6GOqnFk9Yzi" role="2Oq$k0">
+                      <node concept="2YIFZM" id="6GOqnFk9Yss" role="2Oq$k0">
+                        <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                        <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                      </node>
+                      <node concept="liA8E" id="6GOqnFk9YDp" role="2OqNvi">
+                        <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                      </node>
+                    </node>
+                    <node concept="liA8E" id="6GOqnFk9Zb3" role="2OqNvi">
+                      <ref role="37wK5l" node="oCcpswT3UR" resolve="forbidNarrowing" />
+                    </node>
+                  </node>
+                  <node concept="liA8E" id="6GOqnFk9ZdJ" role="2OqNvi">
+                    <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="6GOqnFk9Zil" role="2OqNvi">
+                  <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="1Dw8fO" id="3hZrJU5mVcq" role="3cqZAp">
           <node concept="3clFbS" id="3hZrJU5mVcs" role="2LFqv$">
             <node concept="3cpWs8" id="3hZrJU5n2ES" role="3cqZAp">
@@ -42800,7 +43247,7 @@
             </node>
             <node concept="3Aqczg" id="3hZrJU5mZX1" role="3cqZAp">
               <node concept="3Aqt3T" id="3hZrJU5mZX2" role="3Aqpz8">
-                <ref role="3AqCNq" node="3MG3BxoG13Q" resolve="convertsToSafe" />
+                <ref role="3AqCNq" node="6GOqnFk9V2f" resolve="convertsToSafeAlt" />
                 <node concept="a7P8L" id="3hZrJU5n0A2" role="3AunhB">
                   <ref role="a7OzE" node="3hZrJU5cUbT" resolve="CapArgsT" />
                   <node concept="37vLTw" id="3hZrJU5n0A3" role="3gCZO6">
@@ -42813,6 +43260,9 @@
                     <ref role="3cqZAo" node="3hZrJU5mVct" resolve="i" />
                   </node>
                 </node>
+                <node concept="a7P8L" id="6GOqnFk9ZkQ" role="3AunhB">
+                  <ref role="a7OzE" node="6GOqnFk9Y0P" resolve="Options" />
+                </node>
                 <node concept="ns1u0" id="6u6$XO96Vr_" role="3AunhB">
                   <ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
                   <node concept="nsMwS" id="6u6$XO96VrA" role="ns1xD">
@@ -42923,6 +43373,9 @@
                     <node concept="a7P8L" id="3hZrJU5o3MA" role="3AunhB">
                       <ref role="a7OzE" node="3hZrJU5o0WA" resolve="VarargT" />
                     </node>
+                    <node concept="a7P8L" id="6GOqnFka0xk" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9Y0P" resolve="Options" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -42976,7 +43429,7 @@
                       </node>
                       <node concept="3Aqczg" id="3hZrJU5nL9l" role="3cqZAp">
                         <node concept="3Aqt3T" id="3hZrJU5nL9m" role="3Aqpz8">
-                          <ref role="3AqCNq" node="3MG3BxoG13Q" resolve="convertsToSafe" />
+                          <ref role="3AqCNq" node="6GOqnFk9V2f" resolve="convertsToSafeAlt" />
                           <node concept="a7P8L" id="3hZrJU5nL9n" role="3AunhB">
                             <ref role="a7OzE" node="3hZrJU5cUbT" resolve="CapArgsT" />
                             <node concept="37vLTw" id="3hZrJU5nL9o" role="3gCZO6">
@@ -42986,6 +43439,9 @@
                           <node concept="a7P8L" id="3hZrJU5o3Y_" role="3AunhB">
                             <ref role="a7OzE" node="3hZrJU5o0WA" resolve="VarargT" />
                           </node>
+                          <node concept="a7P8L" id="6GOqnFk9Zvo" role="3AunhB">
+                            <ref role="a7OzE" node="6GOqnFk9Y0P" resolve="Options" />
+                          </node>
                           <node concept="ns1u0" id="6u6$XO96VrD" role="3AunhB">
                             <ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
                             <node concept="nsMwS" id="6u6$XO96VrE" role="ns1xD">
@@ -43109,6 +43565,14 @@
         </node>
         <node concept="32pEOW" id="3hZrJU5cHub" role="3vLBG7" />
       </node>
+      <node concept="3uniRu" id="6GOqnFk9Y0O" role="3hEOkk">
+        <node concept="aZer4" id="6GOqnFk9Y0P" role="3XD1gS">
+          <property role="TrG5h" value="Options" />
+        </node>
+        <node concept="3uibUv" id="6GOqnFk9Y1s" role="3vLBG7">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
     </node>
   </node>
   <node concept="AVZre" id="4X6HjrRC1lg">
@@ -45478,6 +45942,81 @@
                   <node concept="10Nm6u" id="53tmmMtpJif" role="3uHU7w" />
                 </node>
                 <node concept="3clFbS" id="53tmmMtpAsB" role="3clFbx">
+                  <node concept="3clFbJ" id="6GOqnFkoVwR" role="3cqZAp">
+                    <node concept="3clFbS" id="6GOqnFkoVwT" role="3clFbx">
+                      <node concept="3Aqczg" id="6GOqnFkcRgD" role="3cqZAp">
+                        <node concept="3A8Hvi" id="6GOqnFkcRgE" role="3Aqpz8">
+                          <node concept="a7P8L" id="6GOqnFkcRgF" role="3A8wtg">
+                            <ref role="a7OzE" node="6GOqnFkcR73" resolve="Options" />
+                          </node>
+                          <node concept="37jhX" id="6GOqnFkcRgG" role="3A8w4Q">
+                            <node concept="2OqwBi" id="6GOqnFkcRgH" role="37jj2">
+                              <node concept="2OqwBi" id="6GOqnFkcRgI" role="2Oq$k0">
+                                <node concept="2OqwBi" id="6GOqnFkd2Uj" role="2Oq$k0">
+                                  <node concept="2YIFZM" id="6GOqnFkcRgL" role="2Oq$k0">
+                                    <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                                    <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                                  </node>
+                                  <node concept="liA8E" id="6GOqnFkd30c" role="2OqNvi">
+                                    <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="6GOqnFkp7Ve" role="2OqNvi">
+                                  <ref role="37wK5l" node="6GOqnFk9lVa" resolve="forbidUnchecked" />
+                                </node>
+                              </node>
+                              <node concept="liA8E" id="6GOqnFkcRgP" role="2OqNvi">
+                                <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2OqwBi" id="6GOqnFkoVIe" role="3clFbw">
+                      <node concept="3hN9Ij" id="6GOqnFkoVzL" role="2Oq$k0">
+                        <ref role="3hLkJx" node="53tmmMs9Jdj" resolve="origin" />
+                      </node>
+                      <node concept="1mIQ4w" id="6GOqnFkoVXD" role="2OqNvi">
+                        <node concept="chp4Y" id="6GOqnFkp7sa" role="cj9EA">
+                          <ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="9aQIb" id="6GOqnFkp7F1" role="9aQIa">
+                      <node concept="3clFbS" id="6GOqnFkp7F2" role="9aQI4">
+                        <node concept="3Aqczg" id="6GOqnFkp7MC" role="3cqZAp">
+                          <node concept="3A8Hvi" id="6GOqnFkp7MD" role="3Aqpz8">
+                            <node concept="a7P8L" id="6GOqnFkp7ME" role="3A8wtg">
+                              <ref role="a7OzE" node="6GOqnFkcR73" resolve="Options" />
+                            </node>
+                            <node concept="37jhX" id="6GOqnFkp7MF" role="3A8w4Q">
+                              <node concept="2OqwBi" id="6GOqnFkp7MG" role="37jj2">
+                                <node concept="2OqwBi" id="6GOqnFkp7MH" role="2Oq$k0">
+                                  <node concept="2OqwBi" id="6GOqnFkp7MI" role="2Oq$k0">
+                                    <node concept="2YIFZM" id="6GOqnFkp7MJ" role="2Oq$k0">
+                                      <ref role="37wK5l" node="4O7HczOeR2N" resolve="getNew" />
+                                      <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                                    </node>
+                                    <node concept="liA8E" id="6GOqnFkp7MK" role="2OqNvi">
+                                      <ref role="37wK5l" node="3vTJNooZCTc" resolve="infer" />
+                                    </node>
+                                  </node>
+                                  <node concept="liA8E" id="6GOqnFkp7ML" role="2OqNvi">
+                                    <ref role="37wK5l" node="6GOqnFk9iSP" resolve="allowUnchecked" />
+                                  </node>
+                                </node>
+                                <node concept="liA8E" id="6GOqnFkp7MM" role="2OqNvi">
+                                  <ref role="37wK5l" node="4O7HczOeOsd" resolve="toOptions" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbH" id="6GOqnFkcRcd" role="3cqZAp" />
                   <node concept="1Dw8fO" id="53tmmMslPPT" role="3cqZAp">
                     <node concept="3clFbS" id="53tmmMslPPU" role="2LFqv$">
                       <node concept="3Aqczg" id="53tmmMslPQa" role="3cqZAp">
@@ -45601,24 +46140,6 @@
                         </node>
                         <node concept="32pEOW" id="53tmmMslPOL" role="3vLBG7" />
                       </node>
-                      <node concept="3cpWs8" id="53tmmMsDKhQ" role="3cqZAp">
-                        <node concept="3cpWsn" id="53tmmMsDKhT" role="3cpWs9">
-                          <property role="TrG5h" value="allowUnchecked" />
-                          <node concept="10P_77" id="53tmmMsDKhO" role="1tU5fm" />
-                          <node concept="3K4zz7" id="53tmmMsJGjX" role="33vP2m">
-                            <node concept="3hN9Ij" id="53tmmMsJHhf" role="3K4E3e">
-                              <ref role="3hLkJx" node="53tmmMsDKj7" resolve="allowUncheckedConversions" />
-                            </node>
-                            <node concept="3clFbT" id="53tmmMsJHK0" role="3K4GZi" />
-                            <node concept="3y3z36" id="53tmmMsJFHH" role="3K4Cdx">
-                              <node concept="10Nm6u" id="53tmmMsJGj_" role="3uHU7w" />
-                              <node concept="3hN9Ij" id="53tmmMsJEWP" role="3uHU7B">
-                                <ref role="3hLkJx" node="53tmmMsDKj7" resolve="allowUncheckedConversions" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
                       <node concept="1Dw8fO" id="53tmmMslPOM" role="3cqZAp">
                         <node concept="3clFbS" id="53tmmMslPON" role="2LFqv$">
                           <node concept="3Aqczg" id="53tmmMslPOO" role="3cqZAp">
@@ -45645,12 +46166,6 @@
                                     <ref role="3cqZAo" node="53tmmMslPNn" resolve="subs" />
                                   </node>
                                 </node>
-                                <node concept="3jhG_Z" id="53tmmMslPOY" role="3jhGob">
-                                  <ref role="3jhG_U" node="5itBwMb2a1b" resolve="allowUncheckedConversion" />
-                                  <node concept="37vLTw" id="53tmmMsDL_i" role="3jhG_S">
-                                    <ref role="3cqZAo" node="53tmmMsDKhT" resolve="allowUnchecked" />
-                                  </node>
-                                </node>
                               </node>
                             </node>
                           </node>
@@ -45680,7 +46195,7 @@
                           </node>
                           <node concept="3Aqczg" id="3vTJNooNRs9" role="3cqZAp">
                             <node concept="3Aqt3T" id="3vTJNooNRsa" role="3Aqpz8">
-                              <ref role="3AqCNq" node="3MG3BxoG13Q" resolve="convertsToSafe" />
+                              <ref role="3AqCNq" node="6GOqnFk9V2f" resolve="convertsToSafeAlt" />
                               <node concept="a7P8L" id="3vTJNooNRsb" role="3AunhB">
                                 <ref role="a7OzE" node="53tmmMslPOH" resolve="TyArgCaps" />
                                 <node concept="37vLTw" id="3vTJNooNRsc" role="3gCZO6">
@@ -45693,6 +46208,9 @@
                                   <ref role="3cqZAo" node="53tmmMslPPr" resolve="i" />
                                 </node>
                               </node>
+                              <node concept="a7P8L" id="6GOqnFkcR$$" role="3AunhB">
+                                <ref role="a7OzE" node="6GOqnFkcR73" resolve="Options" />
+                              </node>
                               <node concept="ns1u0" id="6u6$XO96Vrx" role="3AunhB">
                                 <ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
                                 <node concept="nsMwS" id="6u6$XO96Vry" role="ns1xD">
@@ -45925,10 +46443,12 @@
         </node>
         <node concept="32pEOW" id="53tmmMs9ijf" role="3vLBG7" />
       </node>
-      <node concept="3hPv5a" id="53tmmMsDKj7" role="3hP23H">
-        <property role="TrG5h" value="allowUncheckedConversions" />
-        <node concept="3uibUv" id="53tmmMsDKm5" role="3hPmi9">
-          <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
+      <node concept="3uniRu" id="6GOqnFkcR72" role="3hEOkk">
+        <node concept="aZer4" id="6GOqnFkcR73" role="3XD1gS">
+          <property role="TrG5h" value="Options" />
+        </node>
+        <node concept="3uibUv" id="6GOqnFkcRbV" role="3vLBG7">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
         </node>
       </node>
     </node>
@@ -51707,6 +52227,58 @@
         <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
       </node>
     </node>
+    <node concept="3clFb_" id="6GOqnFk9iSP" role="jymVt">
+      <property role="TrG5h" value="allowUnchecked" />
+      <node concept="3clFbS" id="6GOqnFk9iSQ" role="3clF47">
+        <node concept="3clFbF" id="6GOqnFk9iSR" role="3cqZAp">
+          <node concept="37vLTI" id="6GOqnFk9iSS" role="3clFbG">
+            <node concept="3clFbT" id="6GOqnFk9iST" role="37vLTx">
+              <property role="3clFbU" value="true" />
+            </node>
+            <node concept="2OqwBi" id="6GOqnFk9iSU" role="37vLTJ">
+              <node concept="37vLTw" id="6GOqnFk9iSV" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="6GOqnFk9jwf" role="2OqNvi">
+                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6GOqnFk9iSX" role="3cqZAp">
+          <node concept="Xjq3P" id="6GOqnFk9iSY" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="6GOqnFk9iSZ" role="1B3o_S" />
+      <node concept="3uibUv" id="6GOqnFk9iT0" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+    </node>
+    <node concept="3clFb_" id="6GOqnFk9lVa" role="jymVt">
+      <property role="TrG5h" value="forbidUnchecked" />
+      <node concept="3clFbS" id="6GOqnFk9lVb" role="3clF47">
+        <node concept="3clFbF" id="6GOqnFk9lVc" role="3cqZAp">
+          <node concept="37vLTI" id="6GOqnFk9lVd" role="3clFbG">
+            <node concept="3clFbT" id="6GOqnFk9lVe" role="37vLTx" />
+            <node concept="2OqwBi" id="6GOqnFk9lVf" role="37vLTJ">
+              <node concept="37vLTw" id="6GOqnFk9lVg" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOeOKr" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="6GOqnFk9lVh" role="2OqNvi">
+                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="6GOqnFk9lVi" role="3cqZAp">
+          <node concept="Xjq3P" id="6GOqnFk9lVj" role="3clFbG" />
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="6GOqnFk9lVk" role="1B3o_S" />
+      <node concept="3uibUv" id="6GOqnFk9lVl" role="3clF45">
+        <ref role="3uigEE" node="4O7HczOeKN2" resolve="ConvertsContext" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="4O7HczOifuS" role="jymVt" />
     <node concept="2tJIrI" id="4O7HczOeVNs" role="jymVt" />
     <node concept="2tJIrI" id="4O7HczOeVJA" role="jymVt" />
@@ -51793,6 +52365,31 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbF" id="6GOqnFk9ht_" role="3cqZAp">
+          <node concept="37vLTI" id="6GOqnFk9ioP" role="3clFbG">
+            <node concept="2OqwBi" id="6GOqnFk9iCX" role="37vLTx">
+              <node concept="37vLTw" id="6GOqnFk9iv$" role="2Oq$k0">
+                <ref role="3cqZAo" node="4O7HczOimLe" resolve="opts" />
+              </node>
+              <node concept="2OwXpG" id="6GOqnFk9iLx" role="2OqNvi">
+                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="6GOqnFk9hP8" role="37vLTJ">
+              <node concept="2OqwBi" id="6GOqnFk9h$0" role="2Oq$k0">
+                <node concept="37vLTw" id="6GOqnFk9htz" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
+                </node>
+                <node concept="2OwXpG" id="6GOqnFk9hEB" role="2OqNvi">
+                  <ref role="2Oxat5" node="4O7HczOeOKr" resolve="opts" />
+                </node>
+              </node>
+              <node concept="2OwXpG" id="6GOqnFk9hY5" role="2OqNvi">
+                <ref role="2Oxat5" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="4O7HczOimLw" role="3cqZAp">
           <node concept="37vLTw" id="4O7HczOimLx" role="3clFbG">
             <ref role="3cqZAo" node="4O7HczOimLi" resolve="copied" />
@@ -51831,12 +52428,11 @@
       <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="2tJIrI" id="6GOqnFk8Zhg" 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" />
@@ -51851,7 +52447,15 @@
         <node concept="10P_77" id="4O7HczOig5v" role="1tU5fm" />
         <node concept="3clFbT" id="4O7HczOighI" role="33vP2m" />
       </node>
-      <node concept="2tJIrI" id="3vTJNooZBjz" role="jymVt" />
+      <node concept="312cEg" id="6GOqnFk9f5G" role="jymVt">
+        <property role="TrG5h" value="uncheckedAllowed" />
+        <node concept="3Tm6S6" id="6GOqnFk9e$Y" role="1B3o_S" />
+        <node concept="10P_77" id="6GOqnFk9eGh" role="1tU5fm" />
+        <node concept="3clFbT" id="6GOqnFk9fAz" role="33vP2m">
+          <property role="3clFbU" value="true" />
+        </node>
+      </node>
+      <node concept="2tJIrI" id="6GOqnFk5rB0" role="jymVt" />
       <node concept="3clFb_" id="4O7HczO6zx9" role="jymVt">
         <property role="TrG5h" value="isInfer" />
         <node concept="3clFbS" id="4O7HczO6zxc" role="3clF47">
@@ -51890,6 +52494,18 @@
         <node concept="3Tm1VV" id="4O7HczOignK" role="1B3o_S" />
         <node concept="10P_77" id="4O7HczOigs9" role="3clF45" />
       </node>
+      <node concept="3clFb_" id="6GOqnFk9dzV" role="jymVt">
+        <property role="TrG5h" value="isUncheckedAllowed" />
+        <node concept="3clFbS" id="6GOqnFk9dzY" role="3clF47">
+          <node concept="3clFbF" id="6GOqnFk9fE8" role="3cqZAp">
+            <node concept="37vLTw" id="6GOqnFk9fE7" role="3clFbG">
+              <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+            </node>
+          </node>
+        </node>
+        <node concept="3Tm1VV" id="6GOqnFk9d11" role="1B3o_S" />
+        <node concept="10P_77" id="6GOqnFk9dvj" role="3clF45" />
+      </node>
       <node concept="2tJIrI" id="3vTJNooZBOD" role="jymVt" />
       <node concept="3clFbW" id="3vTJNooZBl7" role="jymVt">
         <node concept="3cqZAl" id="3vTJNooZBl8" role="3clF45" />
@@ -51913,6 +52529,9 @@
                 <node concept="37vLTw" id="4O7HczOkGg9" role="HW$Y0">
                   <ref role="3cqZAo" node="4O7HczOigbg" resolve="narrowingAllowed" />
                 </node>
+                <node concept="37vLTw" id="6GOqnFk9gYp" role="HW$Y0">
+                  <ref role="3cqZAo" node="6GOqnFk9f5G" resolve="uncheckedAllowed" />
+                </node>
               </node>
             </node>
           </node>
@@ -52969,5 +53588,352 @@
       </node>
     </node>
   </node>
+  <node concept="AVZre" id="6GOqnFk9yw$">
+    <property role="3GE5qa" value="rule.relation.conversion" />
+    <property role="TrG5h" value="ConversionRaw" />
+    <node concept="1nLNMY" id="6GOqnFk9xW9" role="1nK1Vg">
+      <property role="TrG5h" value="uncheckedConversion_fromRaw_forbidden" />
+      <node concept="3clFbS" id="6GOqnFk9xWa" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFk9xWb" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk9xWc" role="1nLNNK">
+            <node concept="3xSepi" id="6GOqnFkySpi" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFkySpj" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFkySpk" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFkyStB" role="3I6sU7">
+                    <node concept="3Aqt3T" id="6GOqnFkyStA" role="3I6s78">
+                      <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="6GOqnFkySvu" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFkh$F1" resolve="Erasure" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkySyt" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9xWo" resolve="T" />
+                      </node>
+                      <node concept="a7P8L" id="6GOqnFkySBQ" role="3AunhB">
+                        <ref role="a7OzE" node="6GOqnFk9xWr" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="6GOqnFk9xWd" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk9xWe" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9xWf" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk9xWg" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                    <node concept="1HFMs5" id="6GOqnFk9xWi" role="3AunhB">
+                      <node concept="a7P8L" id="6GOqnFkm6bK" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFk9xWn" resolve="S" />
+                      </node>
+                      <node concept="ns1u0" id="6GOqnFk9xWk" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                        <node concept="nsMwS" id="6GOqnFkh$Jp" role="ns1xD">
+                          <ref role="nsMwP" node="6GOqnFkhyxQ" resolve="to" />
+                          <node concept="1nq8_$" id="6GOqnFkh$Ju" role="nsMwV">
+                            <node concept="a7P8L" id="6GOqnFkh$Jt" role="1nq8_t">
+                              <ref role="a7OzE" node="6GOqnFkh$F1" resolve="Erasure" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFkm6mt" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9xWo" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9xWl" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9xWr" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9xWm" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9xWn" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9xWo" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="aZer4" id="6GOqnFkh$F1" role="3XD1gS">
+                <property role="TrG5h" value="Erasure" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk9xWp" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9xWq" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9xWr" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFk9xWs" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="6GOqnFk9xWt" role="3xSepv">
+              <node concept="3Aq9E8" id="6GOqnFk9xWu" role="3xSepj">
+                <node concept="3I6sU6" id="6GOqnFk9xWv" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="6GOqnFk9xWw" role="3I6sU7">
+                    <node concept="1lpGmL" id="6GOqnFk9zQR" role="3I6s78">
+                      <node concept="Xl_RD" id="6GOqnFk9zRo" role="1lp$hM">
+                        <property role="Xl_RC" value="unchecked conversion is forbidden" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="6GOqnFk9xWC" role="1nLNMa">
+              <node concept="3I6sU6" id="6GOqnFk9xWD" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9xWE" role="3I6sU7">
+                  <node concept="3wWvb2" id="6GOqnFk9xWF" role="3I6s78">
+                    <node concept="3fqX7Q" id="6GOqnFk9yrn" role="3wWo3s">
+                      <node concept="2OqwBi" id="6GOqnFk9yrp" role="3fr31v">
+                        <node concept="1Ft4W6" id="6GOqnFk9yrq" role="2Oq$k0">
+                          <node concept="a7P8L" id="6GOqnFk9yrr" role="1FtiSR">
+                            <ref role="a7OzE" node="6GOqnFk9xWr" resolve="Options" />
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="6GOqnFk9yrs" role="2OqNvi">
+                          <ref role="37wK5l" node="6GOqnFk9dzV" resolve="isUncheckedAllowed" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6GOqnFk9u7J" role="1nK1Vg">
+      <property role="TrG5h" value="uncheckedConversion_fromRaw_allowed" />
+      <node concept="3clFbS" id="6GOqnFk9u7K" role="1nLNMH">
+        <node concept="3SKdUt" id="6GOqnFkp2fb" role="3cqZAp">
+          <node concept="1PaTwC" id="6GOqnFkp2fc" role="1aUNEU">
+            <node concept="3oM_SD" id="6GOqnFkp2fd" role="1PaTwD">
+              <property role="3oM_SC" value="todo:" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jl" role="1PaTwD">
+              <property role="3oM_SC" value="produce" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jo" role="1PaTwD">
+              <property role="3oM_SC" value="warning?" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2js" role="1PaTwD">
+              <property role="3oM_SC" value="it's" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jx" role="1PaTwD">
+              <property role="3oM_SC" value="not" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jB" role="1PaTwD">
+              <property role="3oM_SC" value="always" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jI" role="1PaTwD">
+              <property role="3oM_SC" value="needed," />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jQ" role="1PaTwD">
+              <property role="3oM_SC" value="may" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2jZ" role="1PaTwD">
+              <property role="3oM_SC" value="be" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2kw" role="1PaTwD">
+              <property role="3oM_SC" value="a" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2kF" role="1PaTwD">
+              <property role="3oM_SC" value="context" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2kR" role="1PaTwD">
+              <property role="3oM_SC" value="param" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkp2l4" role="1PaTwD">
+              <property role="3oM_SC" value="too." />
+            </node>
+          </node>
+        </node>
+        <node concept="1nLNNL" id="6GOqnFk9ukS" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk9ukT" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFk9ukU" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk9ukV" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9ukW" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk9ukX" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                    <node concept="1HFMs5" id="6GOqnFk9v2F" role="3AunhB">
+                      <node concept="a7P8L" id="6GOqnFkm6vv" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFk9ul1" resolve="S" />
+                      </node>
+                      <node concept="ns1u0" id="6GOqnFk9v7D" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFkm6HG" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9ul2" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9uAE" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9u_r" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9ul0" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9ul1" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9ul2" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk9ul3" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9uzK" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9u_r" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFk9uzU" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="6GOqnFkcVv3" role="1nLNMa">
+              <node concept="3I6sU6" id="6GOqnFkcVv4" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9uLJ" role="3I6sU7">
+                  <node concept="3wWvb2" id="6GOqnFk9uLI" role="3I6s78">
+                    <node concept="2OqwBi" id="6GOqnFk9uRT" role="3wWo3s">
+                      <node concept="1Ft4W6" id="6GOqnFk9uMe" role="2Oq$k0">
+                        <node concept="a7P8L" id="6GOqnFk9uMd" role="1FtiSR">
+                          <ref role="a7OzE" node="6GOqnFk9u_r" resolve="Options" />
+                        </node>
+                      </node>
+                      <node concept="liA8E" id="6GOqnFk9v1w" role="2OqNvi">
+                        <ref role="37wK5l" node="6GOqnFk9dzV" resolve="isUncheckedAllowed" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6GOqnFk9x0h" role="1nK1Vg">
+      <property role="TrG5h" value="uncheckedConversion_toRaw" />
+      <node concept="3clFbS" id="6GOqnFk9x0i" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFk9x0j" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk9x0k" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFk9x0l" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk9x0m" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9x0n" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk9x0o" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                    <node concept="a7P8L" id="6GOqnFkm6Vm" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9x0t" resolve="S" />
+                    </node>
+                    <node concept="1HFMs5" id="6GOqnFk9xjG" role="3AunhB">
+                      <node concept="a7P8L" id="6GOqnFkm6XY" role="1uarlU">
+                        <ref role="a7OzE" node="6GOqnFk9x0u" resolve="T" />
+                      </node>
+                      <node concept="ns1u0" id="6GOqnFk9xnU" role="1uarlW">
+                        <ref role="ns1xF" node="4s_lMmIqD14" resolve="erased" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9x0r" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9x0x" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9x0s" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9x0t" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9x0u" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk9x0v" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9x0w" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9x0x" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFk9x0y" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="6GOqnFk9vUJ" role="1nK1Vg">
+      <property role="TrG5h" value="uncheckedConversion_default" />
+      <node concept="3clFbS" id="6GOqnFk9vUK" role="1nLNMH">
+        <node concept="1nLNNL" id="6GOqnFk9vVn" role="3cqZAp">
+          <node concept="1nLNMm" id="6GOqnFk9vVo" role="1nLNNK">
+            <node concept="3Aq93q" id="6GOqnFk9vVp" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="6GOqnFk9vVq" role="3Ip0Jz">
+                <node concept="3I6s7M" id="6GOqnFk9vVr" role="3I6sU7">
+                  <node concept="3Aqt3T" id="6GOqnFk9vVs" role="3I6s78">
+                    <ref role="3AqCNq" node="6GOqnFk9rtW" resolve="uncheckedConversion" />
+                    <node concept="a7P8L" id="6GOqnFk9vVt" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9vVx" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9vVu" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9vVy" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="6GOqnFk9vVv" role="3AunhB">
+                      <ref role="a7OzE" node="6GOqnFk9vV_" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9vVw" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9vVx" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="6GOqnFk9vVy" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="6GOqnFk9vVz" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="6GOqnFk9vV$" role="0Rg$4">
+              <node concept="aZer4" id="6GOqnFk9vV_" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="6GOqnFk9vVA" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="3AqmO8" id="6GOqnFk9rtW" role="8PkJo">
+      <property role="TrG5h" value="uncheckedConversion" />
+      <property role="3AqDzJ" value="2" />
+      <node concept="1zAUYm" id="6GOqnFk9rtX" role="1zAUyy">
+        <property role="TrG5h" value="subType" />
+        <node concept="32pEOW" id="6GOqnFk9rtY" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6GOqnFk9rtZ" role="1zAUyy">
+        <property role="TrG5h" value="superType" />
+        <node concept="32pEOW" id="6GOqnFk9ru0" role="3gTf24" />
+      </node>
+      <node concept="1zAUYm" id="6GOqnFk9ru1" role="1zAUyy">
+        <property role="TrG5h" value="options" />
+        <node concept="3uibUv" id="6GOqnFk9ru2" role="3gTf24">
+          <ref role="3uigEE" node="3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+        </node>
+      </node>
+      <node concept="1zAsnw" id="6GOqnFk9ru3" role="lGtFl">
+        <node concept="3SKdUq" id="6GOqnFk9rEz" role="27qylF">
+          <property role="3SKdUp" value="handles unchecked conversions for raw types" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
index e0c0e5b4..0d4fa078 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps
@@ -222,16 +222,6 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="3MFPGC52fMd" role="3cqZAp">
-          <node concept="1PaTwC" id="3MFPGC52fMe" role="1aUNEU">
-            <node concept="3oM_SD" id="3MFPGC52fMf" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMg" role="1PaTwD">
-              <property role="3oM_SC" value="ensure" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="3MFPGC52fMh" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC52fMi" role="3cpWs9">
             <property role="TrG5h" value="it2" />
@@ -254,39 +244,6 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="3MFPGC52fMp" role="3cqZAp">
-          <node concept="1PaTwC" id="3MFPGC52fMq" role="1aUNEU">
-            <node concept="3oM_SD" id="3MFPGC52fMr" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMs" role="1PaTwD">
-              <property role="3oM_SC" value="ensure" />
-            </node>
-          </node>
-        </node>
-        <node concept="3cpWs8" id="3MFPGC52fMt" role="3cqZAp">
-          <node concept="3cpWsn" id="3MFPGC52fMu" role="3cpWs9">
-            <property role="TrG5h" value="objs1" />
-            <node concept="A3Dl8" id="3MFPGC52fMv" role="1tU5fm">
-              <node concept="3uibUv" id="3MFPGC52fMw" role="A3Ik2">
-                <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
-              </node>
-            </node>
-            <node concept="37vLTw" id="3MFPGC52fMx" role="33vP2m">
-              <ref role="3cqZAo" node="3MFPGC52fNr" resolve="rawIt" />
-            </node>
-          </node>
-        </node>
-        <node concept="3SKdUt" id="3MFPGC52fMy" role="3cqZAp">
-          <node concept="1PaTwC" id="3MFPGC52fMz" role="1aUNEU">
-            <node concept="3oM_SD" id="3MFPGC52fM$" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fM_" role="1PaTwD">
-              <property role="3oM_SC" value="ensure" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="3MFPGC52fMA" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC52fMB" role="3cpWs9">
             <property role="TrG5h" value="empts1" />
@@ -296,40 +253,6 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="3MFPGC52fME" role="3cqZAp">
-          <node concept="1PaTwC" id="3MFPGC52fMF" role="1aUNEU">
-            <node concept="3oM_SD" id="3MFPGC52fMG" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMH" role="1PaTwD">
-              <property role="3oM_SC" value="ensure" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMI" role="1PaTwD">
-              <property role="3oM_SC" value="whether" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMJ" role="1PaTwD">
-              <property role="3oM_SC" value="raw" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMK" role="1PaTwD">
-              <property role="3oM_SC" value="sequence" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fML" role="1PaTwD">
-              <property role="3oM_SC" value="is" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMM" role="1PaTwD">
-              <property role="3oM_SC" value="like" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMN" role="1PaTwD">
-              <property role="3oM_SC" value="a" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMO" role="1PaTwD">
-              <property role="3oM_SC" value="raw" />
-            </node>
-            <node concept="3oM_SD" id="3MFPGC52fMP" role="1PaTwD">
-              <property role="3oM_SC" value="type" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="3MFPGC52fMQ" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC52fMR" role="3cpWs9">
             <property role="TrG5h" value="empts2" />
@@ -350,6 +273,102 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="6GOqnFkcWZz" role="3cqZAp" />
+        <node concept="3cpWs8" id="3MFPGC52fMt" role="3cqZAp">
+          <node concept="3cpWsn" id="3MFPGC52fMu" role="3cpWs9">
+            <property role="TrG5h" value="objs1" />
+            <node concept="A3Dl8" id="3MFPGC52fMv" role="1tU5fm">
+              <node concept="3uibUv" id="3MFPGC52fMw" role="A3Ik2">
+                <ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="3MFPGC52fMx" role="33vP2m">
+              <ref role="3cqZAo" node="3MFPGC52fNr" resolve="rawIt" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6GOqnFkcYDk" role="3cqZAp">
+          <node concept="1PaTwC" id="6GOqnFkcYDl" role="1aUNEU">
+            <node concept="3oM_SD" id="6GOqnFkcYDm" role="1PaTwD">
+              <property role="3oM_SC" value="Unchecked" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkcYMM" role="1PaTwD">
+              <property role="3oM_SC" value="conversion" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAtT" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAuV" role="1PaTwD">
+              <property role="3oM_SC" value="sequence" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAwp" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAwv" role="1PaTwD">
+              <property role="3oM_SC" value="forbidden" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6GOqnFkcXbd" role="3cqZAp">
+          <node concept="3cpWsn" id="6GOqnFkcXbg" role="3cpWs9">
+            <property role="TrG5h" value="ys3" />
+            <node concept="A3Dl8" id="6GOqnFkcXba" role="1tU5fm">
+              <node concept="3uibUv" id="6GOqnFkcXkG" role="A3Ik2">
+                <ref role="3uigEE" node="3MFPGC51RNv" resolve="SequenceConversions.B" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="6GOqnFkcY3n" role="33vP2m">
+              <ref role="3cqZAo" node="3MFPGC52fNg" resolve="empts" />
+            </node>
+            <node concept="1U20sH" id="6GOqnFkuApa" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6GOqnFkuAzC" role="3cqZAp">
+          <node concept="1PaTwC" id="6GOqnFkuAzD" role="1aUNEU">
+            <node concept="3oM_SD" id="6GOqnFkuAzE" role="1PaTwD">
+              <property role="3oM_SC" value="But" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAJp" role="1PaTwD">
+              <property role="3oM_SC" value="unchecked" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAzF" role="1PaTwD">
+              <property role="3oM_SC" value="conversion" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAzG" role="1PaTwD">
+              <property role="3oM_SC" value="for" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuAM7" role="1PaTwD">
+              <property role="3oM_SC" value="sequence" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuANb" role="1PaTwD">
+              <property role="3oM_SC" value="with" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuANH" role="1PaTwD">
+              <property role="3oM_SC" value="Iterable" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuARK" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkuASR" role="1PaTwD">
+              <property role="3oM_SC" value="allowed" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="6GOqnFkd1f$" role="3cqZAp">
+          <node concept="3cpWsn" id="6GOqnFkd1f_" role="3cpWs9">
+            <property role="TrG5h" value="ys4" />
+            <node concept="A3Dl8" id="6GOqnFkd1fA" role="1tU5fm">
+              <node concept="3uibUv" id="6GOqnFkd1fB" role="A3Ik2">
+                <ref role="3uigEE" node="3MFPGC51RNv" resolve="SequenceConversions.B" />
+              </node>
+            </node>
+            <node concept="37vLTw" id="6GOqnFkd1SM" role="33vP2m">
+              <ref role="3cqZAo" node="3MFPGC52fNr" resolve="rawIt" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbH" id="3MFPGC52fMY" role="3cqZAp" />
         <node concept="3cpWs8" id="3MFPGC52fMZ" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC52fN0" role="3cpWs9">
@@ -482,22 +501,6 @@
         </node>
         <node concept="3clFbH" id="3MFPGC511jL" role="3cqZAp" />
         <node concept="3clFbH" id="3MFPGC52wVD" role="3cqZAp" />
-        <node concept="3cpWs8" id="3MFPGC50OlZ" role="3cqZAp">
-          <node concept="3cpWsn" id="3MFPGC50Om2" role="3cpWs9">
-            <property role="TrG5h" value="xs0" />
-            <node concept="A3Dl8" id="3MFPGC50OlW" role="1tU5fm">
-              <node concept="3uibUv" id="3MFPGC51YWq" role="A3Ik2">
-                <ref role="3uigEE" node="3MFPGC51RNv" resolve="SequenceConversions.B" />
-              </node>
-            </node>
-            <node concept="37vLTw" id="3MFPGC50PEO" role="33vP2m">
-              <ref role="3cqZAo" node="3MFPGC50Jhi" resolve="rawIt" />
-            </node>
-            <node concept="1U20sH" id="3MFPGC50PLP" role="lGtFl">
-              <property role="1U20sK" value="error" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="3MFPGC50PN9" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC50PNa" role="3cpWs9">
             <property role="TrG5h" value="xsA" />
@@ -771,22 +774,6 @@
         </node>
         <node concept="3clFbH" id="3MFPGC52aqK" role="3cqZAp" />
         <node concept="3clFbH" id="3MFPGC52x46" role="3cqZAp" />
-        <node concept="3cpWs8" id="3MFPGC52aqL" role="3cqZAp">
-          <node concept="3cpWsn" id="3MFPGC52aqM" role="3cpWs9">
-            <property role="TrG5h" value="xs0" />
-            <node concept="A3Dl8" id="3MFPGC52aqN" role="1tU5fm">
-              <node concept="16syzq" id="3MFPGC52cok" role="A3Ik2">
-                <ref role="16sUi3" node="3MFPGC51D85" resolve="Y" />
-              </node>
-            </node>
-            <node concept="37vLTw" id="3MFPGC52aqP" role="33vP2m">
-              <ref role="3cqZAo" node="3MFPGC50Jhi" resolve="rawIt" />
-            </node>
-            <node concept="1U20sH" id="3MFPGC52aqQ" role="lGtFl">
-              <property role="1U20sK" value="error" />
-            </node>
-          </node>
-        </node>
         <node concept="3cpWs8" id="3MFPGC52aqR" role="3cqZAp">
           <node concept="3cpWsn" id="3MFPGC52aqS" role="3cpWs9">
             <property role="TrG5h" value="xsA" />
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
index dfed2407..674a6c52 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
@@ -14475,6 +14475,9 @@
       <node concept="3Tm1VV" id="3XUOzowrzH7" role="1B3o_S" />
       <node concept="16euLQ" id="3XUOzowrzI0" role="16eVyc">
         <property role="TrG5h" value="E" />
+        <node concept="3uibUv" id="6GOqnFkswnt" role="3ztrMU">
+          <ref role="3uigEE" to="guwi:~Serializable" resolve="Serializable" />
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="3XUOzows2ya" role="jymVt" />
@@ -14565,6 +14568,9 @@
               <property role="3oM_SC" value="unchecked" />
             </node>
             <node concept="3oM_SD" id="3XUOzowsyMB" role="1PaTwD">
+              <property role="3oM_SC" value="conversion" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFk5nVN" role="1PaTwD">
               <property role="3oM_SC" value="warning" />
             </node>
           </node>
@@ -14610,6 +14616,22 @@
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="6GOqnFksvAZ" role="3cqZAp">
+          <node concept="3cpWsn" id="6GOqnFksvB0" role="3cpWs9">
+            <property role="TrG5h" value="c0ser" />
+            <node concept="3uibUv" id="6GOqnFksvB1" role="1tU5fm">
+              <ref role="3uigEE" to="guwi:~Serializable" resolve="Serializable" />
+            </node>
+            <node concept="2OqwBi" id="6GOqnFksvV$" role="33vP2m">
+              <node concept="37vLTw" id="6GOqnFksvQz" role="2Oq$k0">
+                <ref role="3cqZAo" node="3XUOzowsCVJ" resolve="x0" />
+              </node>
+              <node concept="liA8E" id="6GOqnFksvYI" role="2OqNvi">
+                <ref role="37wK5l" node="3XUOzowrzLl" resolve="get" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="3XUOzowtPQM" role="3cqZAp">
           <node concept="3cpWsn" id="3XUOzowtPQN" role="3cpWs9">
             <property role="TrG5h" value="c0a" />
@@ -14674,12 +14696,21 @@
             <node concept="37vLTw" id="3XUOzowsMND" role="33vP2m">
               <ref role="3cqZAo" node="3XUOzowsCVJ" resolve="x0" />
             </node>
-            <node concept="1U20sH" id="1GAclsBkC6e" role="lGtFl">
-              <property role="1U20sK" value="error" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6GOqnFkss2J" role="3cqZAp">
+          <node concept="1PaTwC" id="6GOqnFkss2K" role="1aUNEU">
+            <node concept="3oM_SD" id="6GOqnFkssg8" role="1PaTwD">
+              <property role="3oM_SC" value="ok," />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFkssh8" role="1PaTwD">
+              <property role="3oM_SC" value="no" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFksshA" role="1PaTwD">
+              <property role="3oM_SC" value="warning" />
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="1GAclsBkP1I" role="3cqZAp" />
         <node concept="3cpWs8" id="3XUOzowvnbU" role="3cqZAp">
           <node concept="3cpWsn" id="3XUOzowvnbV" role="3cpWs9">
             <property role="TrG5h" value="x0b" />
@@ -14763,12 +14794,21 @@
             <node concept="37vLTw" id="3XUOzowsSV1" role="33vP2m">
               <ref role="3cqZAo" node="3XUOzowsCVJ" resolve="x0" />
             </node>
-            <node concept="1U20sH" id="1GAclsBkD0C" role="lGtFl">
-              <property role="1U20sK" value="error" />
+          </node>
+        </node>
+        <node concept="3SKdUt" id="6GOqnFksCAs" role="3cqZAp">
+          <node concept="1PaTwC" id="6GOqnFksCAt" role="1aUNEU">
+            <node concept="3oM_SD" id="6GOqnFksCAu" role="1PaTwD">
+              <property role="3oM_SC" value="error," />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFksCLr" role="1PaTwD">
+              <property role="3oM_SC" value="of" />
+            </node>
+            <node concept="3oM_SD" id="6GOqnFksCLT" role="1PaTwD">
+              <property role="3oM_SC" value="course" />
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="1GAclsBkDX6" role="3cqZAp" />
         <node concept="3cpWs8" id="3XUOzowsTde" role="3cqZAp">
           <node concept="3cpWsn" id="3XUOzowsTdf" role="3cpWs9">
             <property role="TrG5h" value="x2a" />
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps
index adfa9cc9..e7982e91 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps
@@ -7799,6 +7799,9 @@
               <node concept="3oM_SD" id="1GAclsBnxr9" role="1PaTwD">
                 <property role="3oM_SC" value="conversion" />
               </node>
+              <node concept="3oM_SD" id="6GOqnFkyRel" role="1PaTwD">
+                <property role="3oM_SC" value="warning" />
+              </node>
             </node>
           </node>
           <node concept="3cpWs6" id="72cCUitYpTR" role="3cqZAp">
@@ -7818,9 +7821,6 @@
           </node>
         </node>
         <node concept="3Tm1VV" id="72cCUitYpTW" role="1B3o_S" />
-        <node concept="1U20sH" id="1GAclsBmOJA" role="lGtFl">
-          <property role="1U20sK" value="error" />
-        </node>
       </node>
       <node concept="3Tm1VV" id="72cCUitYpTX" role="1B3o_S" />
       <node concept="3uibUv" id="72cCUitYqiv" role="1zkMxy">