From 1b79c2b548c964dc17c8bce416d6ae7403a193c3 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Thu, 26 Dec 2019 17:57:59 +0300
Subject: [PATCH] Check compatability for eq/neq operators, forbid null to prim
 conversion (MPSCR-3)

Introduced a variation of conversion relation with a bit stricter boxing, needed for eq/neq.
e.g. suppose { (Number n, float f) => n == f } here f shouldn't be boxed.
---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 1142 ++++++++++-------
 ...mps.baseLanguageExt.test.code.features.mps |  797 +++++++++++-
 ...ps.baseLanguageExt.test.features@tests.mps |   29 +
 3 files changed, 1522 insertions(+), 446 deletions(-)

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 b6680753..90036d07 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
@@ -12935,39 +12935,71 @@
     <node concept="1nLNMY" id="12QmIo_7sjg" role="1nK1Vg">
       <property role="TrG5h" value="equalsExpression" />
       <node concept="3clFbS" id="12QmIo_7sjh" role="1nLNMH">
-        <node concept="3SKdUt" id="2vhmmFtd4kG" role="3cqZAp">
-          <node concept="1PaTwC" id="2vhmmFtd4kH" role="3ndbpf">
-            <node concept="3oM_SD" id="2vhmmFtd4kJ" role="1PaTwD">
-              <property role="3oM_SC" value="TODO:" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4lv" role="1PaTwD">
-              <property role="3oM_SC" value="test" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4ly" role="1PaTwD">
-              <property role="3oM_SC" value="that" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4lA" role="1PaTwD">
-              <property role="3oM_SC" value="the" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4lF" role="1PaTwD">
-              <property role="3oM_SC" value="types" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4lL" role="1PaTwD">
-              <property role="3oM_SC" value="are" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4lS" role="1PaTwD">
-              <property role="3oM_SC" value="comparable" />
-            </node>
-          </node>
-        </node>
         <node concept="1nLNNL" id="12QmIo_7sji" role="3cqZAp">
           <node concept="1nLNMm" id="12QmIo_7sjj" role="1nLNNK">
-            <node concept="0eUR_" id="7lt0LtPBjTk" role="0UC6o">
-              <node concept="3NuqgR" id="4nIWweB_n$w" role="0eVf_">
-                <node concept="aZer4" id="4nIWweB_n$x" role="3XD1gS">
-                  <property role="TrG5h" value="ResultType" />
+            <node concept="3Aq9E8" id="2i6cuYQwvg$" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQwvg_" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQuKPe" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQuKPf" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQuKPg" role="3AunhB">
+                      <ref role="a7OzE" node="4nIWweB_nka" resolve="LeftType" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQuKPh" role="3AunhB">
+                      <ref role="a7OzE" node="4nIWweB_nkw" resolve="RightType" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQuKPi" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQuKPj" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="2i6cuYQuKPk" role="3AunhB">
+                      <node concept="2OqwBi" id="2i6cuYQuKPl" role="37jj2">
+                        <node concept="3A2sRY" id="2i6cuYQuKPm" role="2Oq$k0">
+                          <ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
+                        </node>
+                        <node concept="iZEcu" id="2i6cuYQuKPn" role="2OqNvi" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2i6cuYQuKPo" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
                 </node>
               </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQuKHn" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQuKHo" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQuKos" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQuKoq" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQuKTU" role="3AunhB">
+                      <ref role="a7OzE" node="4nIWweB_nkw" resolve="RightType" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQuL1H" role="3AunhB">
+                      <ref role="a7OzE" node="4nIWweB_nka" resolve="LeftType" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQuK8X" role="3I6sU7">
+                  <node concept="3Aqt3T" id="34$A1MfhpND" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="1TH_SRmhrt_" role="3AunhB">
+                      <node concept="2OqwBi" id="1TH_SRlXDmV" role="37jj2">
+                        <node concept="3A2sRY" id="34$A1MfhpNB" role="2Oq$k0">
+                          <ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
+                        </node>
+                        <node concept="iZEcu" id="1TH_SRlXDmW" role="2OqNvi" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2i6cuYQuJyw" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="7lt0LtPBjTk" role="0UC6o">
               <node concept="3NuqgR" id="4nIWweB_nk9" role="0eVf_">
                 <node concept="aZer4" id="4nIWweB_nka" role="3XD1gS">
                   <property role="TrG5h" value="LeftType" />
@@ -13026,45 +13058,11 @@
             </node>
             <node concept="3Aq9E8" id="1PFbZN6tO4K" role="1nLNMd">
               <node concept="3I6sU6" id="4nIWweB_nLb" role="3Ip0Jz">
-                <node concept="3IrJb3" id="4nIWweB_nLc" role="3I6sU7">
-                  <node concept="3clFbS" id="1PFbZN6tO4Q" role="3IrJb0">
-                    <node concept="3SKdUt" id="3g$8GQBNC_v" role="3cqZAp">
-                      <node concept="1PaTwC" id="589APehYxF9" role="3ndbpf">
-                        <node concept="3oM_SD" id="589APehYxFa" role="1PaTwD">
-                          <property role="3oM_SC" value="todo:" />
-                        </node>
-                        <node concept="3oM_SD" id="589APehYxFb" role="1PaTwD">
-                          <property role="3oM_SC" value="check" />
-                        </node>
-                        <node concept="3oM_SD" id="589APehYxFc" role="1PaTwD">
-                          <property role="3oM_SC" value="compatibility" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aqczg" id="4MEOIDFrxkT" role="3cqZAp">
-                      <node concept="B_ONY" id="4MEOIDFrxkL" role="3Aqpz8">
-                        <ref role="17QRF" node="5YVX0wIhP3f" resolve="booleanType" />
-                        <node concept="a7P8L" id="4MEOIDFrxlb" role="B_OMz">
-                          <ref role="a7OzE" node="4nIWweB_n$x" resolve="ResultType" />
-                        </node>
-                        <node concept="1Q7qz5" id="4MEOIDFrxkR" role="150vd" />
-                      </node>
-                    </node>
-                    <node concept="3Aqczg" id="5bC6UNlIY4G" role="3cqZAp">
-                      <node concept="3Aqt3T" id="34$A1MfhpND" role="3Aqpz8">
-                        <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                        <node concept="37jhX" id="1TH_SRmhrt_" role="3AunhB">
-                          <node concept="2OqwBi" id="1TH_SRlXDmV" role="37jj2">
-                            <node concept="3A2sRY" id="34$A1MfhpNB" role="2Oq$k0">
-                              <ref role="3A2yKK" node="1PFbZN6tQXC" resolve="ee" />
-                            </node>
-                            <node concept="iZEcu" id="1TH_SRlXDmW" role="2OqNvi" />
-                          </node>
-                        </node>
-                        <node concept="a7P8L" id="34$A1MfhpNC" role="3AunhB">
-                          <ref role="a7OzE" node="4nIWweB_n$x" resolve="ResultType" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="2i6cuYQwvL2" role="3I6sU7">
+                  <node concept="1lHd6T" id="2i6cuYQwvL1" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="2i6cuYQwvOS" role="1ljv2e">
+                      <property role="Xl_RC" value="bad operand types for binary operator" />
                     </node>
                   </node>
                 </node>
@@ -13083,110 +13081,134 @@
     <node concept="1nLNMY" id="2vhmmFtcSLn" role="1nK1Vg">
       <property role="TrG5h" value="notEqualsExpression" />
       <node concept="3clFbS" id="2vhmmFtcSLo" role="1nLNMH">
-        <node concept="3SKdUt" id="2vhmmFtd3ex" role="3cqZAp">
-          <node concept="1PaTwC" id="2vhmmFtd3ey" role="3ndbpf">
-            <node concept="3oM_SD" id="2vhmmFtd3e$" role="1PaTwD">
-              <property role="3oM_SC" value="TODO" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd3fI" role="1PaTwD">
-              <property role="3oM_SC" value="test" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd46Y" role="1PaTwD">
-              <property role="3oM_SC" value="that" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd472" role="1PaTwD">
-              <property role="3oM_SC" value="the" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4jF" role="1PaTwD">
-              <property role="3oM_SC" value="types" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4jL" role="1PaTwD">
-              <property role="3oM_SC" value="are" />
-            </node>
-            <node concept="3oM_SD" id="2vhmmFtd4jS" role="1PaTwD">
-              <property role="3oM_SC" value="comparable" />
-            </node>
-          </node>
-        </node>
-        <node concept="1nLNNL" id="2vhmmFtcSLp" role="3cqZAp">
-          <node concept="1nLNMm" id="2vhmmFtcSLq" role="1nLNNK">
-            <node concept="3Aq9E8" id="2vhmmFtcYps" role="1nLNMd">
-              <node concept="3I6sU6" id="2vhmmFtcYpt" role="3Ip0Jz">
-                <node concept="3I6s7M" id="2vhmmFtd0Hz" role="3I6sU7">
-                  <node concept="3Aqt3T" id="2vhmmFtd0Hy" role="3I6s78">
+        <node concept="1nLNNL" id="2i6cuYQXrk0" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQXrk1" role="1nLNNK">
+            <node concept="3Aq9E8" id="2i6cuYQXrk2" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQXrk3" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQXrk4" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrk5" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQXrk6" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrku" resolve="LeftType" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQXrk7" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrkv" resolve="RightType" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQXrk8" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrk9" role="3I6s78">
                     <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="1TH_SRmhrtA" role="3AunhB">
-                      <node concept="2OqwBi" id="1TH_SRlXDmX" role="37jj2">
-                        <node concept="3A2sRY" id="2vhmmFtd13r" role="2Oq$k0">
+                    <node concept="37jhX" id="2i6cuYQXrka" role="3AunhB">
+                      <node concept="2OqwBi" id="2i6cuYQXrkb" role="37jj2">
+                        <node concept="3A2sRY" id="2i6cuYQXsf7" role="2Oq$k0">
                           <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
                         </node>
-                        <node concept="iZEcu" id="1TH_SRlXDmY" role="2OqNvi" />
+                        <node concept="iZEcu" id="2i6cuYQXsoZ" role="2OqNvi" />
                       </node>
                     </node>
-                    <node concept="ns1u0" id="2vhmmFtd13y" role="3AunhB">
+                    <node concept="ns1u0" id="2i6cuYQXrke" role="3AunhB">
                       <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="0eUR_" id="2vhmmFtcSLr" role="0UC6o">
-              <node concept="3NuqgR" id="2vhmmFtcSLs" role="0eVf_">
-                <node concept="aZer4" id="2vhmmFtcSLt" role="3XD1gS">
-                  <property role="TrG5h" value="ResultType" />
+            <node concept="3Aq9E8" id="2i6cuYQXrkf" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQXrkg" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQXrkh" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrki" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQXrkj" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrkv" resolve="RightType" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQXrkk" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrku" resolve="LeftType" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQXrkl" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrkm" role="3I6s78">
+                    <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="2i6cuYQXrkn" role="3AunhB">
+                      <node concept="2OqwBi" id="2i6cuYQXrko" role="37jj2">
+                        <node concept="3A2sRY" id="2i6cuYQXsAL" role="2Oq$k0">
+                          <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
+                        </node>
+                        <node concept="iZEcu" id="2i6cuYQXsKK" role="2OqNvi" />
+                      </node>
+                    </node>
+                    <node concept="ns1u0" id="2i6cuYQXrkr" role="3AunhB">
+                      <ref role="ns1xF" node="JOGAOsVt36" resolve="booleanType" />
+                    </node>
+                  </node>
                 </node>
               </node>
-              <node concept="3NuqgR" id="2vhmmFtcSLu" role="0eVf_">
-                <node concept="aZer4" id="2vhmmFtcSLv" role="3XD1gS">
+            </node>
+            <node concept="0eUR_" id="2i6cuYQXrks" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQXrkt" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQXrku" role="3XD1gS">
                   <property role="TrG5h" value="LeftType" />
                 </node>
-                <node concept="aZer4" id="2vhmmFtcSLw" role="3XD1gS">
+                <node concept="aZer4" id="2i6cuYQXrkv" role="3XD1gS">
                   <property role="TrG5h" value="RightType" />
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="2vhmmFtcSLx" role="1nLNMb">
+            <node concept="3Aq93q" id="2i6cuYQXrkw" role="1nLNMb">
               <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="2vhmmFtcSLy" role="3Ip0Jz">
-                <node concept="3I6s7M" id="2vhmmFtcSLz" role="3I6sU7">
-                  <node concept="3Aqt3T" id="2vhmmFtcSL$" role="3I6s78">
+              <node concept="3I6sU6" id="2i6cuYQXrkx" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQXrky" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrkz" role="3I6s78">
                     <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="1TH_SRmhrtB" role="3AunhB">
-                      <node concept="2OqwBi" id="1TH_SRlXDmZ" role="37jj2">
-                        <node concept="2OqwBi" id="2vhmmFtcSLA" role="2Oq$k0">
-                          <node concept="3A2sRY" id="2vhmmFtcSLB" role="2Oq$k0">
+                    <node concept="37jhX" id="2i6cuYQXrk$" role="3AunhB">
+                      <node concept="2OqwBi" id="2i6cuYQXrk_" role="37jj2">
+                        <node concept="2OqwBi" id="2i6cuYQXrkA" role="2Oq$k0">
+                          <node concept="3A2sRY" id="2i6cuYQXru9" role="2Oq$k0">
                             <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
                           </node>
-                          <node concept="3TrEf2" id="2vhmmFtcSLC" role="2OqNvi">
+                          <node concept="3TrEf2" id="2i6cuYQXs2D" role="2OqNvi">
                             <ref role="3Tt5mk" to="tpee:fJuHU4s" resolve="leftExpression" />
                           </node>
                         </node>
-                        <node concept="iZEcu" id="1TH_SRlXDn0" role="2OqNvi" />
+                        <node concept="iZEcu" id="2i6cuYQXt0W" role="2OqNvi" />
                       </node>
                     </node>
-                    <node concept="a7P8L" id="2vhmmFtcSLD" role="3AunhB">
-                      <ref role="a7OzE" node="2vhmmFtcSLv" resolve="LeftType" />
+                    <node concept="a7P8L" id="2i6cuYQXrkE" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrku" resolve="LeftType" />
                     </node>
                   </node>
                 </node>
-                <node concept="3I6s7M" id="2vhmmFtcSLE" role="3I6sU7">
-                  <node concept="3Aqt3T" id="2vhmmFtcSLF" role="3I6s78">
+                <node concept="3I6s7M" id="2i6cuYQXrkF" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQXrkG" role="3I6s78">
                     <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                    <node concept="37jhX" id="1TH_SRmhrtC" role="3AunhB">
-                      <node concept="2OqwBi" id="1TH_SRlXDn1" role="37jj2">
-                        <node concept="2OqwBi" id="2vhmmFtcSLH" role="2Oq$k0">
-                          <node concept="3A2sRY" id="2vhmmFtcSLI" role="2Oq$k0">
+                    <node concept="37jhX" id="2i6cuYQXrkH" role="3AunhB">
+                      <node concept="2OqwBi" id="2i6cuYQXrkI" role="37jj2">
+                        <node concept="2OqwBi" id="2i6cuYQXrkJ" role="2Oq$k0">
+                          <node concept="3A2sRY" id="2i6cuYQXrGK" role="2Oq$k0">
                             <ref role="3A2yKK" node="2vhmmFtcSM4" resolve="nee" />
                           </node>
-                          <node concept="3TrEf2" id="2vhmmFtcSLJ" role="2OqNvi">
+                          <node concept="3TrEf2" id="2i6cuYQXsaW" role="2OqNvi">
                             <ref role="3Tt5mk" to="tpee:fJuHU4r" resolve="rightExpression" />
                           </node>
                         </node>
-                        <node concept="iZEcu" id="1TH_SRlXDn2" role="2OqNvi" />
+                        <node concept="iZEcu" id="2i6cuYQXtbh" role="2OqNvi" />
                       </node>
                     </node>
-                    <node concept="a7P8L" id="2vhmmFtcSLK" role="3AunhB">
-                      <ref role="a7OzE" node="2vhmmFtcSLw" resolve="RightType" />
+                    <node concept="a7P8L" id="2i6cuYQXrkN" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQXrkv" resolve="RightType" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQXrkO" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQXrkP" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQXrkQ" role="3I6sU7">
+                  <node concept="1lHd6T" id="2i6cuYQXrkR" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="2i6cuYQXrkS" role="1ljv2e">
+                      <property role="Xl_RC" value="bad operand types for binary operator" />
                     </node>
                   </node>
                 </node>
@@ -14467,8 +14489,38 @@
         <property role="TrG5h" value="superType" />
       </node>
       <node concept="1zAsnw" id="5bC6UNlyGir" role="lGtFl">
-        <node concept="3SKdUq" id="5bC6UNlyGis" role="27qylF">
-          <property role="3SKdUp" value="asserts that subtyping relation is necessary for correctness of some program fragment" />
+        <node concept="3SKdUq" id="2i6cuYQXkN9" role="27qylF">
+          <property role="3SKdUp" value="general conversion for primitive and reference types with boxing (and no narrowing conversions)" />
+        </node>
+      </node>
+    </node>
+    <node concept="3AqmO8" id="2i6cuYQyoLv" role="8PkJo">
+      <property role="TrG5h" value="strictConvertsTo" />
+      <property role="3AqDzJ" value="2" />
+      <node concept="1zAUYm" id="2i6cuYQyoLw" role="1zAUyy">
+        <property role="TrG5h" value="subType" />
+      </node>
+      <node concept="1zAUYm" id="2i6cuYQyoLx" role="1zAUyy">
+        <property role="TrG5h" value="superType" />
+      </node>
+      <node concept="1zAsnw" id="2i6cuYQyoLy" role="lGtFl">
+        <node concept="3SKdUq" id="2i6cuYQyoXG" role="27qylF">
+          <property role="3SKdUp" value="convertsTo for primitive and reference types with boxing allowed only for compatible types" />
+        </node>
+      </node>
+    </node>
+    <node concept="3AqmO8" id="7AyqXCd_0im" role="8PkJo">
+      <property role="TrG5h" value="primConvertsTo" />
+      <property role="3AqDzJ" value="2" />
+      <node concept="1zAUYm" id="7AyqXCd_0in" role="1zAUyy">
+        <property role="TrG5h" value="subType" />
+      </node>
+      <node concept="1zAUYm" id="7AyqXCd_0io" role="1zAUyy">
+        <property role="TrG5h" value="superType" />
+      </node>
+      <node concept="1zAsnw" id="7AyqXCd_0ip" role="lGtFl">
+        <node concept="3SKdUq" id="7AyqXCd_0iq" role="27qylF">
+          <property role="3SKdUp" value="convertsTo for primitive and reference types with boxing and narrowing primitive conversion" />
         </node>
       </node>
     </node>
@@ -14535,21 +14587,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="7AyqXCd_0im" role="8PkJo">
-      <property role="TrG5h" value="primConvertsTo" />
-      <property role="3AqDzJ" value="2" />
-      <node concept="1zAUYm" id="7AyqXCd_0in" role="1zAUyy">
-        <property role="TrG5h" value="subType" />
-      </node>
-      <node concept="1zAUYm" id="7AyqXCd_0io" role="1zAUyy">
-        <property role="TrG5h" value="superType" />
-      </node>
-      <node concept="1zAsnw" id="7AyqXCd_0ip" role="lGtFl">
-        <node concept="3SKdUq" id="7AyqXCd_0iq" role="27qylF">
-          <property role="3SKdUp" value="primitive conversion, including boxing" />
-        </node>
-      </node>
-    </node>
     <node concept="3AqmO8" id="ONSj15RYDg" role="8PkJo">
       <property role="TrG5h" value="compatibleWith" />
       <property role="3AqDzJ" value="2" />
@@ -14772,7 +14809,6 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="3MG3BxoG1m2" role="3cqZAp" />
       </node>
     </node>
     <node concept="1nLNMY" id="1yt2T3T1NKR" role="1nK1Vg">
@@ -15043,9 +15079,6 @@
                 <node concept="aZer4" id="7AyqXCd_0Hw" role="3XD1gS">
                   <property role="TrG5h" value="T" />
                 </node>
-                <node concept="aZer4" id="7AyqXCd_0Hx" role="3XD1gS">
-                  <property role="TrG5h" value="TUbox" />
-                </node>
               </node>
             </node>
             <node concept="3Aq9E8" id="7AyqXCd_0Hy" role="1nLNMd">
@@ -15067,6 +15100,187 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2i6cuYQJ3za" role="1nK1Vg">
+      <property role="TrG5h" value="strictConverts_prim_prim" />
+      <node concept="3clFbS" id="2i6cuYQJ3zb" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQJ3zc" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQJ3zd" role="1nLNNK">
+            <node concept="0eUR_" id="2i6cuYQJ3ze" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQJ3zf" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQJ3zg" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQJ3zh" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQJ3zi" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="2i6cuYQJ3zj" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQJ3zk" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQJ3zl" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="1HFMs5" id="2i6cuYQJ3zm" role="3AunhB">
+                      <node concept="ns1u0" id="2i6cuYQJ3zn" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2A" resolve="primType" />
+                      </node>
+                      <node concept="a7P8L" id="2i6cuYQJ3zo" role="1uarlU">
+                        <ref role="a7OzE" node="2i6cuYQJ3zg" resolve="S" />
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="2i6cuYQJ3zp" role="3AunhB">
+                      <node concept="ns1u0" id="2i6cuYQJ3zq" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2A" resolve="primType" />
+                      </node>
+                      <node concept="a7P8L" id="2i6cuYQJ3zr" role="1uarlU">
+                        <ref role="a7OzE" node="2i6cuYQJ3zh" resolve="T" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQJ3zs" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQJ3zt" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQJ3zu" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQJ3zv" role="3I6s78">
+                    <ref role="3AqCNq" node="ohf6zGDp2e" resolve="primSubtype" />
+                    <node concept="a7P8L" id="2i6cuYQJ3zw" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ3zg" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQJ3zx" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ3zh" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2i6cuYQJ1RY" role="1nK1Vg">
+      <property role="TrG5h" value="strictConverts_prim_boxed" />
+      <node concept="3clFbS" id="2i6cuYQJ1RZ" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQJ1Sp" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQJ1Sq" role="1nLNNK">
+            <node concept="0eUR_" id="2i6cuYQJ1Sr" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQJ1Ss" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQJ1St" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQJ1Su" role="3XD1gS">
+                  <property role="TrG5h" value="BoxS" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQJ1Sv" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQJ1Sw" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="2i6cuYQJ1Sx" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQJ1Sy" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQJ1Sz" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="1HFMs5" id="2i6cuYQJ1S$" role="3AunhB">
+                      <node concept="ns1u0" id="2i6cuYQJ1S_" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2A" resolve="primType" />
+                      </node>
+                      <node concept="a7P8L" id="2i6cuYQJ1SA" role="1uarlU">
+                        <ref role="a7OzE" node="2i6cuYQJ1St" resolve="S" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQKX6h" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1Sv" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQJ1SE" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQJ1SF" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQJ1SG" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQJ1SH" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQD3Ij" resolve="boxChecked" />
+                    <node concept="a7P8L" id="2i6cuYQJ1SI" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1Su" resolve="BoxS" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQJ1SJ" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1St" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQJ1SK" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1Sv" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQJ1SL" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQJ1SM" role="3I6s78">
+                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQJ1SN" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1Su" resolve="BoxS" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQJ1SO" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQJ1Sv" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2i6cuYQKYr_" role="1nK1Vg">
+      <property role="TrG5h" value="strictConverts_default" />
+      <node concept="3clFbS" id="2i6cuYQKYrA" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQKYrB" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQKYrC" role="1nLNNK">
+            <node concept="3Aq93q" id="2i6cuYQKYrD" role="1nLNMb">
+              <node concept="3I6sU6" id="2i6cuYQKYrE" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQKYrF" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQKYrG" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQyoLv" resolve="strictConvertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQKYrH" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQKYrL" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQKYrI" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQKYrM" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2i6cuYQKYrJ" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQKYrK" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQKYrL" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQKYrM" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQKYrO" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQKYrP" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQKYrQ" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQKYrR" role="3I6s78">
+                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="a7P8L" id="2i6cuYQKYrS" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQKYrL" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQKYrT" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQKYrM" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="5o9$c3zOxT6" role="1nK1Vg">
       <property role="TrG5h" value="inferFromCapture" />
       <node concept="3clFbS" id="5o9$c3zOxT7" role="1nLNMH">
@@ -15490,31 +15704,6 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="5o9$c3zQvvl" role="3cqZAp">
-          <node concept="1PaTwC" id="5o9$c3zQvvm" role="3ndbpf">
-            <node concept="3oM_SD" id="5o9$c3zQvvo" role="1PaTwD">
-              <property role="3oM_SC" value="fixme:" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQv_0" role="1PaTwD">
-              <property role="3oM_SC" value="hasBound" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQvCQ" role="1PaTwD">
-              <property role="3oM_SC" value="should" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQvGH" role="1PaTwD">
-              <property role="3oM_SC" value="be" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQvGM" role="1PaTwD">
-              <property role="3oM_SC" value="reactivated" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQvOu" role="1PaTwD">
-              <property role="3oM_SC" value="on" />
-            </node>
-            <node concept="3oM_SD" id="5o9$c3zQvO_" role="1PaTwD">
-              <property role="3oM_SC" value="unification" />
-            </node>
-          </node>
-        </node>
         <node concept="3clFbH" id="5o9$c3zQxp3" role="3cqZAp" />
         <node concept="1nLNNL" id="5o9$c3zQtk0" role="3cqZAp">
           <node concept="1nLNMm" id="5o9$c3zQtk1" role="1nLNNK">
@@ -15821,209 +16010,6 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="5o9$c3zwp8G" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="5o9$c3zwkZ9" role="8Wnug">
-        <property role="TrG5h" value="converts_free_and_ground" />
-        <node concept="3clFbS" id="5o9$c3zwkZa" role="1nLNMH">
-          <node concept="3SKdUt" id="5o9$c3zK7hp" role="3cqZAp">
-            <node concept="1PaTwC" id="5o9$c3zK7hq" role="3ndbpf">
-              <node concept="3oM_SD" id="5o9$c3zK7hs" role="1PaTwD">
-                <property role="3oM_SC" value="fixme:" />
-              </node>
-              <node concept="3oM_SD" id="5o9$c3zK7ms" role="1PaTwD">
-                <property role="3oM_SC" value="hasBound" />
-              </node>
-              <node concept="3oM_SD" id="5o9$c3zK7qi" role="1PaTwD">
-                <property role="3oM_SC" value="must" />
-              </node>
-              <node concept="3oM_SD" id="5o9$c3zK7qm" role="1PaTwD">
-                <property role="3oM_SC" value="be" />
-              </node>
-              <node concept="3oM_SD" id="5o9$c3zK7qr" role="1PaTwD">
-                <property role="3oM_SC" value="reactivated" />
-              </node>
-            </node>
-          </node>
-          <node concept="3SKdUt" id="3R6X$QWb7uN" role="3cqZAp">
-            <node concept="1PaTwC" id="3R6X$QWb7uO" role="3ndbpf">
-              <node concept="3oM_SD" id="3R6X$QWb7uQ" role="1PaTwD">
-                <property role="3oM_SC" value="if" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb7zb" role="1PaTwD">
-                <property role="3oM_SC" value="free" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWxx$o" role="1PaTwD">
-                <property role="3oM_SC" value="var" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb7ze" role="1PaTwD">
-                <property role="3oM_SC" value="has" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb7ES" role="1PaTwD">
-                <property role="3oM_SC" value="a" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb7EX" role="1PaTwD">
-                <property role="3oM_SC" value="bound" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb824" role="1PaTwD">
-                <property role="3oM_SC" value="then" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb860" role="1PaTwD">
-                <property role="3oM_SC" value="it" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb86a" role="1PaTwD">
-                <property role="3oM_SC" value="will" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb8a8" role="1PaTwD">
-                <property role="3oM_SC" value="be" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb8ak" role="1PaTwD">
-                <property role="3oM_SC" value="checked" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb8ek" role="1PaTwD">
-                <property role="3oM_SC" value="through" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb8ey" role="1PaTwD">
-                <property role="3oM_SC" value="reactivation" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWb8i$" role="1PaTwD">
-                <property role="3oM_SC" value="of" />
-              </node>
-              <node concept="3oM_SD" id="3R6X$QWxxK2" role="1PaTwD">
-                <property role="3oM_SC" value="hasBound()" />
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbH" id="3R6X$QWxxnN" role="3cqZAp" />
-          <node concept="1nLNNL" id="5o9$c3zwkZb" role="3cqZAp">
-            <node concept="1nLNMm" id="5o9$c3zwkZc" role="1nLNNK">
-              <node concept="0eUR_" id="5o9$c3zwkZd" role="0UC6o">
-                <node concept="3NuqgR" id="5o9$c3zwkZe" role="0eVf_">
-                  <node concept="aZer4" id="5o9$c3zwkZf" role="3XD1gS">
-                    <property role="TrG5h" value="S" />
-                  </node>
-                  <node concept="aZer4" id="5o9$c3zwkZg" role="3XD1gS">
-                    <property role="TrG5h" value="T" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="5o9$c3zwkZh" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="5o9$c3zwkZi" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZj" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zwkZk" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zwkZl" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zwkZf" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5o9$c3zwkZm" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zwkZg" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="5o9$c3zwkZn" role="1nLNMa">
-                <node concept="3I6sU6" id="5o9$c3zwkZo" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZp" role="3I6sU7">
-                    <node concept="2aLmEc" id="5o9$c3zwkZq" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZr" role="2aLmnP">
-                        <ref role="a7OzE" node="5o9$c3zwkZf" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="5o9$c3zwkZs" role="3I6sU7">
-                    <node concept="2aM9Np" id="5o9$c3zwkZt" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZu" role="2aLmnP">
-                        <ref role="a7OzE" node="5o9$c3zwkZg" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9E8" id="5o9$c3zwkZv" role="1nLNMd">
-                <node concept="3I6sU6" id="5o9$c3zwkZw" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZx" role="3I6sU7">
-                    <node concept="3A8Hvi" id="5o9$c3zwkZy" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZz" role="3A8wtg">
-                        <ref role="a7OzE" node="5o9$c3zwkZf" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5upUcEtp6y2" role="3A8w4Q">
-                        <ref role="a7OzE" node="5o9$c3zwkZg" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbH" id="5o9$c3zwkZ$" role="3cqZAp" />
-          <node concept="1nLNNL" id="5o9$c3zwkZ_" role="3cqZAp">
-            <node concept="1nLNMm" id="5o9$c3zwkZA" role="1nLNNK">
-              <node concept="0eUR_" id="5o9$c3zwkZB" role="0UC6o">
-                <node concept="3NuqgR" id="5o9$c3zwkZC" role="0eVf_">
-                  <node concept="aZer4" id="5o9$c3zwkZD" role="3XD1gS">
-                    <property role="TrG5h" value="S" />
-                  </node>
-                  <node concept="aZer4" id="5o9$c3zwkZE" role="3XD1gS">
-                    <property role="TrG5h" value="T" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq93q" id="5o9$c3zwkZF" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="5o9$c3zwkZG" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZH" role="3I6sU7">
-                    <node concept="3Aqt3T" id="5o9$c3zwkZI" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="a7P8L" id="5o9$c3zwkZJ" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zwkZD" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5o9$c3zwkZK" role="3AunhB">
-                        <ref role="a7OzE" node="5o9$c3zwkZE" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9_M" id="5o9$c3zwkZL" role="1nLNMa">
-                <node concept="3I6sU6" id="5o9$c3zwkZM" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZN" role="3I6sU7">
-                    <node concept="2aLmEc" id="5o9$c3zwkZO" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZP" role="2aLmnP">
-                        <ref role="a7OzE" node="5o9$c3zwkZE" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3I6s7M" id="5o9$c3zwkZQ" role="3I6sU7">
-                    <node concept="2aM9Np" id="5o9$c3zwkZR" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZS" role="2aLmnP">
-                        <ref role="a7OzE" node="5o9$c3zwkZD" resolve="S" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3Aq9E8" id="5o9$c3zwkZT" role="1nLNMd">
-                <node concept="3I6sU6" id="5o9$c3zwkZU" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="5o9$c3zwkZV" role="3I6sU7">
-                    <node concept="3A8Hvi" id="5o9$c3zwkZW" role="3I6s78">
-                      <node concept="a7P8L" id="5o9$c3zwkZX" role="3A8wtg">
-                        <ref role="a7OzE" node="5o9$c3zwkZD" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="5o9$c3zwkZY" role="3A8w4Q">
-                        <ref role="a7OzE" node="5o9$c3zwkZE" resolve="T" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="12QmIo_7siG" role="1nK1Vg">
       <property role="TrG5h" value="converts_free_to_free" />
       <node concept="3clFbS" id="12QmIo_7siH" role="1nLNMH">
@@ -16183,7 +16169,7 @@
                         <ref role="a7OzE" node="7AyqXCdxuXE" resolve="S" />
                       </node>
                     </node>
-                    <node concept="a7P8L" id="7AyqXCdxvn8" role="3AunhB">
+                    <node concept="a7P8L" id="2i6cuYQXny2" role="3AunhB">
                       <ref role="a7OzE" node="7AyqXCdxuXF" resolve="T" />
                     </node>
                   </node>
@@ -16220,6 +16206,85 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2i6cuYQV6te" role="1nK1Vg">
+      <property role="TrG5h" value="converts_null_prim" />
+      <node concept="3clFbS" id="2i6cuYQV6tf" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQV6tg" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQV6th" role="1nLNNK">
+            <node concept="0eUR_" id="2i6cuYQV6ti" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQV6tj" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQV6tk" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQV6tl" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQV6tm" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="2i6cuYQV6tn" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQV6to" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQV6tp" role="3I6s78">
+                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="2i6cuYQV6tq" role="3AunhB">
+                      <node concept="ns1u0" id="2i6cuYQV6tr" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt3c" resolve="nullType" />
+                      </node>
+                      <node concept="a7P8L" id="2i6cuYQV6ts" role="1uarlU">
+                        <ref role="a7OzE" node="2i6cuYQV6tk" resolve="S" />
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="2i6cuYQV6YA" role="3AunhB">
+                      <node concept="a7P8L" id="2i6cuYQV6tt" role="1uarlU">
+                        <ref role="a7OzE" node="2i6cuYQV6tl" resolve="T" />
+                      </node>
+                      <node concept="ns1u0" id="2i6cuYQV72C" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2A" resolve="primType" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQV76t" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQV76u" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQV7Gv" role="3I6sU7">
+                  <node concept="1lpGmL" id="2i6cuYQV7Gw" role="3I6s78">
+                    <node concept="3cpWs3" id="2i6cuYQV7Gx" role="1lp$hM">
+                      <node concept="3cpWs3" id="2i6cuYQV7Gy" role="3uHU7B">
+                        <node concept="3cpWs3" id="2i6cuYQV7Gz" role="3uHU7B">
+                          <node concept="Xl_RD" id="2i6cuYQV7G$" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="2i6cuYQV7G_" role="3uHU7w">
+                            <node concept="1nq8_$" id="2i6cuYQV7GA" role="1Tms7$">
+                              <node concept="a7P8L" id="2i6cuYQV7GB" role="1nq8_t">
+                                <ref role="a7OzE" node="2i6cuYQV6tk" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="2i6cuYQV7GC" role="3uHU7w">
+                          <property role="Xl_RC" value=" cannot be converted to " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="2i6cuYQV7GD" role="3uHU7w">
+                        <node concept="1nq8_$" id="2i6cuYQV7GE" role="1Tms7$">
+                          <node concept="a7P8L" id="2i6cuYQV7GF" role="1nq8_t">
+                            <ref role="a7OzE" node="2i6cuYQV6tl" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="12QmIo_7shO" role="1nK1Vg">
       <property role="TrG5h" value="converts_captureOf_upperBound" />
       <node concept="3clFbS" id="12QmIo_7shP" role="1nLNMH">
@@ -24286,7 +24351,7 @@
       </node>
     </node>
     <node concept="1nLNMY" id="12QmIo_7slh" role="1nK1Vg">
-      <property role="TrG5h" value="primSubtype_catchAll" />
+      <property role="TrG5h" value="primSubtypeBoxed_catchAll" />
       <node concept="3clFbS" id="12QmIo_7sli" role="1nLNMH">
         <node concept="1nLNNL" id="12QmIo_7slj" role="3cqZAp">
           <node concept="1nLNMm" id="12QmIo_7slk" role="1nLNNK">
@@ -24304,7 +24369,7 @@
               <node concept="3I6sU6" id="19nQ_7UPXp1" role="3Ip0Jz">
                 <node concept="3I6s7M" id="19nQ_7UPXDT" role="3I6sU7">
                   <node concept="3Aqt3T" id="19nQ_7UPXDS" role="3I6s78">
-                    <ref role="3AqCNq" node="ohf6zGDp2e" resolve="primSubtype" />
+                    <ref role="3AqCNq" node="7AyqXCdDQnv" resolve="primSubtypeBoxed" />
                     <node concept="a7P8L" id="19nQ_7UPXEj" role="3AunhB">
                       <ref role="a7OzE" node="19nQ_7UPXpg" resolve="S" />
                     </node>
@@ -24333,8 +24398,8 @@
                             </node>
                           </node>
                         </node>
-                        <node concept="Xl_RD" id="4WwvXRZ9N0Q" role="3uHU7w">
-                          <property role="Xl_RC" value=" is not subtype of " />
+                        <node concept="Xl_RD" id="2i6cuYQD7o7" role="3uHU7w">
+                          <property role="Xl_RC" value=" can't be converted to " />
                         </node>
                       </node>
                       <node concept="1TmgYN" id="4WwvXRZbtLI" role="3uHU7w">
@@ -24353,6 +24418,74 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2i6cuYQD6r0" role="1nK1Vg">
+      <property role="TrG5h" value="primSubtype_catchAll" />
+      <node concept="3clFbS" id="2i6cuYQD6r1" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQD6r2" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQD6r3" role="1nLNNK">
+            <node concept="0eUR_" id="2i6cuYQD6r4" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQD6r5" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQD6r6" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQD6r7" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQD6r8" role="1nLNMb">
+              <node concept="3I6sU6" id="2i6cuYQD6r9" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQD6ra" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQD6rb" role="3I6s78">
+                    <ref role="3AqCNq" node="ohf6zGDp2e" resolve="primSubtype" />
+                    <node concept="a7P8L" id="2i6cuYQD6rc" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQD6r6" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQD6rd" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQD6r7" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQD6re" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQD6rf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQD6rg" role="3I6sU7">
+                  <node concept="1lpGmL" id="2i6cuYQD6rh" role="3I6s78">
+                    <node concept="3cpWs3" id="2i6cuYQD6ri" role="1lp$hM">
+                      <node concept="3cpWs3" id="2i6cuYQD6rj" role="3uHU7B">
+                        <node concept="3cpWs3" id="2i6cuYQD6rk" role="3uHU7B">
+                          <node concept="Xl_RD" id="2i6cuYQD6rl" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="2i6cuYQD6rm" role="3uHU7w">
+                            <node concept="1nq8_$" id="2i6cuYQD6rn" role="1Tms7$">
+                              <node concept="a7P8L" id="2i6cuYQD6ro" role="1nq8_t">
+                                <ref role="a7OzE" node="2i6cuYQD6r6" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="2i6cuYQD6rp" role="3uHU7w">
+                          <property role="Xl_RC" value=" can't be converted to " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="2i6cuYQD6rq" role="3uHU7w">
+                        <node concept="1nq8_$" id="2i6cuYQD6rr" role="1Tms7$">
+                          <node concept="a7P8L" id="2i6cuYQD6rs" role="1nq8_t">
+                            <ref role="a7OzE" node="2i6cuYQD6r7" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="4nb5svirH4">
     <property role="3GE5qa" value="rule.relation" />
@@ -24746,6 +24879,126 @@
         <property role="TrG5h" value="type" />
       </node>
     </node>
+    <node concept="3AqmO8" id="2i6cuYQD3Ij" role="8PkJo">
+      <property role="TrG5h" value="boxChecked" />
+      <node concept="1zAUYm" id="2i6cuYQD3Q1" role="1zAUyy">
+        <property role="TrG5h" value="boxed" />
+      </node>
+      <node concept="1zAUYm" id="2i6cuYQD3XD" role="1zAUyy">
+        <property role="TrG5h" value="typeFrom" />
+      </node>
+      <node concept="1zAUYm" id="2i6cuYQD41v" role="1zAUyy">
+        <property role="TrG5h" value="typeTo" />
+      </node>
+    </node>
+    <node concept="1nLNMY" id="2i6cuYQD3r1" role="1nK1Vg">
+      <property role="TrG5h" value="boxChecked" />
+      <node concept="3clFbS" id="2i6cuYQD3r2" role="1nLNMH">
+        <node concept="3SKdUt" id="2i6cuYQFg8o" role="3cqZAp">
+          <node concept="1PaTwC" id="2i6cuYQFg8p" role="3ndbpf">
+            <node concept="3oM_SD" id="2i6cuYQFg8r" role="1PaTwD">
+              <property role="3oM_SC" value="performs" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFiPG" role="1PaTwD">
+              <property role="3oM_SC" value="boxing" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFiTB" role="1PaTwD">
+              <property role="3oM_SC" value="conversion" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFiXz" role="1PaTwD">
+              <property role="3oM_SC" value="only" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFjd_" role="1PaTwD">
+              <property role="3oM_SC" value="if" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFjdI" role="1PaTwD">
+              <property role="3oM_SC" value="target" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFjhF" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFggB" role="1PaTwD">
+              <property role="3oM_SC" value="is" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFjtf" role="1PaTwD">
+              <property role="3oM_SC" value="a" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFgkv" role="1PaTwD">
+              <property role="3oM_SC" value="compatible" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQFgsb" role="1PaTwD">
+              <property role="3oM_SC" value="type" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQFjCO" role="3cqZAp" />
+        <node concept="1nLNNL" id="2i6cuYQFclW" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQFclX" role="1nLNNK">
+            <node concept="3Aq9E8" id="2i6cuYQFclY" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQFclZ" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQFcm0" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQFeBB" role="3I6s78">
+                    <ref role="3AqCNq" node="35YJGAK4DH_" resolve="unbox" />
+                    <node concept="a7P8L" id="2i6cuYQFfKM" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFfx5" resolve="U" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQFeFv" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcTo" resolve="TypeTo" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="2i6cuYQFeNh" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQFeNf" role="3I6s78">
+                    <ref role="3AqCNq" node="6txXQySZxcH" resolve="box" />
+                    <node concept="a7P8L" id="2i6cuYQFeUZ" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcmh" resolve="Boxed" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQFfWn" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcmi" resolve="TypeFrom" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQFcm7" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="2i6cuYQFcm8" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQFcm9" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQFcma" role="3I6s78">
+                    <ref role="3AqCNq" node="2i6cuYQD3Ij" resolve="boxChecked" />
+                    <node concept="a7P8L" id="2i6cuYQFcmb" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcmh" resolve="Boxed" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQFcLC" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcmi" resolve="TypeFrom" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQFd5d" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQFcTo" resolve="TypeTo" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="2i6cuYQFcmf" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQFcmg" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQFcmh" role="3XD1gS">
+                  <property role="TrG5h" value="Boxed" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQFcmi" role="3XD1gS">
+                  <property role="TrG5h" value="TypeFrom" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQFcTo" role="3XD1gS">
+                  <property role="TrG5h" value="TypeTo" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQFfx5" role="3XD1gS">
+                  <property role="TrG5h" value="U" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="1Py6iKEYV7" role="1nK1Vg">
       <property role="TrG5h" value="box_primitive" />
       <node concept="3clFbS" id="1Py6iKEYV8" role="1nLNMH">
@@ -25842,62 +26095,6 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="5XJPBczwlYC" role="3cqZAp" />
-        <node concept="1nLNNL" id="5XJPBczwlYD" role="3cqZAp">
-          <node concept="1nLNMm" id="5XJPBczwlYE" role="1nLNNK">
-            <node concept="3Aq93q" id="5XJPBczwlYF" role="1nLNMb">
-              <property role="3ArMco" value="false" />
-              <node concept="3I6sU6" id="5XJPBczwlYG" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5XJPBczwlYH" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5XJPBczwlYI" role="3I6s78">
-                    <ref role="3AqCNq" node="35YJGAK4DH_" resolve="unbox" />
-                    <node concept="a7P8L" id="5XJPBczwlYJ" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGu4L" resolve="Unboxed" />
-                    </node>
-                    <node concept="1HFMs5" id="5XJPBczwlYK" role="3AunhB">
-                      <node concept="a7P8L" id="5XJPBczwlYL" role="1uarlU">
-                        <ref role="a7OzE" node="5TXeSYSGu4M" resolve="Type" />
-                      </node>
-                      <node concept="ns1u0" id="5XJPBczwmec" role="1uarlW">
-                        <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9E8" id="5XJPBczwlYN" role="1nLNMd">
-              <node concept="3I6sU6" id="5XJPBczwlYO" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4WwvXRZ6ICQ" role="3I6sU7">
-                  <node concept="1lpGmL" id="4WwvXRZ6ICR" role="3I6s78">
-                    <node concept="3cpWs3" id="4WwvXRZ6ICS" role="1lp$hM">
-                      <node concept="1TmgYN" id="4WwvXRZ6ICT" role="3uHU7w">
-                        <node concept="1nq8_$" id="4WwvXRZ6ICU" role="1Tms7$">
-                          <node concept="a7P8L" id="4WwvXRZ6ICV" role="1nq8_t">
-                            <ref role="a7OzE" node="5TXeSYSGu4M" resolve="Type" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="Xl_RD" id="4WwvXRZ6ICW" role="3uHU7B">
-                        <property role="Xl_RC" value="cannot find unboxed type for " />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="0eUR_" id="5TXeSYSGu4J" role="0UC6o">
-              <node concept="3NuqgR" id="5TXeSYSGu4K" role="0eVf_">
-                <node concept="aZer4" id="5TXeSYSGu4L" role="3XD1gS">
-                  <property role="TrG5h" value="Unboxed" />
-                </node>
-                <node concept="aZer4" id="5TXeSYSGu4M" role="3XD1gS">
-                  <property role="TrG5h" value="Type" />
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
       </node>
     </node>
     <node concept="1nLNMY" id="35YJGAK4DHI" role="1nK1Vg">
@@ -25954,6 +26151,61 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="2i6cuYQOECx" role="1nK1Vg">
+      <property role="TrG5h" value="unbox_default" />
+      <node concept="3clFbS" id="2i6cuYQOECy" role="1nLNMH">
+        <node concept="1nLNNL" id="2i6cuYQOECz" role="3cqZAp">
+          <node concept="1nLNMm" id="2i6cuYQOEC$" role="1nLNNK">
+            <node concept="0eUR_" id="2i6cuYQOEC_" role="0UC6o">
+              <node concept="3NuqgR" id="2i6cuYQOECA" role="0eVf_">
+                <node concept="aZer4" id="2i6cuYQOECB" role="3XD1gS">
+                  <property role="TrG5h" value="U" />
+                </node>
+                <node concept="aZer4" id="2i6cuYQOECC" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="2i6cuYQOECD" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="2i6cuYQOECE" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQOECF" role="3I6sU7">
+                  <node concept="3Aqt3T" id="2i6cuYQOECG" role="3I6s78">
+                    <ref role="3AqCNq" node="35YJGAK4DH_" resolve="unbox" />
+                    <node concept="a7P8L" id="2i6cuYQOECH" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQOECB" resolve="U" />
+                    </node>
+                    <node concept="a7P8L" id="2i6cuYQOECI" role="3AunhB">
+                      <ref role="a7OzE" node="2i6cuYQOECC" resolve="T" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="2i6cuYQOECJ" role="1nLNMd">
+              <node concept="3I6sU6" id="2i6cuYQOECK" role="3Ip0Jz">
+                <node concept="3I6s7M" id="2i6cuYQOG1M" role="3I6sU7">
+                  <node concept="1lpGmL" id="2i6cuYQOG1N" role="3I6s78">
+                    <node concept="3cpWs3" id="2i6cuYQOG1O" role="1lp$hM">
+                      <node concept="1TmgYN" id="2i6cuYQOG1P" role="3uHU7w">
+                        <node concept="1nq8_$" id="2i6cuYQOG1Q" role="1Tms7$">
+                          <node concept="a7P8L" id="2i6cuYQOGi3" role="1nq8_t">
+                            <ref role="a7OzE" node="2i6cuYQOECC" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Xl_RD" id="2i6cuYQOG1S" role="3uHU7B">
+                        <property role="Xl_RC" value="cannot find unboxed type for " />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="6Qzc0KyJGzD">
     <property role="TrG5h" value="Recover" />
@@ -39069,7 +39321,7 @@
                     </node>
                     <node concept="3I6s7M" id="3sbALnU5QwA" role="3I6sU7">
                       <node concept="3Aqt3T" id="3sbALnU5Qw_" role="3I6s78">
-                        <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                        <ref role="3AqCNq" node="7AyqXCd_0im" resolve="primConvertsTo" />
                         <node concept="a7P8L" id="3sbALnU5ZI1" role="3AunhB">
                           <ref role="a7OzE" node="5TXeSYSGdVQ" resolve="ValT" />
                         </node>
@@ -39215,7 +39467,7 @@
               <node concept="3I6sU6" id="3M0B6RCJedq" role="3Ip0Jz">
                 <node concept="3I6s7M" id="3M0B6RCJf7E" role="3I6sU7">
                   <node concept="3Aqt3T" id="3M0B6RCJf7C" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                    <ref role="3AqCNq" node="7AyqXCd_0im" resolve="primConvertsTo" />
                     <node concept="a7P8L" id="3M0B6RCJf88" role="3AunhB">
                       <ref role="a7OzE" node="3M0B6RCJf3X" resolve="IndexT" />
                     </node>
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 f6b9f344..65e587fb 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
@@ -183,6 +183,7 @@
         <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="1184950988562" name="jetbrains.mps.baseLanguage.structure.ArrayCreator" flags="nn" index="3$_iS1">
         <child id="1184951007469" name="componentType" index="3$_nBY" />
         <child id="1184952969026" name="dimensionExpression" index="3$GQph" />
@@ -5454,6 +5455,19 @@
     <node concept="312cEu" id="5XJPBczwaPw" role="jymVt">
       <property role="2bfB8j" value="true" />
       <property role="TrG5h" value="Foo" />
+      <node concept="3clFb_" id="2i6cuYQX5py" role="jymVt">
+        <property role="TrG5h" value="acceptNumber" />
+        <node concept="3clFbS" id="2i6cuYQX5p_" role="3clF47" />
+        <node concept="3Tm1VV" id="2i6cuYQX4k6" role="1B3o_S" />
+        <node concept="3cqZAl" id="2i6cuYQX5fL" role="3clF45" />
+        <node concept="37vLTG" id="2i6cuYQX6pc" role="3clF46">
+          <property role="TrG5h" value="n" />
+          <node concept="3uibUv" id="2i6cuYQX6pb" role="1tU5fm">
+            <ref role="3uigEE" to="wyt6:~Number" resolve="Number" />
+          </node>
+        </node>
+      </node>
+      <node concept="2tJIrI" id="2i6cuYQXbub" role="jymVt" />
       <node concept="3clFb_" id="k8UccHWkb8" role="jymVt">
         <property role="TrG5h" value="primboolean" />
         <node concept="37vLTG" id="k8UccHWlHG" role="3clF46">
@@ -5464,7 +5478,6 @@
         <node concept="3Tm1VV" id="k8UccHWh4K" role="1B3o_S" />
         <node concept="3cqZAl" id="k8UccHWiNe" role="3clF45" />
       </node>
-      <node concept="2tJIrI" id="5XJPBczwaPC" role="jymVt" />
       <node concept="3clFb_" id="5XJPBczwaS7" role="jymVt">
         <property role="TrG5h" value="primchar" />
         <node concept="37vLTG" id="5XJPBczwaSk" role="3clF46">
@@ -6027,6 +6040,21 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbF" id="2i6cuYQXdzB" role="3cqZAp">
+          <node concept="2OqwBi" id="2i6cuYQXdzC" role="3clFbG">
+            <node concept="2ShNRf" id="2i6cuYQXdzD" role="2Oq$k0">
+              <node concept="HV5vD" id="2i6cuYQXdzE" role="2ShVmc">
+                <ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
+              </node>
+            </node>
+            <node concept="liA8E" id="2i6cuYQXdzF" role="2OqNvi">
+              <ref role="37wK5l" node="2i6cuYQX5py" resolve="acceptNumber" />
+              <node concept="37vLTw" id="2i6cuYQXdzG" role="37wK5m">
+                <ref role="3cqZAo" node="5XJPBczO7Ey" resolve="f" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="5XJPBczXGN4" role="jymVt" />
@@ -6439,6 +6467,21 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbF" id="2i6cuYQXfdd" role="3cqZAp">
+          <node concept="2OqwBi" id="2i6cuYQXfde" role="3clFbG">
+            <node concept="2ShNRf" id="2i6cuYQXfdf" role="2Oq$k0">
+              <node concept="HV5vD" id="2i6cuYQXfdg" role="2ShVmc">
+                <ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
+              </node>
+            </node>
+            <node concept="liA8E" id="2i6cuYQXfdh" role="2OqNvi">
+              <ref role="37wK5l" node="2i6cuYQX5py" resolve="acceptNumber" />
+              <node concept="37vLTw" id="2i6cuYQXfdi" role="37wK5m">
+                <ref role="3cqZAo" node="5XJPBczXGA0" resolve="f" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="5XJPBczW1m3" role="jymVt" />
@@ -6838,6 +6881,21 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbF" id="2i6cuYQXgSs" role="3cqZAp">
+          <node concept="2OqwBi" id="2i6cuYQXgSt" role="3clFbG">
+            <node concept="2ShNRf" id="2i6cuYQXgSu" role="2Oq$k0">
+              <node concept="HV5vD" id="2i6cuYQXgSv" role="2ShVmc">
+                <ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
+              </node>
+            </node>
+            <node concept="liA8E" id="2i6cuYQXgSw" role="2OqNvi">
+              <ref role="37wK5l" node="2i6cuYQX5py" resolve="acceptNumber" />
+              <node concept="2$xPTn" id="2i6cuYQXgSx" role="37wK5m">
+                <property role="2$xPTl" value="1.1f" />
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
     <node concept="2tJIrI" id="7AyqXCd$LNG" role="jymVt" />
@@ -7270,6 +7328,16 @@
             <node concept="3clFbT" id="pupwRqgNSb" role="33vP2m" />
           </node>
         </node>
+        <node concept="3cpWs8" id="2i6cuYQWUUv" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQWUUy" role="3cpWs9">
+            <property role="TrG5h" value="bnull" />
+            <node concept="10P_77" id="2i6cuYQWUUt" role="1tU5fm" />
+            <node concept="10Nm6u" id="2i6cuYQWV6K" role="33vP2m" />
+            <node concept="1U20sH" id="2i6cuYQWV7Y" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="5XJPBczWhAM" role="3cqZAp">
           <node concept="3cpWsn" id="5XJPBczWhAP" role="3cpWs9">
             <property role="TrG5h" value="ca" />
@@ -7552,6 +7620,27 @@
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="2i6cuYQWWyY" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQWWz1" role="3cpWs9">
+            <property role="TrG5h" value="dn" />
+            <node concept="10P55v" id="2i6cuYQWWyW" role="1tU5fm" />
+            <node concept="10Nm6u" id="2i6cuYQWWLp" role="33vP2m" />
+            <node concept="1U20sH" id="2i6cuYQWWPy" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXjh3" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXjh4" role="3cpWs9">
+            <property role="TrG5h" value="num" />
+            <node concept="3uibUv" id="2i6cuYQXjh5" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Number" resolve="Number" />
+            </node>
+            <node concept="3b6qkQ" id="2i6cuYQXjTT" role="33vP2m">
+              <property role="$nhwW" value="1.1" />
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="5XJPBczXwKK" role="3cqZAp">
           <node concept="2OqwBi" id="5XJPBczXwKH" role="3clFbG">
             <node concept="10M0yZ" id="5XJPBczXwKI" role="2Oq$k0">
@@ -7677,6 +7766,15 @@
             <node concept="3clFbT" id="pupwRqgYCq" role="33vP2m" />
           </node>
         </node>
+        <node concept="3cpWs8" id="2i6cuYQWXqp" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQWXqq" role="3cpWs9">
+            <property role="TrG5h" value="bnull" />
+            <node concept="3uibUv" id="2i6cuYQWXqr" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
+            </node>
+            <node concept="10Nm6u" id="2i6cuYQWYwH" role="33vP2m" />
+          </node>
+        </node>
         <node concept="3cpWs8" id="7AyqXCd$XUb" role="3cqZAp">
           <node concept="3cpWsn" id="7AyqXCd$XUc" role="3cpWs9">
             <property role="TrG5h" value="ca" />
@@ -8024,6 +8122,15 @@
             </node>
           </node>
         </node>
+        <node concept="3cpWs8" id="2i6cuYQWZ5H" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQWZ5I" role="3cpWs9">
+            <property role="TrG5h" value="dn" />
+            <node concept="3uibUv" id="2i6cuYQWZ5J" role="1tU5fm">
+              <ref role="3uigEE" to="wyt6:~Double" resolve="Double" />
+            </node>
+            <node concept="10Nm6u" id="2i6cuYQWZsp" role="33vP2m" />
+          </node>
+        </node>
         <node concept="3clFbF" id="7AyqXCd$XW1" role="3cqZAp">
           <node concept="2OqwBi" id="7AyqXCd$XW2" role="3clFbG">
             <node concept="10M0yZ" id="7AyqXCd$XW3" role="2Oq$k0">
@@ -10065,5 +10172,693 @@
     </node>
     <node concept="3Tm1VV" id="2i6cuYQqrTN" role="1B3o_S" />
   </node>
+  <node concept="312cEu" id="2i6cuYQukZX">
+    <property role="TrG5h" value="Operators" />
+    <node concept="2tJIrI" id="2i6cuYQulrC" role="jymVt" />
+    <node concept="312cEu" id="2i6cuYQut3Q" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="TrG5h" value="A" />
+      <node concept="3Tm1VV" id="2i6cuYQut3R" role="1B3o_S" />
+    </node>
+    <node concept="312cEu" id="2i6cuYQusU2" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="TrG5h" value="B" />
+      <node concept="3Tm1VV" id="2i6cuYQusSw" role="1B3o_S" />
+      <node concept="3uibUv" id="2i6cuYQutk4" role="1zkMxy">
+        <ref role="3uigEE" node="2i6cuYQut3Q" resolve="Operators.A" />
+      </node>
+    </node>
+    <node concept="312cEu" id="2i6cuYQutu3" role="jymVt">
+      <property role="2bfB8j" value="true" />
+      <property role="TrG5h" value="C" />
+      <node concept="3Tm1VV" id="2i6cuYQutu4" role="1B3o_S" />
+      <node concept="3uibUv" id="2i6cuYQutG4" role="1zkMxy">
+        <ref role="3uigEE" node="2i6cuYQusU2" resolve="Operators.B" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2i6cuYQusJr" role="jymVt" />
+    <node concept="3clFb_" id="2i6cuYQulBg" role="jymVt">
+      <property role="TrG5h" value="equalities" />
+      <node concept="3clFbS" id="2i6cuYQulBj" role="3clF47">
+        <node concept="3cpWs8" id="2i6cuYQumog" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQumoj" role="3cpWs9">
+            <property role="TrG5h" value="beq1" />
+            <node concept="10P_77" id="2i6cuYQumof" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQumEx" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQumRe" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQulS2" resolve="d" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQumJ1" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQumWj" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQumWk" role="3cpWs9">
+            <property role="TrG5h" value="beq2" />
+            <node concept="10P_77" id="2i6cuYQumWl" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQumWm" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQumWn" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQulS2" resolve="d" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQupa$" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQum0z" resolve="i" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQumW_" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQumWA" role="3cpWs9">
+            <property role="TrG5h" value="beq3" />
+            <node concept="10P_77" id="2i6cuYQumWB" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQumWC" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQumWE" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+              <node concept="1U20sH" id="2i6cuYQunen" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQunOi" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQulJi" resolve="s" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQumWX" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQumWY" role="3cpWs9">
+            <property role="TrG5h" value="beq4" />
+            <node concept="10P_77" id="2i6cuYQumWZ" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQumX0" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQunjo" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQunog" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQulJi" resolve="s" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuo4V" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQum0z" resolve="i" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQuzwd" role="3cqZAp" />
+        <node concept="3cpWs8" id="2i6cuYQuuSP" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuuSS" role="3cpWs9">
+            <property role="TrG5h" value="beq5" />
+            <node concept="10P_77" id="2i6cuYQuuSN" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuvIk" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQuvBy" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuvai" resolve="a" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuvSc" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuvpO" resolve="c" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQuvWK" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuvWL" role="3cpWs9">
+            <property role="TrG5h" value="beq5r" />
+            <node concept="10P_77" id="2i6cuYQuvWM" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuvWN" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQuw2$" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuvpO" resolve="c" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuw7k" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuvai" resolve="a" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQuwvV" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuwvW" role="3cpWs9">
+            <property role="TrG5h" value="beq6" />
+            <node concept="10P_77" id="2i6cuYQuwvX" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuwvY" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQux7X" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuvai" resolve="a" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuyYA" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+              <node concept="1U20sH" id="2i6cuYQuzcF" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQuww1" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuww2" role="3cpWs9">
+            <property role="TrG5h" value="beq6r" />
+            <node concept="10P_77" id="2i6cuYQuww3" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuww4" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQuww6" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuvai" resolve="a" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuz7Z" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+              <node concept="1U20sH" id="2i6cuYQu$y_" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQuqyS" role="3cqZAp" />
+        <node concept="3SKdUt" id="2i6cuYQygAH" role="3cqZAp">
+          <node concept="1PaTwC" id="2i6cuYQygAI" role="3ndbpf">
+            <node concept="3oM_SD" id="2i6cuYQygAK" role="1PaTwD">
+              <property role="3oM_SC" value="note" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQygGp" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQygKn" role="1PaTwD">
+              <property role="3oM_SC" value="case," />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQygOu" role="1PaTwD">
+              <property role="3oM_SC" value="boxing" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQyh0s" role="1PaTwD">
+              <property role="3oM_SC" value="shouldn't" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQyj_W" role="1PaTwD">
+              <property role="3oM_SC" value="be" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQyh4t" role="1PaTwD">
+              <property role="3oM_SC" value="implicitly" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQyhsB" role="1PaTwD">
+              <property role="3oM_SC" value="applied" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQyhgA" role="1PaTwD">
+              <property role="3oM_SC" value="here" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQu$S9" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQu$Sc" role="3cpWs9">
+            <property role="TrG5h" value="beq7" />
+            <node concept="10P_77" id="2i6cuYQu$S7" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQu_eU" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQu_jK" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQu_x5" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+              <node concept="1U20sH" id="2i6cuYQuAVW" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQu_C$" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQu_C_" role="3cpWs9">
+            <property role="TrG5h" value="beq7r" />
+            <node concept="10P_77" id="2i6cuYQu_CA" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQu_CB" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQu_Nc" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQu_Wh" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+              <node concept="1U20sH" id="2i6cuYQuAQN" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQuBeu" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuBev" role="3cpWs9">
+            <property role="TrG5h" value="beq8" />
+            <node concept="10P_77" id="2i6cuYQuBew" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuBex" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQuBl$" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuAwa" resolve="ff" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuBez" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQuBe_" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQuBeA" role="3cpWs9">
+            <property role="TrG5h" value="beq8r" />
+            <node concept="10P_77" id="2i6cuYQuBeB" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQuBeC" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQuBuh" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuAwa" resolve="ff" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQuBeE" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuxxC" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQykAT" role="3cqZAp" />
+        <node concept="3clFbH" id="2i6cuYQyng3" role="3cqZAp" />
+        <node concept="3cpWs8" id="2i6cuYQykDO" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQykDP" role="3cpWs9">
+            <property role="TrG5h" value="beq9" />
+            <node concept="10P_77" id="2i6cuYQykDQ" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQykDR" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQykDS" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQykUL" role="3uHU7B" />
+              <node concept="1U20sH" id="2i6cuYQykDU" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQykDV" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQykDW" role="3cpWs9">
+            <property role="TrG5h" value="beq9r" />
+            <node concept="10P_77" id="2i6cuYQykDX" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQykDY" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQykDZ" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQulNt" resolve="f" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQyl5L" role="3uHU7w" />
+              <node concept="1U20sH" id="2i6cuYQykE1" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQykE2" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQykE3" role="3cpWs9">
+            <property role="TrG5h" value="beq10" />
+            <node concept="10P_77" id="2i6cuYQykE4" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQykE5" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQykE6" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQuAwa" resolve="ff" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQylqo" role="3uHU7B" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQykE8" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQykE9" role="3cpWs9">
+            <property role="TrG5h" value="beq10r" />
+            <node concept="10P_77" id="2i6cuYQykEa" role="1tU5fm" />
+            <node concept="3clFbC" id="2i6cuYQykEb" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQykEc" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQuAwa" resolve="ff" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQylvF" role="3uHU7w" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2i6cuYQulnr" role="1B3o_S" />
+      <node concept="3cqZAl" id="2i6cuYQulnE" role="3clF45" />
+      <node concept="37vLTG" id="2i6cuYQuvai" role="3clF46">
+        <property role="TrG5h" value="a" />
+        <node concept="3uibUv" id="2i6cuYQuveR" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQut3Q" resolve="Operators.A" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQuvkj" role="3clF46">
+        <property role="TrG5h" value="b" />
+        <node concept="3uibUv" id="2i6cuYQuvl7" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQusU2" resolve="Operators.B" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQuvpO" role="3clF46">
+        <property role="TrG5h" value="c" />
+        <node concept="3uibUv" id="2i6cuYQuvqG" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQutu3" resolve="Operators.C" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQuxxC" role="3clF46">
+        <property role="TrG5h" value="n" />
+        <node concept="3uibUv" id="2i6cuYQuxAN" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Number" resolve="Number" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQulJi" role="3clF46">
+        <property role="TrG5h" value="s" />
+        <node concept="3uibUv" id="2i6cuYQulJh" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQulNt" role="3clF46">
+        <property role="TrG5h" value="f" />
+        <node concept="10OMs4" id="2i6cuYQulRG" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQulS2" role="3clF46">
+        <property role="TrG5h" value="d" />
+        <node concept="10P55v" id="2i6cuYQulW9" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQum0z" role="3clF46">
+        <property role="TrG5h" value="i" />
+        <node concept="10Oyi0" id="2i6cuYQum4w" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQuAwa" role="3clF46">
+        <property role="TrG5h" value="ff" />
+        <node concept="3uibUv" id="2i6cuYQuA_r" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Float" resolve="Float" />
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2i6cuYQuEs7" role="jymVt" />
+    <node concept="3clFb_" id="2i6cuYQXpxi" role="jymVt">
+      <property role="TrG5h" value="inequalities" />
+      <node concept="3clFbS" id="2i6cuYQXpxj" role="3clF47">
+        <node concept="3cpWs8" id="2i6cuYQXpxk" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxl" role="3cpWs9">
+            <property role="TrG5h" value="beq1" />
+            <node concept="10P_77" id="2i6cuYQXpxm" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXpWm" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpxp" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxo" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzp" resolve="d" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpxq" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxr" role="3cpWs9">
+            <property role="TrG5h" value="beq2" />
+            <node concept="10P_77" id="2i6cuYQXpxs" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXpXT" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpxv" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzr" resolve="i" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxu" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzp" resolve="d" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpxw" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxx" role="3cpWs9">
+            <property role="TrG5h" value="beq3" />
+            <node concept="10P_77" id="2i6cuYQXpxy" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXpZs" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXpZv" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpx$" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxA" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzl" resolve="s" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpxB" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxC" role="3cpWs9">
+            <property role="TrG5h" value="beq4" />
+            <node concept="10P_77" id="2i6cuYQXpxD" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXq11" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXq13" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxG" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzl" resolve="s" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxH" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzr" resolve="i" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQXpxI" role="3cqZAp" />
+        <node concept="3cpWs8" id="2i6cuYQXpxJ" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxK" role="3cpWs9">
+            <property role="TrG5h" value="beq5" />
+            <node concept="10P_77" id="2i6cuYQXpxL" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqaE" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpxN" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzd" resolve="a" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxO" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzh" resolve="c" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpxP" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxQ" role="3cpWs9">
+            <property role="TrG5h" value="beq5r" />
+            <node concept="10P_77" id="2i6cuYQXpxR" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqcd" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpxT" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzh" resolve="c" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxU" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzd" resolve="a" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpxV" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpxW" role="3cpWs9">
+            <property role="TrG5h" value="beq6" />
+            <node concept="10P_77" id="2i6cuYQXpxX" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqdK" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqdO" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpxZ" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzd" resolve="a" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpy0" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpy2" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpy3" role="3cpWs9">
+            <property role="TrG5h" value="beq6r" />
+            <node concept="10P_77" id="2i6cuYQXpy4" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqfl" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqfp" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpy7" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpy6" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzd" resolve="a" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQXpy9" role="3cqZAp" />
+        <node concept="3SKdUt" id="2i6cuYQXpya" role="3cqZAp">
+          <node concept="1PaTwC" id="2i6cuYQXpyb" role="3ndbpf">
+            <node concept="3oM_SD" id="2i6cuYQXpyc" role="1PaTwD">
+              <property role="3oM_SC" value="note" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyd" role="1PaTwD">
+              <property role="3oM_SC" value="this" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpye" role="1PaTwD">
+              <property role="3oM_SC" value="case," />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyf" role="1PaTwD">
+              <property role="3oM_SC" value="boxing" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyg" role="1PaTwD">
+              <property role="3oM_SC" value="shouldn't" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyh" role="1PaTwD">
+              <property role="3oM_SC" value="be" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyi" role="1PaTwD">
+              <property role="3oM_SC" value="implicitly" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyj" role="1PaTwD">
+              <property role="3oM_SC" value="applied" />
+            </node>
+            <node concept="3oM_SD" id="2i6cuYQXpyk" role="1PaTwD">
+              <property role="3oM_SC" value="here" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpyl" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpym" role="3cpWs9">
+            <property role="TrG5h" value="beq7" />
+            <node concept="10P_77" id="2i6cuYQXpyn" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqgU" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqgY" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyq" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyp" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpys" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpyt" role="3cpWs9">
+            <property role="TrG5h" value="beq7r" />
+            <node concept="10P_77" id="2i6cuYQXpyu" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqli" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqlm" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyw" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyx" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpyz" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpy$" role="3cpWs9">
+            <property role="TrG5h" value="beq8" />
+            <node concept="10P_77" id="2i6cuYQXpy_" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqmR" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpyC" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyB" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzt" resolve="ff" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpyD" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpyE" role="3cpWs9">
+            <property role="TrG5h" value="beq8r" />
+            <node concept="10P_77" id="2i6cuYQXpyF" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqoq" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpyH" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzt" resolve="ff" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyI" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzj" resolve="n" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2i6cuYQXpyJ" role="3cqZAp" />
+        <node concept="3clFbH" id="2i6cuYQXpyK" role="3cqZAp" />
+        <node concept="3cpWs8" id="2i6cuYQXpyL" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpyM" role="3cpWs9">
+            <property role="TrG5h" value="beq9" />
+            <node concept="10P_77" id="2i6cuYQXpyN" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqpX" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqq1" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQXpyQ" role="3uHU7B" />
+              <node concept="37vLTw" id="2i6cuYQXpyP" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpyS" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpyT" role="3cpWs9">
+            <property role="TrG5h" value="beq9r" />
+            <node concept="10P_77" id="2i6cuYQXpyU" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqxg" role="33vP2m">
+              <node concept="1U20sH" id="2i6cuYQXqxk" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+              <node concept="37vLTw" id="2i6cuYQXpyW" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzn" resolve="f" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQXpyX" role="3uHU7w" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpyZ" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpz0" role="3cpWs9">
+            <property role="TrG5h" value="beq10" />
+            <node concept="10P_77" id="2i6cuYQXpz1" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXqyQ" role="33vP2m">
+              <node concept="10Nm6u" id="2i6cuYQXpz4" role="3uHU7B" />
+              <node concept="37vLTw" id="2i6cuYQXpz3" role="3uHU7w">
+                <ref role="3cqZAo" node="2i6cuYQXpzt" resolve="ff" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="2i6cuYQXpz5" role="3cqZAp">
+          <node concept="3cpWsn" id="2i6cuYQXpz6" role="3cpWs9">
+            <property role="TrG5h" value="beq10r" />
+            <node concept="10P_77" id="2i6cuYQXpz7" role="1tU5fm" />
+            <node concept="3y3z36" id="2i6cuYQXq$q" role="33vP2m">
+              <node concept="37vLTw" id="2i6cuYQXpz9" role="3uHU7B">
+                <ref role="3cqZAo" node="2i6cuYQXpzt" resolve="ff" />
+              </node>
+              <node concept="10Nm6u" id="2i6cuYQXpza" role="3uHU7w" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2i6cuYQXpzb" role="1B3o_S" />
+      <node concept="3cqZAl" id="2i6cuYQXpzc" role="3clF45" />
+      <node concept="37vLTG" id="2i6cuYQXpzd" role="3clF46">
+        <property role="TrG5h" value="a" />
+        <node concept="3uibUv" id="2i6cuYQXpze" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQut3Q" resolve="Operators.A" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzf" role="3clF46">
+        <property role="TrG5h" value="b" />
+        <node concept="3uibUv" id="2i6cuYQXpzg" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQusU2" resolve="Operators.B" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzh" role="3clF46">
+        <property role="TrG5h" value="c" />
+        <node concept="3uibUv" id="2i6cuYQXpzi" role="1tU5fm">
+          <ref role="3uigEE" node="2i6cuYQutu3" resolve="Operators.C" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzj" role="3clF46">
+        <property role="TrG5h" value="n" />
+        <node concept="3uibUv" id="2i6cuYQXpzk" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Number" resolve="Number" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzl" role="3clF46">
+        <property role="TrG5h" value="s" />
+        <node concept="3uibUv" id="2i6cuYQXpzm" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~String" resolve="String" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzn" role="3clF46">
+        <property role="TrG5h" value="f" />
+        <node concept="10OMs4" id="2i6cuYQXpzo" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzp" role="3clF46">
+        <property role="TrG5h" value="d" />
+        <node concept="10P55v" id="2i6cuYQXpzq" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzr" role="3clF46">
+        <property role="TrG5h" value="i" />
+        <node concept="10Oyi0" id="2i6cuYQXpzs" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2i6cuYQXpzt" role="3clF46">
+        <property role="TrG5h" value="ff" />
+        <node concept="3uibUv" id="2i6cuYQXpzu" role="1tU5fm">
+          <ref role="3uigEE" to="wyt6:~Float" resolve="Float" />
+        </node>
+      </node>
+    </node>
+    <node concept="3Tm1VV" id="2i6cuYQukZY" role="1B3o_S" />
+  </node>
 </model>
 
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps
index 17877269..b59dfae8 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps
@@ -443,6 +443,35 @@
         </node>
       </node>
     </node>
+    <node concept="1LZb2c" id="2i6cuYQuHi8" role="1SL9yI">
+      <property role="TrG5h" value="operators" />
+      <node concept="3cqZAl" id="2i6cuYQuHi9" role="3clF45" />
+      <node concept="3clFbS" id="2i6cuYQuHia" role="3clF47">
+        <node concept="2Hmddi" id="2i6cuYQuHib" role="3cqZAp">
+          <node concept="2OqwBi" id="2i6cuYQuHic" role="2Hmdds">
+            <node concept="2YIFZM" id="2i6cuYQuHid" role="2Oq$k0">
+              <ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TypecheckingTestHelper" />
+              <ref role="37wK5l" to="tj24:27bTNFfaOo$" resolve="ofNode" />
+              <node concept="2OqwBi" id="2i6cuYQuHie" role="37wK5m">
+                <node concept="2WthIp" id="2i6cuYQuHif" role="2Oq$k0" />
+                <node concept="2XshWL" id="2i6cuYQuHig" role="2OqNvi">
+                  <ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
+                  <node concept="2tJFMh" id="2i6cuYQuHih" role="2XxRq1">
+                    <node concept="ZC_QK" id="2i6cuYQuHYu" role="2tJFKM">
+                      <ref role="2aWVGs" to="yg5v:2i6cuYQukZX" resolve="Operators" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1jxXqW" id="2i6cuYQuHij" role="37wK5m" />
+            </node>
+            <node concept="liA8E" id="2i6cuYQuHik" role="2OqNvi">
+              <ref role="37wK5l" to="tj24:27bTNFfaYS2" resolve="checkTypes" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1LZb2c" id="7AyqXCdNg6Z" role="1SL9yI">
       <property role="TrG5h" value="primitiveTypes" />
       <node concept="3cqZAl" id="7AyqXCdNg70" role="3clF45" />