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 dfcc095d..4bfa379f 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
@@ -806,6 +806,10 @@
       <concept id="1534124788594198142" name="jetbrains.mps.lang.coderules.structure.TargetSpec" flags="ng" index="3G3gwz">
         <child id="1534124788594198166" name="code" index="3G3gzb" />
       </concept>
+      <concept id="1877115349178398764" name="jetbrains.mps.lang.coderules.structure.EqualsConstraint" flags="ng" index="3GeI9q">
+        <child id="1877115349178398815" name="right" index="3GeI8D" />
+        <child id="1877115349178398813" name="left" index="3GeI8F" />
+      </concept>
       <concept id="1534124788579507963" name="jetbrains.mps.lang.coderules.structure.OriginSpec" flags="ng" index="3Hbl2A">
         <child id="1534124788579511329" name="origin" index="3Hbm9W" />
       </concept>
@@ -10770,120 +10774,57 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="3R6X$QVWERj" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7slD" role="8Wnug">
-        <property role="TrG5h" value="var_containedIn_reflexive" />
-        <node concept="3clFbS" id="12QmIo_7slE" role="1nLNMH">
-          <node concept="1nLNNL" id="12QmIo_7slF" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7slG" role="1nLNNK">
-              <node concept="0eUR_" id="7lt0LtPBjUd" role="0UC6o">
-                <node concept="3NuqgR" id="3jXBvmTFgth" role="0eVf_">
-                  <node concept="aZer4" id="3jXBvmTFgti" role="3XD1gS">
-                    <property role="TrG5h" value="S" />
-                  </node>
-                  <node concept="aZer4" id="3jXBvmTFgtj" role="3XD1gS">
-                    <property role="TrG5h" value="T" />
-                  </node>
+    <node concept="1nLNMY" id="12QmIo_7slD" role="1nK1Vg">
+      <property role="TrG5h" value="var_containedIn_reflexive" />
+      <node concept="3clFbS" id="12QmIo_7slE" role="1nLNMH">
+        <node concept="1nLNNL" id="12QmIo_7slF" role="3cqZAp">
+          <node concept="1nLNMm" id="12QmIo_7slG" role="1nLNNK">
+            <node concept="0eUR_" id="7lt0LtPBjUd" role="0UC6o">
+              <node concept="3NuqgR" id="3jXBvmTFgth" role="0eVf_">
+                <node concept="aZer4" id="3jXBvmTFgti" role="3XD1gS">
+                  <property role="TrG5h" value="S" />
+                </node>
+                <node concept="aZer4" id="3jXBvmTFgtj" role="3XD1gS">
+                  <property role="TrG5h" value="T" />
                 </node>
               </node>
-              <node concept="3Aq93q" id="3jXBvmTFgtg" role="1nLNMb">
-                <property role="3ArMco" value="false" />
-                <node concept="3I6sU6" id="4nIWweBxPB3" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBxPB4" role="3I6sU7">
-                    <node concept="3Aqt3T" id="3jXBvmTFgtm" role="3I6s78">
-                      <ref role="3AqCNq" node="6KkyQm4aRV3" resolve="containedIn" />
-                      <node concept="a7P8L" id="3jXBvmTFgtn" role="3AunhB">
-                        <ref role="a7OzE" node="3jXBvmTFgti" resolve="S" />
-                      </node>
-                      <node concept="a7P8L" id="3jXBvmTFgto" role="3AunhB">
-                        <ref role="a7OzE" node="3jXBvmTFgtj" resolve="T" />
-                      </node>
+            </node>
+            <node concept="3Aq93q" id="3jXBvmTFgtg" role="1nLNMb">
+              <property role="3ArMco" value="false" />
+              <node concept="3I6sU6" id="4nIWweBxPB3" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4nIWweBxPB4" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3jXBvmTFgtm" role="3I6s78">
+                    <ref role="3AqCNq" node="6KkyQm4aRV3" resolve="containedIn" />
+                    <node concept="a7P8L" id="3jXBvmTFgtn" role="3AunhB">
+                      <ref role="a7OzE" node="3jXBvmTFgti" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="3jXBvmTFgto" role="3AunhB">
+                      <ref role="a7OzE" node="3jXBvmTFgtj" resolve="T" />
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq9_M" id="3jXBvmTFgtp" role="1nLNMa">
-                <node concept="3I6sU6" id="4nIWweBxPGH" role="3Ip0Jz">
-                  <node concept="3IrJb3" id="4nIWweBxPGI" role="3I6sU7">
-                    <node concept="3clFbS" id="3jXBvmTFgtq" role="3IrJb0">
-                      <node concept="3SKdUt" id="3jXBvmTFgMQ" role="3cqZAp">
-                        <node concept="1PaTwC" id="589APehYxF1" role="3ndbpf">
-                          <node concept="3oM_SD" id="589APehYxF2" role="1PaTwD">
-                            <property role="3oM_SC" value="FIXME:" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF3" role="1PaTwD">
-                            <property role="3oM_SC" value="need" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF4" role="1PaTwD">
-                            <property role="3oM_SC" value="separate" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF5" role="1PaTwD">
-                            <property role="3oM_SC" value="solver" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF6" role="1PaTwD">
-                            <property role="3oM_SC" value="for" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF7" role="1PaTwD">
-                            <property role="3oM_SC" value="==" />
-                          </node>
-                          <node concept="3oM_SD" id="589APehYxF8" role="1PaTwD">
-                            <property role="3oM_SC" value="comparison" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3Aqczg" id="3jXBvmTFgtD" role="3cqZAp">
-                        <node concept="3wWvb2" id="3jXBvmTFgtE" role="3Aqpz8">
-                          <node concept="3clFbC" id="3jXBvmTFgtF" role="3wWo3s">
-                            <node concept="2OqwBi" id="3jXBvmTFgtG" role="3uHU7w">
-                              <node concept="1eOMI4" id="3jXBvmTFgtH" role="2Oq$k0">
-                                <node concept="10QFUN" id="3jXBvmTFgtI" role="1eOMHV">
-                                  <node concept="3uibUv" id="3jXBvmTFgtJ" role="10QFUM">
-                                    <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
-                                  </node>
-                                  <node concept="1nq8_$" id="49obaclfijH" role="10QFUP">
-                                    <node concept="a7P8L" id="3jXBvmTFgtL" role="1nq8_t">
-                                      <ref role="a7OzE" node="3jXBvmTFgtj" resolve="T" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                              <node concept="liA8E" id="3jXBvmTFgtM" role="2OqNvi">
-                                <ref role="37wK5l" to="bj13:~Logical.findRoot()" resolve="findRoot" />
-                              </node>
-                            </node>
-                            <node concept="2OqwBi" id="3jXBvmTFgtN" role="3uHU7B">
-                              <node concept="1eOMI4" id="3jXBvmTFgtO" role="2Oq$k0">
-                                <node concept="10QFUN" id="3jXBvmTFgtP" role="1eOMHV">
-                                  <node concept="3uibUv" id="3jXBvmTFgtQ" role="10QFUM">
-                                    <ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
-                                  </node>
-                                  <node concept="1nq8_$" id="49obaclfij_" role="10QFUP">
-                                    <node concept="a7P8L" id="3jXBvmTFgtS" role="1nq8_t">
-                                      <ref role="a7OzE" node="3jXBvmTFgti" resolve="S" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                              <node concept="liA8E" id="3jXBvmTFgtT" role="2OqNvi">
-                                <ref role="37wK5l" to="bj13:~Logical.findRoot()" resolve="findRoot" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
+            </node>
+            <node concept="3Aq9_M" id="3jXBvmTFgtp" role="1nLNMa">
+              <node concept="3I6sU6" id="4nIWweBxPGH" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3R6X$QWeYX$" role="3I6sU7">
+                  <node concept="3GeI9q" id="3R6X$QWeYXx" role="3I6s78">
+                    <node concept="a7P8L" id="3R6X$QWeYXN" role="3GeI8F">
+                      <ref role="a7OzE" node="3jXBvmTFgti" resolve="S" />
+                    </node>
+                    <node concept="a7P8L" id="3R6X$QWeZ1F" role="3GeI8D">
+                      <ref role="a7OzE" node="3jXBvmTFgtj" resolve="T" />
                     </node>
                   </node>
                 </node>
               </node>
-              <node concept="3Aq9E8" id="3jXBvmTFgtU" role="1nLNMd">
-                <node concept="3I6sU6" id="4nIWweBxQz7" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="4nIWweBxQz8" role="3I6sU7">
-                    <node concept="3wWvb2" id="3jXBvmTFgtX" role="3I6s78">
-                      <node concept="3clFbT" id="3jXBvmTFgtY" role="3wWo3s">
-                        <property role="3clFbU" value="true" />
-                      </node>
+            </node>
+            <node concept="3Aq9E8" id="3jXBvmTFgtU" role="1nLNMd">
+              <node concept="3I6sU6" id="4nIWweBxQz7" role="3Ip0Jz">
+                <node concept="3I6s7M" id="4nIWweBxQz8" role="3I6sU7">
+                  <node concept="3wWvb2" id="3jXBvmTFgtX" role="3I6s78">
+                    <node concept="3clFbT" id="3jXBvmTFgtY" role="3wWo3s">
+                      <property role="3clFbU" value="true" />
                     </node>
                   </node>
                 </node>
@@ -34666,207 +34607,6 @@
   <node concept="0oKg$" id="1z5AZi8EDS1">
     <property role="TrG5h" value="ReferenceTypes" />
     <property role="3GE5qa" value="macro" />
-    <node concept="0oKvU" id="5Oz70LKxM8m" role="0oKgB">
-      <property role="TrG5h" value="instanceMethodDecl" />
-      <node concept="3eYOCq" id="5Oz70LKxM8n" role="3eYTkm">
-        <property role="TrG5h" value="imd" />
-        <node concept="3Tqbb2" id="5Oz70LKxM8o" role="3eYSA1">
-          <ref role="ehGHo" to="tpee:fzclF8t" resolve="InstanceMethodDeclaration" />
-        </node>
-      </node>
-      <node concept="3uniRm" id="5Oz70LKxOfT" role="3unh6L">
-        <node concept="3uniRu" id="5Oz70LKxOv8" role="3uniRp">
-          <node concept="aZer4" id="5Oz70LKxOv9" role="3XD1gS">
-            <property role="TrG5h" value="Tmp" />
-          </node>
-        </node>
-        <node concept="3clFbS" id="5Oz70LKxOEL" role="3uniRr">
-          <node concept="3Aqczg" id="5Oz70LKxOEK" role="3cqZAp">
-            <node concept="B_ONY" id="5Oz70LKxOEI" role="3Aqpz8">
-              <ref role="17QRF" node="4btN1w5JBfK" resolve="gdecl" />
-              <node concept="a7P8L" id="5Oz70LKxOU3" role="B_OMz">
-                <ref role="a7OzE" node="5Oz70LKxOv9" resolve="Tmp" />
-              </node>
-              <node concept="1Q7qz5" id="5Oz70LKxPad" role="150vd">
-                <node concept="1Q7q5z" id="5Oz70LKxPe2" role="1Q7qz4">
-                  <ref role="1Q7tcy" node="4btN1w5JCo5" resolve="ownTvds" />
-                  <node concept="2OqwBi" id="5Oz70LKxPIe" role="1KxKwY">
-                    <node concept="3eTFj6" id="5Oz70LKxPlG" role="2Oq$k0">
-                      <ref role="3eTFj1" node="5Oz70LKxM8n" resolve="imd" />
-                    </node>
-                    <node concept="3Tsc0h" id="5Oz70LKxQyg" role="2OqNvi">
-                      <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="5Oz70LKxQJL" role="3cqZAp">
-            <node concept="3A8Hvi" id="5Oz70LKxQJF" role="3Aqpz8">
-              <node concept="aZ4PW" id="5Oz70LKxQR$" role="3A8wtg">
-                <node concept="3txIi4" id="5Oz70LKxQZg" role="aZ4eD" />
-              </node>
-              <node concept="a7P8L" id="5Oz70LKxR39" role="3A8w4Q">
-                <ref role="a7OzE" node="5Oz70LKxOv9" resolve="Tmp" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="0oKvU" id="5Oz70LKbXn0" role="0oKgB">
-      <property role="TrG5h" value="classifier" />
-      <node concept="3tC51N" id="5Oz70LKbYfg" role="3tC56T">
-        <property role="TrG5h" value="cls" />
-        <node concept="3Tqbb2" id="5Oz70LKbYfh" role="3tC51t">
-          <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
-        </node>
-        <node concept="3tHm6F" id="5Oz70LKbYfi" role="3tH6H5">
-          <node concept="3clFbS" id="5Oz70LKbYfj" role="16YjZG">
-            <node concept="3clFbF" id="5Oz70LKbYfk" role="3cqZAp">
-              <node concept="3eTFj6" id="5Oz70LKbYfl" role="3clFbG">
-                <ref role="3eTFj1" node="5Oz70LKbXn1" resolve="classifier" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="3eYOCq" id="5Oz70LKbXn1" role="3eYTkm">
-        <property role="TrG5h" value="classifier" />
-        <node concept="3Tqbb2" id="5Oz70LKbXn2" role="3eYSA1">
-          <ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
-        </node>
-      </node>
-      <node concept="3uniRm" id="5Oz70LKbYyj" role="3unh6L">
-        <node concept="3uniRu" id="5Oz70LKbYDW" role="3uniRp">
-          <node concept="aZer4" id="5Oz70LKbYDX" role="3XD1gS">
-            <property role="TrG5h" value="Tmp" />
-          </node>
-        </node>
-        <node concept="3clFbS" id="5Oz70LKbYX5" role="3uniRr">
-          <node concept="3Aqczg" id="5Oz70LKbYX7" role="3cqZAp">
-            <node concept="B_ONY" id="5Oz70LKbYX8" role="3Aqpz8">
-              <ref role="17QRF" node="4btN1w5JBfK" resolve="gdecl" />
-              <node concept="a7P8L" id="5Oz70LKbYX9" role="B_OMz">
-                <ref role="a7OzE" node="5Oz70LKbYDX" resolve="Tmp" />
-              </node>
-              <node concept="1Q7qz5" id="5Oz70LKbYXa" role="150vd">
-                <node concept="1Q7q5z" id="5Oz70LKbZlQ" role="1Q7qz4">
-                  <ref role="1Q7tcy" node="4btN1w5JCo5" resolve="ownTvds" />
-                  <node concept="2OqwBi" id="5Oz70LKbZA$" role="1KxKwY">
-                    <node concept="3tDTZT" id="5Oz70LKbZlU" role="2Oq$k0">
-                      <ref role="3tDTNw" node="5Oz70LKbYfg" resolve="cls" />
-                    </node>
-                    <node concept="3Tsc0h" id="5Oz70LKc09N" role="2OqNvi">
-                      <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="5Oz70LKbYXd" role="3cqZAp">
-            <node concept="3A8Hvi" id="5Oz70LKbYXe" role="3Aqpz8">
-              <node concept="a7P8L" id="5Oz70LKbYXf" role="3A8w4Q">
-                <ref role="a7OzE" node="5Oz70LKbYDX" resolve="Tmp" />
-              </node>
-              <node concept="aZ4PW" id="5Oz70LKbYXg" role="3A8wtg">
-                <node concept="3txIi4" id="5Oz70LKbYXh" role="aZ4eD" />
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="0oKvU" id="5Oz70LKbWrD" role="0oKgB">
-      <property role="TrG5h" value="interfaceClsf" />
-      <node concept="3eYOCq" id="5Oz70LKbWrE" role="3eYTkm">
-        <property role="TrG5h" value="cls" />
-        <node concept="3Tqbb2" id="5Oz70LKbWrF" role="3eYSA1">
-          <ref role="ehGHo" to="tpee:g7HP654" resolve="Interface" />
-        </node>
-      </node>
-      <node concept="3uniRm" id="5Oz70LKbWrG" role="3unh6L">
-        <node concept="3clFbS" id="5Oz70LKbWrH" role="3uniRr">
-          <node concept="3Aqczg" id="5Oz70LKbWrI" role="3cqZAp">
-            <node concept="B_ONY" id="5Oz70LKbWrJ" role="3Aqpz8">
-              <ref role="17QRF" node="5Oz70LKbXn0" resolve="classifier" />
-              <node concept="a7P8L" id="5Oz70LKbWrK" role="B_OMz">
-                <ref role="a7OzE" node="5Oz70LKbWrU" resolve="Tmp" />
-              </node>
-              <node concept="1Q7qz5" id="5Oz70LKbWrL" role="150vd">
-                <node concept="1Q7q5z" id="5Oz70LKbWrM" role="1Q7qz4">
-                  <ref role="1Q7tcy" node="5Oz70LKbYfg" resolve="cls" />
-                  <node concept="3eTFj6" id="5Oz70LKbWrN" role="1KxKwY">
-                    <ref role="3eTFj1" node="5Oz70LKbWrE" resolve="cls" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="5Oz70LKbWrO" role="3cqZAp">
-            <node concept="3A8Hvi" id="5Oz70LKbWrP" role="3Aqpz8">
-              <node concept="a7P8L" id="5Oz70LKbWrQ" role="3A8w4Q">
-                <ref role="a7OzE" node="5Oz70LKbWrU" resolve="Tmp" />
-              </node>
-              <node concept="aZ4PW" id="5Oz70LKbWrR" role="3A8wtg">
-                <node concept="3txIi4" id="5Oz70LKbWrS" role="aZ4eD" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3uniRu" id="5Oz70LKbWrT" role="3uniRp">
-          <node concept="aZer4" id="5Oz70LKbWrU" role="3XD1gS">
-            <property role="TrG5h" value="Tmp" />
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="0oKvU" id="5Oz70LKbWrV" role="0oKgB">
-      <property role="TrG5h" value="classConceptClsf" />
-      <node concept="3eYOCq" id="5Oz70LKbWrW" role="3eYTkm">
-        <property role="TrG5h" value="cls" />
-        <node concept="3Tqbb2" id="5Oz70LKbWrX" role="3eYSA1">
-          <ref role="ehGHo" to="tpee:fz12cDA" resolve="ClassConcept" />
-        </node>
-      </node>
-      <node concept="3uniRm" id="5Oz70LKbWrY" role="3unh6L">
-        <node concept="3clFbS" id="5Oz70LKbWrZ" role="3uniRr">
-          <node concept="3Aqczg" id="5Oz70LKbWs0" role="3cqZAp">
-            <node concept="B_ONY" id="5Oz70LKbWs1" role="3Aqpz8">
-              <ref role="17QRF" node="5Oz70LKbXn0" resolve="classifier" />
-              <node concept="a7P8L" id="5Oz70LKbWs2" role="B_OMz">
-                <ref role="a7OzE" node="5Oz70LKbWsc" resolve="Tmp" />
-              </node>
-              <node concept="1Q7qz5" id="5Oz70LKbWs3" role="150vd">
-                <node concept="1Q7q5z" id="5Oz70LKbWs4" role="1Q7qz4">
-                  <ref role="1Q7tcy" node="5Oz70LKbYfg" resolve="cls" />
-                  <node concept="3eTFj6" id="5Oz70LKbWs5" role="1KxKwY">
-                    <ref role="3eTFj1" node="5Oz70LKbWrW" resolve="cls" />
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3Aqczg" id="5Oz70LKbWs6" role="3cqZAp">
-            <node concept="3A8Hvi" id="5Oz70LKbWs7" role="3Aqpz8">
-              <node concept="a7P8L" id="5Oz70LKbWs8" role="3A8w4Q">
-                <ref role="a7OzE" node="5Oz70LKbWsc" resolve="Tmp" />
-              </node>
-              <node concept="aZ4PW" id="5Oz70LKbWs9" role="3A8wtg">
-                <node concept="3txIi4" id="5Oz70LKbWsa" role="aZ4eD" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3uniRu" id="5Oz70LKbWsb" role="3uniRp">
-          <node concept="aZer4" id="5Oz70LKbWsc" role="3XD1gS">
-            <property role="TrG5h" value="Tmp" />
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="0oKvU" id="4btN1w5JBfK" role="0oKgB">
       <property role="TrG5h" value="gdecl" />
       <node concept="3tC51N" id="4btN1w5JCo5" role="3tC56T">
@@ -35718,164 +35458,7 @@
           <node concept="3clFbJ" id="5Oz70LKcbFn" role="3cqZAp">
             <node concept="3clFbS" id="5Oz70LKcbFp" role="3clFbx">
               <node concept="3clFbJ" id="5Oz70LKc5fj" role="3cqZAp">
-                <node concept="9aQIb" id="5Oz70LKc8fa" role="9aQIa">
-                  <node concept="3clFbS" id="5Oz70LKc8fb" role="9aQI4">
-                    <node concept="3SKdUt" id="5Oz70LKca9b" role="3cqZAp">
-                      <node concept="1PaTwC" id="5Oz70LKca9c" role="3ndbpf">
-                        <node concept="3oM_SD" id="5Oz70LKca9d" role="1PaTwD">
-                          <property role="3oM_SC" value="raw" />
-                        </node>
-                        <node concept="3oM_SD" id="5Oz70LKca9e" role="1PaTwD">
-                          <property role="3oM_SC" value="type" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="5Oz70LKt$L9" role="3cqZAp" />
-                    <node concept="3cpWs8" id="5Oz70LKca9g" role="3cqZAp">
-                      <node concept="3cpWsn" id="5Oz70LKca9h" role="3cpWs9">
-                        <property role="TrG5h" value="allowUnchecked" />
-                        <node concept="10P_77" id="5Oz70LKca9i" role="1tU5fm" />
-                        <node concept="3K4zz7" id="5Oz70LKca9j" role="33vP2m">
-                          <node concept="3clFbT" id="5Oz70LKca9k" role="3K4GZi">
-                            <property role="3clFbU" value="false" />
-                          </node>
-                          <node concept="3y3z36" id="5Oz70LKca9l" role="3K4Cdx">
-                            <node concept="10Nm6u" id="5Oz70LKca9m" role="3uHU7w" />
-                            <node concept="1$qI8S" id="5Oz70LKca9n" role="3uHU7B">
-                              <ref role="1$qI8I" node="6EY0p2x_O2P" resolve="allowUncheckedConversion" />
-                            </node>
-                          </node>
-                          <node concept="1$qI8S" id="5Oz70LKca9o" role="3K4E3e">
-                            <ref role="1$qI8I" node="6EY0p2x_O2P" resolve="allowUncheckedConversion" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="1Dw8fO" id="5Oz70LKca9p" role="3cqZAp">
-                      <node concept="3clFbS" id="5Oz70LKca9q" role="2LFqv$">
-                        <node concept="3clFbJ" id="5Oz70LKca9r" role="3cqZAp">
-                          <node concept="3clFbS" id="5Oz70LKca9s" role="3clFbx">
-                            <node concept="3Aqczg" id="5Oz70LKca9t" role="3cqZAp">
-                              <node concept="3A8Hvi" id="5Oz70LKca9u" role="3Aqpz8">
-                                <node concept="a7P8L" id="5Oz70LKca9v" role="3A8wtg">
-                                  <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                                  <node concept="37vLTw" id="5Oz70LKca9w" role="3gCZO6">
-                                    <ref role="3cqZAo" node="5Oz70LKca9H" resolve="i" />
-                                  </node>
-                                </node>
-                                <node concept="ns1u0" id="5Oz70LKca9x" role="3A8w4Q">
-                                  <ref role="ns1xF" node="JOGAOsVt3c" resolve="nullType" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="37vLTw" id="5Oz70LKca9y" role="3clFbw">
-                            <ref role="3cqZAo" node="5Oz70LKca9h" resolve="allowUnchecked" />
-                          </node>
-                          <node concept="9aQIb" id="5Oz70LKca9z" role="9aQIa">
-                            <node concept="3clFbS" id="5Oz70LKca9$" role="9aQI4">
-                              <node concept="3Aqczg" id="5Oz70LKca9_" role="3cqZAp">
-                                <node concept="3A8Hvi" id="5Oz70LKca9A" role="3Aqpz8">
-                                  <node concept="a7P8L" id="5Oz70LKca9B" role="3A8wtg">
-                                    <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                                    <node concept="37vLTw" id="5Oz70LKca9C" role="3gCZO6">
-                                      <ref role="3cqZAo" node="5Oz70LKca9H" resolve="i" />
-                                    </node>
-                                  </node>
-                                  <node concept="ns1u0" id="5Oz70LKca9D" role="3A8w4Q">
-                                    <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
-                                    <node concept="nsMwS" id="5Oz70LKca9E" role="ns1xD">
-                                      <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
-                                      <node concept="2tJFMh" id="5Oz70LKca9F" role="nsMwV">
-                                        <node concept="ZC_QK" id="5Oz70LKca9G" role="2tJFKM">
-                                          <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
-                                        </node>
-                                      </node>
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3cpWsn" id="5Oz70LKca9H" role="1Duv9x">
-                        <property role="TrG5h" value="i" />
-                        <node concept="10Oyi0" id="5Oz70LKca9I" role="1tU5fm" />
-                        <node concept="3cmrfG" id="5Oz70LKca9J" role="33vP2m">
-                          <property role="3cmrfH" value="0" />
-                        </node>
-                      </node>
-                      <node concept="3eOVzh" id="5Oz70LKca9K" role="1Dwp0S">
-                        <node concept="2OqwBi" id="5Oz70LKca9L" role="3uHU7w">
-                          <node concept="2OqwBi" id="5Oz70LKcHRJ" role="2Oq$k0">
-                            <node concept="3tDTZT" id="5Oz70LKcHuM" role="2Oq$k0">
-                              <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
-                            </node>
-                            <node concept="3Tsc0h" id="5Oz70LKcInK" role="2OqNvi">
-                              <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-                            </node>
-                          </node>
-                          <node concept="34oBXx" id="5Oz70LKca9N" role="2OqNvi" />
-                        </node>
-                        <node concept="37vLTw" id="5Oz70LKca9O" role="3uHU7B">
-                          <ref role="3cqZAo" node="5Oz70LKca9H" resolve="i" />
-                        </node>
-                      </node>
-                      <node concept="3uNrnE" id="5Oz70LKca9P" role="1Dwrff">
-                        <node concept="37vLTw" id="5Oz70LKca9Q" role="2$L3a6">
-                          <ref role="3cqZAo" node="5Oz70LKca9H" resolve="i" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="5Oz70LKc9r3" role="3cqZAp" />
-                    <node concept="3Aqczg" id="5Oz70LKc9mC" role="3cqZAp">
-                      <node concept="3A8Hvi" id="5Oz70LKc9mD" role="3Aqpz8">
-                        <node concept="aZ4PW" id="5Oz70LKc9mE" role="3A8wtg">
-                          <node concept="3txIi4" id="5Oz70LKc9mF" role="aZ4eD" />
-                        </node>
-                        <node concept="ns1u0" id="5Oz70LKc9mG" role="3A8w4Q">
-                          <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
-                          <node concept="nsMwS" id="5Oz70LKc9mH" role="ns1xD">
-                            <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
-                            <node concept="2OqwBi" id="5Oz70LKc9mI" role="nsMwV">
-                              <node concept="3tDTZT" id="5Oz70LKc9mJ" role="2Oq$k0">
-                                <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
-                              </node>
-                              <node concept="iZEcu" id="5Oz70LKc9mK" role="2OqNvi" />
-                            </node>
-                          </node>
-                          <node concept="nsMwS" id="5Oz70LKc9mL" role="ns1xD">
-                            <ref role="nsMwP" node="JOGAOsVt2e" resolve="parameter" />
-                            <node concept="1nq8_$" id="5Oz70LKc9mM" role="nsMwV">
-                              <node concept="a7P8L" id="5Oz70LKc9mN" role="1nq8_t">
-                                <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="nsMwS" id="5Oz70LKc9yR" role="ns1xD">
-                            <ref role="nsMwP" node="JOGAOsVt2d" resolve="kind" />
-                            <node concept="Xl_RD" id="5Oz70LKc9AP" role="nsMwV">
-                              <property role="Xl_RC" value="raw" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
                 <node concept="3eNFk2" id="5Oz70LKtmL5" role="3eNLev">
-                  <node concept="3y3z36" id="5Oz70LKc6L$" role="3eO9$A">
-                    <node concept="3cmrfG" id="5Oz70LKc7$X" role="3uHU7w">
-                      <property role="3cmrfH" value="0" />
-                    </node>
-                    <node concept="2OqwBi" id="5Oz70LKc5_t" role="3uHU7B">
-                      <node concept="3tDTZT" id="5Oz70LKc5nO" role="2Oq$k0">
-                        <ref role="3tDTNw" node="4btN1w5K05d" resolve="tyArgs" />
-                      </node>
-                      <node concept="34oBXx" id="5Oz70LKc5Hd" role="2OqNvi" />
-                    </node>
-                  </node>
                   <node concept="3clFbS" id="5Oz70LKc5fl" role="3eOfB_">
                     <node concept="3SKdUt" id="5Oz70LKt$kO" role="3cqZAp">
                       <node concept="1PaTwC" id="5Oz70LKt$kP" role="3ndbpf">
@@ -35955,6 +35538,25 @@
                     </node>
                     <node concept="3clFbH" id="5Oz70LKc9ir" role="3cqZAp" />
                   </node>
+                  <node concept="3clFbC" id="3R6X$QWgQMc" role="3eO9$A">
+                    <node concept="2OqwBi" id="5Oz70LKc5_t" role="3uHU7B">
+                      <node concept="3tDTZT" id="5Oz70LKc5nO" role="2Oq$k0">
+                        <ref role="3tDTNw" node="4btN1w5K05d" resolve="tyArgs" />
+                      </node>
+                      <node concept="34oBXx" id="5Oz70LKc5Hd" role="2OqNvi" />
+                    </node>
+                    <node concept="2OqwBi" id="3R6X$QWgXt$" role="3uHU7w">
+                      <node concept="2OqwBi" id="3R6X$QWgRMP" role="2Oq$k0">
+                        <node concept="3tDTZT" id="3R6X$QWgRly" role="2Oq$k0">
+                          <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
+                        </node>
+                        <node concept="3Tsc0h" id="3R6X$QWgTbS" role="2OqNvi">
+                          <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+                        </node>
+                      </node>
+                      <node concept="34oBXx" id="3R6X$QWh0aU" role="2OqNvi" />
+                    </node>
+                  </node>
                 </node>
                 <node concept="3clFbC" id="5Oz70LKtoxH" role="3clFbw">
                   <node concept="10Nm6u" id="5Oz70LKtp3z" role="3uHU7w" />
@@ -36067,6 +35669,213 @@
                   </node>
                   <node concept="3clFbH" id="5Oz70LKto0y" role="3cqZAp" />
                 </node>
+                <node concept="3eNFk2" id="3R6X$QWh1en" role="3eNLev">
+                  <node concept="3clFbS" id="3R6X$QWh1eo" role="3eOfB_">
+                    <node concept="3SKdUt" id="3R6X$QWh1ep" role="3cqZAp">
+                      <node concept="1PaTwC" id="3R6X$QWh1eq" role="3ndbpf">
+                        <node concept="3oM_SD" id="3R6X$QWh1er" role="1PaTwD">
+                          <property role="3oM_SC" value="raw" />
+                        </node>
+                        <node concept="3oM_SD" id="3R6X$QWh1es" role="1PaTwD">
+                          <property role="3oM_SC" value="type" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="3R6X$QWh1et" role="3cqZAp" />
+                    <node concept="3cpWs8" id="3R6X$QWh1eu" role="3cqZAp">
+                      <node concept="3cpWsn" id="3R6X$QWh1ev" role="3cpWs9">
+                        <property role="TrG5h" value="allowUnchecked" />
+                        <node concept="10P_77" id="3R6X$QWh1ew" role="1tU5fm" />
+                        <node concept="3K4zz7" id="3R6X$QWh1ex" role="33vP2m">
+                          <node concept="3clFbT" id="3R6X$QWh1ey" role="3K4GZi">
+                            <property role="3clFbU" value="false" />
+                          </node>
+                          <node concept="3y3z36" id="3R6X$QWh1ez" role="3K4Cdx">
+                            <node concept="10Nm6u" id="3R6X$QWh1e$" role="3uHU7w" />
+                            <node concept="1$qI8S" id="3R6X$QWh1e_" role="3uHU7B">
+                              <ref role="1$qI8I" node="6EY0p2x_O2P" resolve="allowUncheckedConversion" />
+                            </node>
+                          </node>
+                          <node concept="1$qI8S" id="3R6X$QWh1eA" role="3K4E3e">
+                            <ref role="1$qI8I" node="6EY0p2x_O2P" resolve="allowUncheckedConversion" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1Dw8fO" id="3R6X$QWh1eB" role="3cqZAp">
+                      <node concept="3clFbS" id="3R6X$QWh1eC" role="2LFqv$">
+                        <node concept="3clFbJ" id="3R6X$QWh1eD" role="3cqZAp">
+                          <node concept="3clFbS" id="3R6X$QWh1eE" role="3clFbx">
+                            <node concept="3Aqczg" id="3R6X$QWh1eF" role="3cqZAp">
+                              <node concept="3A8Hvi" id="3R6X$QWh1eG" role="3Aqpz8">
+                                <node concept="a7P8L" id="3R6X$QWh1eH" role="3A8wtg">
+                                  <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
+                                  <node concept="37vLTw" id="3R6X$QWh1eI" role="3gCZO6">
+                                    <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                                  </node>
+                                </node>
+                                <node concept="ns1u0" id="3R6X$QWh1eJ" role="3A8w4Q">
+                                  <ref role="ns1xF" node="JOGAOsVt3c" resolve="nullType" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="3R6X$QWh1eK" role="3clFbw">
+                            <ref role="3cqZAo" node="3R6X$QWh1ev" resolve="allowUnchecked" />
+                          </node>
+                          <node concept="9aQIb" id="3R6X$QWh1eL" role="9aQIa">
+                            <node concept="3clFbS" id="3R6X$QWh1eM" role="9aQI4">
+                              <node concept="3Aqczg" id="3R6X$QWh1eN" role="3cqZAp">
+                                <node concept="3A8Hvi" id="3R6X$QWh1eO" role="3Aqpz8">
+                                  <node concept="a7P8L" id="3R6X$QWh1eP" role="3A8wtg">
+                                    <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
+                                    <node concept="37vLTw" id="3R6X$QWh1eQ" role="3gCZO6">
+                                      <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                                    </node>
+                                  </node>
+                                  <node concept="ns1u0" id="3R6X$QWh1eR" role="3A8w4Q">
+                                    <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
+                                    <node concept="nsMwS" id="3R6X$QWh1eS" role="ns1xD">
+                                      <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
+                                      <node concept="2tJFMh" id="3R6X$QWh1eT" role="nsMwV">
+                                        <node concept="ZC_QK" id="3R6X$QWh1eU" role="2tJFKM">
+                                          <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
+                                        </node>
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWsn" id="3R6X$QWh1eV" role="1Duv9x">
+                        <property role="TrG5h" value="i" />
+                        <node concept="10Oyi0" id="3R6X$QWh1eW" role="1tU5fm" />
+                        <node concept="3cmrfG" id="3R6X$QWh1eX" role="33vP2m">
+                          <property role="3cmrfH" value="0" />
+                        </node>
+                      </node>
+                      <node concept="3eOVzh" id="3R6X$QWh1eY" role="1Dwp0S">
+                        <node concept="2OqwBi" id="3R6X$QWh1eZ" role="3uHU7w">
+                          <node concept="2OqwBi" id="3R6X$QWh1f0" role="2Oq$k0">
+                            <node concept="3tDTZT" id="3R6X$QWh1f1" role="2Oq$k0">
+                              <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
+                            </node>
+                            <node concept="3Tsc0h" id="3R6X$QWh1f2" role="2OqNvi">
+                              <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
+                            </node>
+                          </node>
+                          <node concept="34oBXx" id="3R6X$QWh1f3" role="2OqNvi" />
+                        </node>
+                        <node concept="37vLTw" id="3R6X$QWh1f4" role="3uHU7B">
+                          <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                        </node>
+                      </node>
+                      <node concept="3uNrnE" id="3R6X$QWh1f5" role="1Dwrff">
+                        <node concept="37vLTw" id="3R6X$QWh1f6" role="2$L3a6">
+                          <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="3R6X$QWh1f7" role="3cqZAp" />
+                    <node concept="3Aqczg" id="3R6X$QWh1f8" role="3cqZAp">
+                      <node concept="3A8Hvi" id="3R6X$QWh1f9" role="3Aqpz8">
+                        <node concept="aZ4PW" id="3R6X$QWh1fa" role="3A8wtg">
+                          <node concept="3txIi4" id="3R6X$QWh1fb" role="aZ4eD" />
+                        </node>
+                        <node concept="ns1u0" id="3R6X$QWh1fc" role="3A8w4Q">
+                          <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
+                          <node concept="nsMwS" id="3R6X$QWh1fd" role="ns1xD">
+                            <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
+                            <node concept="2OqwBi" id="3R6X$QWh1fe" role="nsMwV">
+                              <node concept="3tDTZT" id="3R6X$QWh1ff" role="2Oq$k0">
+                                <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
+                              </node>
+                              <node concept="iZEcu" id="3R6X$QWh1fg" role="2OqNvi" />
+                            </node>
+                          </node>
+                          <node concept="nsMwS" id="3R6X$QWh1fh" role="ns1xD">
+                            <ref role="nsMwP" node="JOGAOsVt2e" resolve="parameter" />
+                            <node concept="1nq8_$" id="3R6X$QWh1fi" role="nsMwV">
+                              <node concept="a7P8L" id="3R6X$QWh1fj" role="1nq8_t">
+                                <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="nsMwS" id="3R6X$QWh1fk" role="ns1xD">
+                            <ref role="nsMwP" node="JOGAOsVt2d" resolve="kind" />
+                            <node concept="Xl_RD" id="3R6X$QWh1fl" role="nsMwV">
+                              <property role="Xl_RC" value="raw" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbC" id="3R6X$QWh2VZ" role="3eO9$A">
+                    <node concept="3cmrfG" id="3R6X$QWh3qM" role="3uHU7w">
+                      <property role="3cmrfH" value="0" />
+                    </node>
+                    <node concept="2OqwBi" id="3R6X$QWh1JS" role="3uHU7B">
+                      <node concept="3tDTZT" id="3R6X$QWh1yg" role="2Oq$k0">
+                        <ref role="3tDTNw" node="4btN1w5K05d" resolve="tyArgs" />
+                      </node>
+                      <node concept="34oBXx" id="3R6X$QWh1RC" role="2OqNvi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="9aQIb" id="3R6X$QWh44U" role="9aQIa">
+                  <node concept="3clFbS" id="3R6X$QWh44V" role="9aQI4">
+                    <node concept="3SKdUt" id="3R6X$QWh495" role="3cqZAp">
+                      <node concept="1PaTwC" id="3R6X$QWh496" role="3ndbpf">
+                        <node concept="3oM_SD" id="3R6X$QWh498" role="1PaTwD">
+                          <property role="3oM_SC" value="mismatching" />
+                        </node>
+                        <node concept="3oM_SD" id="3R6X$QWh4gN" role="1PaTwD">
+                          <property role="3oM_SC" value="number" />
+                        </node>
+                        <node concept="3oM_SD" id="3R6X$QWh4os" role="1PaTwD">
+                          <property role="3oM_SC" value="of" />
+                        </node>
+                        <node concept="3oM_SD" id="3R6X$QWh4ow" role="1PaTwD">
+                          <property role="3oM_SC" value="type" />
+                        </node>
+                        <node concept="3oM_SD" id="3R6X$QWh4so" role="1PaTwD">
+                          <property role="3oM_SC" value="arguments" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbH" id="3R6X$QWh4wh" role="3cqZAp" />
+                    <node concept="3cpWs8" id="3R6X$QWhUS4" role="3cqZAp">
+                      <node concept="3cpWsn" id="3R6X$QWhUS7" role="3cpWs9">
+                        <property role="TrG5h" value="errorNodePtr" />
+                        <property role="3TUv4t" value="true" />
+                        <node concept="2sp9CU" id="3R6X$QWhUS2" role="1tU5fm" />
+                        <node concept="2OqwBi" id="3R6X$QWhaKC" role="33vP2m">
+                          <node concept="3eTFj6" id="3R6X$QWha3Z" role="2Oq$k0">
+                            <ref role="3eTFj1" node="4btN1w5JZi_" resolve="clsTy" />
+                          </node>
+                          <node concept="iZEcu" id="3R6X$QWhb2d" role="2OqNvi" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3Aqczg" id="3R6X$QWh9xh" role="3cqZAp">
+                      <node concept="1lHd6T" id="3R6X$QWh9xg" role="3Aqpz8">
+                        <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                        <node concept="Xl_RD" id="3R6X$QWh9_f" role="1ljv2e">
+                          <property role="Xl_RC" value="incorrect number of type arguments" />
+                        </node>
+                        <node concept="3G3gwz" id="3R6X$QWm3rs" role="3Gvizk">
+                          <node concept="37vLTw" id="3R6X$QWm3vj" role="3G3gzb">
+                            <ref role="3cqZAo" node="3R6X$QWhUS7" resolve="errorNodePtr" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
               <node concept="3clFbH" id="5Oz70LKcbFo" role="3cqZAp" />
             </node>
@@ -44338,13 +44147,19 @@
               <node concept="3I6sU6" id="4btN1w5Jxid" role="3Ip0Jz">
                 <node concept="3IrJb3" id="4btN1w5Jxie" role="3I6sU7">
                   <node concept="3clFbS" id="4btN1w5Jxif" role="3IrJb0">
-                    <node concept="3Aqczg" id="4btN1w5JzHA" role="3cqZAp">
-                      <node concept="1imXTs" id="4btN1w5JzHw" role="3Aqpz8">
-                        <node concept="a7P8L" id="4btN1w5JzTN" role="1imXu6">
+                    <node concept="3Aqczg" id="3R6X$QWdcGP" role="3cqZAp">
+                      <node concept="B_ONY" id="3R6X$QWdcGL" role="3Aqpz8">
+                        <ref role="17QRF" node="4btN1w5JBfK" resolve="gdecl" />
+                        <node concept="a7P8L" id="3R6X$QWdcKS" role="B_OMz">
                           <ref role="a7OzE" node="4btN1w5JxhX" resolve="TyScheme" />
                         </node>
-                        <node concept="3A2sRY" id="5mvKPwwqj2m" role="1imXSf">
-                          <ref role="3A2yKK" node="4btN1w5Jtzw" resolve="gdecl" />
+                        <node concept="1Q7qz5" id="3R6X$QWdcTc" role="150vd">
+                          <node concept="1Q7q5z" id="3R6X$QWdcTe" role="1Q7qz4">
+                            <ref role="1Q7tcy" node="4btN1w5JCo5" resolve="ownTvds" />
+                            <node concept="37vLTw" id="3R6X$QWddg4" role="1KxKwY">
+                              <ref role="3cqZAo" node="4btN1w5Jwb_" resolve="tvds" />
+                            </node>
+                          </node>
                         </node>
                       </node>
                     </node>
@@ -44441,31 +44256,6 @@
     <node concept="1nLNMY" id="4btN1w5KhEZ" role="1nK1Vg">
       <property role="TrG5h" value="checkClsTy" />
       <node concept="3clFbS" id="4btN1w5KhF0" role="1nLNMH">
-        <node concept="3SKdUt" id="4btN1w5KpaH" role="3cqZAp">
-          <node concept="1PaTwC" id="4btN1w5KpqM" role="3ndbpf">
-            <node concept="3oM_SD" id="5Oz70LKdhXe" role="1PaTwD">
-              <property role="3oM_SC" value="todo:" />
-            </node>
-            <node concept="3oM_SD" id="5Oz70LKdi17" role="1PaTwD">
-              <property role="3oM_SC" value="check" />
-            </node>
-            <node concept="3oM_SD" id="4btN1w5Kpf6" role="1PaTwD">
-              <property role="3oM_SC" value="matching" />
-            </node>
-            <node concept="3oM_SD" id="4btN1w5KpiW" role="1PaTwD">
-              <property role="3oM_SC" value="" />
-            </node>
-            <node concept="3oM_SD" id="5Oz70LKdicB" role="1PaTwD">
-              <property role="3oM_SC" value="number" />
-            </node>
-            <node concept="3oM_SD" id="4btN1w5KpmN" role="1PaTwD">
-              <property role="3oM_SC" value="of" />
-            </node>
-            <node concept="3oM_SD" id="4btN1w5KpqV" role="1PaTwD">
-              <property role="3oM_SC" value="arguments" />
-            </node>
-          </node>
-        </node>
         <node concept="3SKdUt" id="4btN1w5Kpzj" role="3cqZAp">
           <node concept="1PaTwC" id="4btN1w5Kpzk" role="3ndbpf">
             <node concept="3oM_SD" id="4btN1w5Kpzm" role="1PaTwD">
@@ -44629,379 +44419,399 @@
           </node>
         </node>
         <node concept="3clFbH" id="4btN1w5M5W5" role="3cqZAp" />
-        <node concept="1nLNNL" id="4btN1w5Kjll" role="3cqZAp">
-          <node concept="1nLNMm" id="4btN1w5Kjln" role="1nLNNK">
-            <node concept="0eUR_" id="4btN1w5Kjpf" role="0UC6o">
-              <node concept="3NuqgR" id="4btN1w5KjwR" role="0eVf_">
-                <node concept="aZer4" id="4btN1w5KjwS" role="3XD1gS">
-                  <property role="TrG5h" value="ClsTy" />
-                </node>
-                <node concept="aZer4" id="4btN1w5KoN7" role="3XD1gS">
-                  <property role="TrG5h" value="TyArgs" />
-                  <node concept="2OqwBi" id="4btN1w5LYyn" role="3gj$pD">
-                    <node concept="37vLTw" id="4btN1w5LWJG" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
+        <node concept="3clFbJ" id="3R6X$QWjRtO" role="3cqZAp">
+          <node concept="3clFbS" id="3R6X$QWjRtQ" role="3clFbx">
+            <node concept="3clFbH" id="3R6X$QWk0qD" role="3cqZAp" />
+            <node concept="1nLNNL" id="4btN1w5Kjll" role="3cqZAp">
+              <node concept="1nLNMm" id="4btN1w5Kjln" role="1nLNNK">
+                <node concept="0eUR_" id="4btN1w5Kjpf" role="0UC6o">
+                  <node concept="3NuqgR" id="4btN1w5KjwR" role="0eVf_">
+                    <node concept="aZer4" id="4btN1w5KjwS" role="3XD1gS">
+                      <property role="TrG5h" value="ClsTy" />
                     </node>
-                    <node concept="34oBXx" id="4btN1w5M0Ds" role="2OqNvi" />
-                  </node>
-                </node>
-                <node concept="aZer4" id="5mvKPwwqstW" role="3XD1gS">
-                  <property role="TrG5h" value="TyArgCaps" />
-                  <node concept="2OqwBi" id="5mvKPwwqv66" role="3gj$pD">
-                    <node concept="37vLTw" id="5mvKPwwqsX5" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
-                    </node>
-                    <node concept="34oBXx" id="5mvKPwwqxj2" role="2OqNvi" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="0eUR_" id="4btN1w5KovG" role="0UC6o">
-              <node concept="3NuqgR" id="4btN1w5KovM" role="0eVf_">
-                <node concept="aZer4" id="4btN1w5KovN" role="3XD1gS">
-                  <property role="TrG5h" value="TyScheme" />
-                </node>
-                <node concept="aZer4" id="4btN1w5M40q" role="3XD1gS">
-                  <property role="TrG5h" value="TVs" />
-                  <node concept="2OqwBi" id="4btN1w5M4rl" role="3gj$pD">
-                    <node concept="37vLTw" id="4btN1w5M4fX" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
-                    </node>
-                    <node concept="34oBXx" id="4btN1w5M4AT" role="2OqNvi" />
-                  </node>
-                </node>
-                <node concept="aZer4" id="4btN1w5MfPo" role="3XD1gS">
-                  <property role="TrG5h" value="Bounds" />
-                  <node concept="2OqwBi" id="4btN1w5Mg05" role="3gj$pD">
-                    <node concept="37vLTw" id="4btN1w5MfX_" role="2Oq$k0">
-                      <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
-                    </node>
-                    <node concept="34oBXx" id="4btN1w5Mg7d" role="2OqNvi" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="0eUR_" id="4btN1w5M4QW" role="0UC6o">
-              <node concept="3NuqgR" id="4btN1w5M4UZ" role="0eVf_">
-                <node concept="aZer4" id="4btN1w5M4V0" role="3XD1gS">
-                  <property role="TrG5h" value="ContextTVs" />
-                </node>
-                <node concept="aZer4" id="4btN1w5MgLQ" role="3XD1gS">
-                  <property role="TrG5h" value="ContextTVSubs" />
-                </node>
-                <node concept="3uibUv" id="4btN1w5M5a$" role="3vLBG7">
-                  <ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="4btN1w5KjO3" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="4btN1w5KjO4" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4btN1w5KlNI" role="3I6sU7">
-                  <node concept="3Aqt3T" id="5Oz70LKdlWp" role="3I6s78">
-                    <ref role="3AqCNq" node="4btN1w5Ki4T" resolve="checkGenerics" />
-                  </node>
-                </node>
-                <node concept="3I6s7M" id="4btN1w5KjRV" role="3I6sU7">
-                  <node concept="3Aqt3T" id="4btN1w5KjRU" role="3I6s78">
-                    <ref role="3AqCNq" node="4btN1w5A2ZH" resolve="genDecl" />
-                    <node concept="37jhX" id="4btN1w5KmeO" role="3AunhB">
-                      <node concept="2OqwBi" id="4btN1w5KnkI" role="37jj2">
-                        <node concept="2OqwBi" id="4btN1w5Kmtl" role="2Oq$k0">
-                          <node concept="3A2sRY" id="4btN1w5KmiK" role="2Oq$k0">
-                            <ref role="3A2yKK" node="4btN1w5KirY" resolve="clsTy" />
-                          </node>
-                          <node concept="3TrEf2" id="4btN1w5KmYk" role="2OqNvi">
-                            <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
-                          </node>
+                    <node concept="aZer4" id="4btN1w5KoN7" role="3XD1gS">
+                      <property role="TrG5h" value="TyArgs" />
+                      <node concept="2OqwBi" id="4btN1w5LYyn" role="3gj$pD">
+                        <node concept="37vLTw" id="4btN1w5LWJG" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
                         </node>
-                        <node concept="iZEcu" id="4btN1w5Knta" role="2OqNvi" />
+                        <node concept="34oBXx" id="4btN1w5M0Ds" role="2OqNvi" />
                       </node>
                     </node>
-                    <node concept="a7P8L" id="4btN1w5MoUY" role="3AunhB">
-                      <ref role="a7OzE" node="4btN1w5KovN" resolve="TyScheme" />
+                    <node concept="aZer4" id="5mvKPwwqstW" role="3XD1gS">
+                      <property role="TrG5h" value="TyArgCaps" />
+                      <node concept="2OqwBi" id="5mvKPwwqv66" role="3gj$pD">
+                        <node concept="37vLTw" id="5mvKPwwqsX5" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
+                        </node>
+                        <node concept="34oBXx" id="5mvKPwwqxj2" role="2OqNvi" />
+                      </node>
                     </node>
                   </node>
                 </node>
-              </node>
-            </node>
-            <node concept="3Aq9E8" id="4btN1w5KnXf" role="1nLNMd">
-              <node concept="3I6sU6" id="4btN1w5KnXg" role="3Ip0Jz">
-                <node concept="3IrJb3" id="4btN1w5M6Tm" role="3I6sU7">
-                  <node concept="3clFbS" id="4btN1w5M6Tn" role="3IrJb0">
-                    <node concept="3Aqczg" id="4btN1w5M6To" role="3cqZAp">
-                      <node concept="1imXTs" id="4btN1w5Kocv" role="3Aqpz8">
-                        <node concept="a7P8L" id="4btN1w5Koke" role="1imXu6">
-                          <ref role="a7OzE" node="4btN1w5KjwS" resolve="ClsTy" />
+                <node concept="0eUR_" id="4btN1w5KovG" role="0UC6o">
+                  <node concept="3NuqgR" id="4btN1w5KovM" role="0eVf_">
+                    <node concept="aZer4" id="4btN1w5KovN" role="3XD1gS">
+                      <property role="TrG5h" value="TyScheme" />
+                    </node>
+                    <node concept="aZer4" id="4btN1w5M40q" role="3XD1gS">
+                      <property role="TrG5h" value="TVs" />
+                      <node concept="2OqwBi" id="4btN1w5M4rl" role="3gj$pD">
+                        <node concept="37vLTw" id="4btN1w5M4fX" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
                         </node>
-                        <node concept="3A2sRY" id="4btN1w5M2ny" role="1imXSf">
-                          <ref role="3A2yKK" node="4btN1w5KirY" resolve="clsTy" />
+                        <node concept="34oBXx" id="4btN1w5M4AT" role="2OqNvi" />
+                      </node>
+                    </node>
+                    <node concept="aZer4" id="4btN1w5MfPo" role="3XD1gS">
+                      <property role="TrG5h" value="Bounds" />
+                      <node concept="2OqwBi" id="4btN1w5Mg05" role="3gj$pD">
+                        <node concept="37vLTw" id="4btN1w5MfX_" role="2Oq$k0">
+                          <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
+                        </node>
+                        <node concept="34oBXx" id="4btN1w5Mg7d" role="2OqNvi" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="0eUR_" id="4btN1w5M4QW" role="0UC6o">
+                  <node concept="3NuqgR" id="4btN1w5M4UZ" role="0eVf_">
+                    <node concept="aZer4" id="4btN1w5M4V0" role="3XD1gS">
+                      <property role="TrG5h" value="ContextTVs" />
+                    </node>
+                    <node concept="aZer4" id="4btN1w5MgLQ" role="3XD1gS">
+                      <property role="TrG5h" value="ContextTVSubs" />
+                    </node>
+                    <node concept="3uibUv" id="4btN1w5M5a$" role="3vLBG7">
+                      <ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3Aq93q" id="4btN1w5KjO3" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="4btN1w5KjO4" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="4btN1w5KlNI" role="3I6sU7">
+                      <node concept="3Aqt3T" id="5Oz70LKdlWp" role="3I6s78">
+                        <ref role="3AqCNq" node="4btN1w5Ki4T" resolve="checkGenerics" />
+                      </node>
+                    </node>
+                    <node concept="3I6s7M" id="4btN1w5KjRV" role="3I6sU7">
+                      <node concept="3Aqt3T" id="4btN1w5KjRU" role="3I6s78">
+                        <ref role="3AqCNq" node="4btN1w5A2ZH" resolve="genDecl" />
+                        <node concept="37jhX" id="4btN1w5KmeO" role="3AunhB">
+                          <node concept="2OqwBi" id="4btN1w5KnkI" role="37jj2">
+                            <node concept="2OqwBi" id="4btN1w5Kmtl" role="2Oq$k0">
+                              <node concept="3A2sRY" id="4btN1w5KmiK" role="2Oq$k0">
+                                <ref role="3A2yKK" node="4btN1w5KirY" resolve="clsTy" />
+                              </node>
+                              <node concept="3TrEf2" id="4btN1w5KmYk" role="2OqNvi">
+                                <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                              </node>
+                            </node>
+                            <node concept="iZEcu" id="4btN1w5Knta" role="2OqNvi" />
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="4btN1w5MoUY" role="3AunhB">
+                          <ref role="a7OzE" node="4btN1w5KovN" resolve="TyScheme" />
                         </node>
                       </node>
                     </node>
-                    <node concept="3Aqczg" id="4btN1w5M8hs" role="3cqZAp">
-                      <node concept="3A8Hvi" id="4btN1w5M8hm" role="3Aqpz8">
-                        <node concept="a7P8L" id="4btN1w5MfmF" role="3A8wtg">
-                          <ref role="a7OzE" node="4btN1w5KjwS" resolve="ClsTy" />
-                        </node>
-                        <node concept="ns1u0" id="4btN1w5M8r0" role="3A8w4Q">
-                          <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
-                          <node concept="nsMwS" id="4btN1w5M8r2" role="ns1xD">
-                            <ref role="nsMwP" node="JOGAOsVt2e" resolve="parameter" />
-                            <node concept="1nq8_$" id="4btN1w5M8LU" role="nsMwV">
-                              <node concept="a7P8L" id="4btN1w5M8LS" role="1nq8_t">
-                                <ref role="a7OzE" node="4btN1w5KoN7" resolve="TyArgs" />
-                              </node>
+                  </node>
+                </node>
+                <node concept="3Aq9E8" id="4btN1w5KnXf" role="1nLNMd">
+                  <node concept="3I6sU6" id="4btN1w5KnXg" role="3Ip0Jz">
+                    <node concept="3IrJb3" id="4btN1w5M6Tm" role="3I6sU7">
+                      <node concept="3clFbS" id="4btN1w5M6Tn" role="3IrJb0">
+                        <node concept="3Aqczg" id="4btN1w5M6To" role="3cqZAp">
+                          <node concept="1imXTs" id="4btN1w5Kocv" role="3Aqpz8">
+                            <node concept="a7P8L" id="4btN1w5Koke" role="1imXu6">
+                              <ref role="a7OzE" node="4btN1w5KjwS" resolve="ClsTy" />
+                            </node>
+                            <node concept="3A2sRY" id="4btN1w5M2ny" role="1imXSf">
+                              <ref role="3A2yKK" node="4btN1w5KirY" resolve="clsTy" />
                             </node>
                           </node>
                         </node>
-                      </node>
-                    </node>
-                    <node concept="3clFbH" id="4btN1w5M7ON" role="3cqZAp" />
-                    <node concept="3SKdUt" id="4btN1w5M79c" role="3cqZAp">
-                      <node concept="1PaTwC" id="4btN1w5M79d" role="3ndbpf">
-                        <node concept="3oM_SD" id="4btN1w5M79e" role="1PaTwD">
-                          <property role="3oM_SC" value="instantiate" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79f" role="1PaTwD">
-                          <property role="3oM_SC" value="type" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79g" role="1PaTwD">
-                          <property role="3oM_SC" value="scheme:" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79h" role="1PaTwD">
-                          <property role="3oM_SC" value="copy" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79i" role="1PaTwD">
-                          <property role="3oM_SC" value="the" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79j" role="1PaTwD">
-                          <property role="3oM_SC" value="term" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79k" role="1PaTwD">
-                          <property role="3oM_SC" value="with" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79l" role="1PaTwD">
-                          <property role="3oM_SC" value="all" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79m" role="1PaTwD">
-                          <property role="3oM_SC" value="relations" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79n" role="1PaTwD">
-                          <property role="3oM_SC" value="between" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79o" role="1PaTwD">
-                          <property role="3oM_SC" value="logical" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79p" role="1PaTwD">
-                          <property role="3oM_SC" value="variables" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79q" role="1PaTwD">
-                          <property role="3oM_SC" value="and" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79r" role="1PaTwD">
-                          <property role="3oM_SC" value="produce" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79s" role="1PaTwD">
-                          <property role="3oM_SC" value="type" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79t" role="1PaTwD">
-                          <property role="3oM_SC" value="variable" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79u" role="1PaTwD">
-                          <property role="3oM_SC" value="bounds" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79v" role="1PaTwD">
-                          <property role="3oM_SC" value="for" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79w" role="1PaTwD">
-                          <property role="3oM_SC" value="further" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79x" role="1PaTwD">
-                          <property role="3oM_SC" value="checking" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79y" role="1PaTwD">
-                          <property role="3oM_SC" value="and" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79z" role="1PaTwD">
-                          <property role="3oM_SC" value="bounds" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M79$" role="1PaTwD">
-                          <property role="3oM_SC" value="inference" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aqczg" id="4btN1w5M79_" role="3cqZAp">
-                      <node concept="3A8Hvi" id="4btN1w5M79A" role="3Aqpz8">
-                        <node concept="ns1u0" id="4btN1w5M79B" role="3A8wtg">
-                          <ref role="ns1xF" node="4btN1w5A0eS" resolve="genDecl" />
-                          <node concept="nsMwS" id="4btN1w5M79C" role="ns1xD">
-                            <ref role="nsMwP" node="4btN1w5A0F6" resolve="typeVars" />
-                            <node concept="1nq8_$" id="4btN1w5M79D" role="nsMwV">
-                              <node concept="a7P8L" id="4btN1w5M79E" role="1nq8_t">
-                                <ref role="a7OzE" node="4btN1w5M40q" resolve="TVs" />
-                              </node>
+                        <node concept="3Aqczg" id="4btN1w5M8hs" role="3cqZAp">
+                          <node concept="3A8Hvi" id="4btN1w5M8hm" role="3Aqpz8">
+                            <node concept="a7P8L" id="4btN1w5MfmF" role="3A8wtg">
+                              <ref role="a7OzE" node="4btN1w5KjwS" resolve="ClsTy" />
                             </node>
-                          </node>
-                          <node concept="nsMwS" id="4btN1w5M79F" role="ns1xD">
-                            <ref role="nsMwP" node="4btN1w5A15P" resolve="bounds" />
-                            <node concept="1nq8_$" id="4btN1w5M79G" role="nsMwV">
-                              <node concept="a7P8L" id="4btN1w5MgiY" role="1nq8_t">
-                                <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="nsMwS" id="4btN1w5M79I" role="ns1xD">
-                            <ref role="nsMwP" node="4btN1w5A3Te" resolve="ctxTVars" />
-                            <node concept="1nq8_$" id="4btN1w5M79J" role="nsMwV">
-                              <node concept="a7P8L" id="4btN1w5M79K" role="1nq8_t">
-                                <ref role="a7OzE" node="4btN1w5M4V0" resolve="ContextTVs" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="9KH4l" id="4btN1w5M79L" role="3A8w4Q">
-                          <node concept="a7P8L" id="4btN1w5M79M" role="9KHbC">
-                            <ref role="a7OzE" node="4btN1w5KovN" resolve="TyScheme" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3SKdUt" id="4btN1w5M7a3" role="3cqZAp">
-                      <node concept="1PaTwC" id="4btN1w5M7a4" role="3ndbpf">
-                        <node concept="3oM_SD" id="4btN1w5M7a5" role="1PaTwD">
-                          <property role="3oM_SC" value="reconstruct" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M7a6" role="1PaTwD">
-                          <property role="3oM_SC" value="context" />
-                        </node>
-                        <node concept="3oM_SD" id="4btN1w5M7a7" role="1PaTwD">
-                          <property role="3oM_SC" value="substitutions" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aqczg" id="4btN1w5M7a8" role="3cqZAp">
-                      <node concept="3A8Hvi" id="4btN1w5M7a9" role="3Aqpz8">
-                        <node concept="a7P8L" id="4btN1w5M7aa" role="3A8wtg">
-                          <ref role="a7OzE" node="4btN1w5M4V0" resolve="ContextTVs" />
-                        </node>
-                        <node concept="a7P8L" id="4btN1w5MgY4" role="3A8w4Q">
-                          <ref role="a7OzE" node="4btN1w5MgLQ" resolve="ContextTVSubs" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="1Dw8fO" id="4btN1w5M79N" role="3cqZAp">
-                      <node concept="3clFbS" id="4btN1w5M79O" role="2LFqv$">
-                        <node concept="3Hbl2A" id="5Oz70LKgNlI" role="3cqZAp">
-                          <node concept="3clFbS" id="5Oz70LKgNlK" role="9aQI4">
-                            <node concept="3Aqczg" id="3R6X$QVOGdg" role="3cqZAp">
-                              <node concept="3Aqt3T" id="3R6X$QVOGdh" role="3Aqpz8">
-                                <ref role="3AqCNq" node="3wxtToEiJ2j" resolve="captureWildcard" />
-                                <node concept="a7P8L" id="3R6X$QVOGdi" role="3AunhB">
-                                  <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
-                                  <node concept="37vLTw" id="3R6X$QVOGdj" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                                <node concept="a7P8L" id="3R6X$QVOGdk" role="3AunhB">
-                                  <ref role="a7OzE" node="4btN1w5KoN7" resolve="TyArgs" />
-                                  <node concept="37vLTw" id="3R6X$QVOGdl" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                                <node concept="a7P8L" id="3R6X$QVOGdm" role="3AunhB">
-                                  <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
-                                  <node concept="37vLTw" id="3R6X$QVOGdn" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3Aqczg" id="3R6X$QVOG_T" role="3cqZAp">
-                              <node concept="3Aqt3T" id="3R6X$QVOG_R" role="3Aqpz8">
-                                <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                                <node concept="a7P8L" id="3R6X$QVOGM5" role="3AunhB">
-                                  <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
-                                  <node concept="37vLTw" id="3R6X$QVOGQv" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                                <node concept="a7P8L" id="3R6X$QVOHa6" role="3AunhB">
-                                  <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
-                                  <node concept="37vLTw" id="3R6X$QVOHeV" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3SKdUt" id="3R6X$QVOHEt" role="3cqZAp">
-                              <node concept="1PaTwC" id="3R6X$QVOHEu" role="3ndbpf">
-                                <node concept="3oM_SD" id="3R6X$QVOHEv" role="1PaTwD">
-                                  <property role="3oM_SC" value="bind" />
-                                </node>
-                                <node concept="3oM_SD" id="3R6X$QVOHEw" role="1PaTwD">
-                                  <property role="3oM_SC" value="instantiated" />
-                                </node>
-                                <node concept="3oM_SD" id="3R6X$QVOICi" role="1PaTwD">
-                                  <property role="3oM_SC" value="var" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3Aqczg" id="3R6X$QVOHEG" role="3cqZAp">
-                              <node concept="3A8Hvi" id="3R6X$QVOHEH" role="3Aqpz8">
-                                <node concept="a7P8L" id="3R6X$QVOHEI" role="3A8wtg">
-                                  <ref role="a7OzE" node="4btN1w5M40q" resolve="TVs" />
-                                  <node concept="37vLTw" id="3R6X$QVOHEJ" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                                  </node>
-                                </node>
-                                <node concept="a7P8L" id="3R6X$QVOHEK" role="3A8w4Q">
-                                  <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
-                                  <node concept="37vLTw" id="3R6X$QVOHEL" role="3gCZO6">
-                                    <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                            <node concept="ns1u0" id="4btN1w5M8r0" role="3A8w4Q">
+                              <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifierType" />
+                              <node concept="nsMwS" id="4btN1w5M8r2" role="ns1xD">
+                                <ref role="nsMwP" node="JOGAOsVt2e" resolve="parameter" />
+                                <node concept="1nq8_$" id="4btN1w5M8LU" role="nsMwV">
+                                  <node concept="a7P8L" id="4btN1w5M8LS" role="1nq8_t">
+                                    <ref role="a7OzE" node="4btN1w5KoN7" resolve="TyArgs" />
                                   </node>
                                 </node>
                               </node>
                             </node>
                           </node>
-                          <node concept="1y4W85" id="5Oz70LKgPQ9" role="3Hbm9W">
-                            <node concept="37vLTw" id="5Oz70LKgPUX" role="1y58nS">
+                        </node>
+                        <node concept="3clFbH" id="4btN1w5M7ON" role="3cqZAp" />
+                        <node concept="3SKdUt" id="4btN1w5M79c" role="3cqZAp">
+                          <node concept="1PaTwC" id="4btN1w5M79d" role="3ndbpf">
+                            <node concept="3oM_SD" id="4btN1w5M79e" role="1PaTwD">
+                              <property role="3oM_SC" value="instantiate" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79f" role="1PaTwD">
+                              <property role="3oM_SC" value="type" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79g" role="1PaTwD">
+                              <property role="3oM_SC" value="scheme:" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79h" role="1PaTwD">
+                              <property role="3oM_SC" value="copy" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79i" role="1PaTwD">
+                              <property role="3oM_SC" value="the" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79j" role="1PaTwD">
+                              <property role="3oM_SC" value="term" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79k" role="1PaTwD">
+                              <property role="3oM_SC" value="with" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79l" role="1PaTwD">
+                              <property role="3oM_SC" value="all" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79m" role="1PaTwD">
+                              <property role="3oM_SC" value="relations" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79n" role="1PaTwD">
+                              <property role="3oM_SC" value="between" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79o" role="1PaTwD">
+                              <property role="3oM_SC" value="logical" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79p" role="1PaTwD">
+                              <property role="3oM_SC" value="variables" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79q" role="1PaTwD">
+                              <property role="3oM_SC" value="and" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79r" role="1PaTwD">
+                              <property role="3oM_SC" value="produce" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79s" role="1PaTwD">
+                              <property role="3oM_SC" value="type" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79t" role="1PaTwD">
+                              <property role="3oM_SC" value="variable" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79u" role="1PaTwD">
+                              <property role="3oM_SC" value="bounds" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79v" role="1PaTwD">
+                              <property role="3oM_SC" value="for" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79w" role="1PaTwD">
+                              <property role="3oM_SC" value="further" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79x" role="1PaTwD">
+                              <property role="3oM_SC" value="checking" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79y" role="1PaTwD">
+                              <property role="3oM_SC" value="and" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79z" role="1PaTwD">
+                              <property role="3oM_SC" value="bounds" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M79$" role="1PaTwD">
+                              <property role="3oM_SC" value="inference" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3Aqczg" id="4btN1w5M79_" role="3cqZAp">
+                          <node concept="3A8Hvi" id="4btN1w5M79A" role="3Aqpz8">
+                            <node concept="ns1u0" id="4btN1w5M79B" role="3A8wtg">
+                              <ref role="ns1xF" node="4btN1w5A0eS" resolve="genDecl" />
+                              <node concept="nsMwS" id="4btN1w5M79C" role="ns1xD">
+                                <ref role="nsMwP" node="4btN1w5A0F6" resolve="typeVars" />
+                                <node concept="1nq8_$" id="4btN1w5M79D" role="nsMwV">
+                                  <node concept="a7P8L" id="4btN1w5M79E" role="1nq8_t">
+                                    <ref role="a7OzE" node="4btN1w5M40q" resolve="TVs" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="nsMwS" id="4btN1w5M79F" role="ns1xD">
+                                <ref role="nsMwP" node="4btN1w5A15P" resolve="bounds" />
+                                <node concept="1nq8_$" id="4btN1w5M79G" role="nsMwV">
+                                  <node concept="a7P8L" id="4btN1w5MgiY" role="1nq8_t">
+                                    <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="nsMwS" id="4btN1w5M79I" role="ns1xD">
+                                <ref role="nsMwP" node="4btN1w5A3Te" resolve="ctxTVars" />
+                                <node concept="1nq8_$" id="4btN1w5M79J" role="nsMwV">
+                                  <node concept="a7P8L" id="4btN1w5M79K" role="1nq8_t">
+                                    <ref role="a7OzE" node="4btN1w5M4V0" resolve="ContextTVs" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="9KH4l" id="4btN1w5M79L" role="3A8w4Q">
+                              <node concept="a7P8L" id="4btN1w5M79M" role="9KHbC">
+                                <ref role="a7OzE" node="4btN1w5KovN" resolve="TyScheme" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3SKdUt" id="4btN1w5M7a3" role="3cqZAp">
+                          <node concept="1PaTwC" id="4btN1w5M7a4" role="3ndbpf">
+                            <node concept="3oM_SD" id="4btN1w5M7a5" role="1PaTwD">
+                              <property role="3oM_SC" value="reconstruct" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M7a6" role="1PaTwD">
+                              <property role="3oM_SC" value="context" />
+                            </node>
+                            <node concept="3oM_SD" id="4btN1w5M7a7" role="1PaTwD">
+                              <property role="3oM_SC" value="substitutions" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="3Aqczg" id="4btN1w5M7a8" role="3cqZAp">
+                          <node concept="3A8Hvi" id="4btN1w5M7a9" role="3Aqpz8">
+                            <node concept="a7P8L" id="4btN1w5M7aa" role="3A8wtg">
+                              <ref role="a7OzE" node="4btN1w5M4V0" resolve="ContextTVs" />
+                            </node>
+                            <node concept="a7P8L" id="4btN1w5MgY4" role="3A8w4Q">
+                              <ref role="a7OzE" node="4btN1w5MgLQ" resolve="ContextTVSubs" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="1Dw8fO" id="4btN1w5M79N" role="3cqZAp">
+                          <node concept="3clFbS" id="4btN1w5M79O" role="2LFqv$">
+                            <node concept="3Hbl2A" id="5Oz70LKgNlI" role="3cqZAp">
+                              <node concept="3clFbS" id="5Oz70LKgNlK" role="9aQI4">
+                                <node concept="3Aqczg" id="3R6X$QVOGdg" role="3cqZAp">
+                                  <node concept="3Aqt3T" id="3R6X$QVOGdh" role="3Aqpz8">
+                                    <ref role="3AqCNq" node="3wxtToEiJ2j" resolve="captureWildcard" />
+                                    <node concept="a7P8L" id="3R6X$QVOGdi" role="3AunhB">
+                                      <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
+                                      <node concept="37vLTw" id="3R6X$QVOGdj" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                    <node concept="a7P8L" id="3R6X$QVOGdk" role="3AunhB">
+                                      <ref role="a7OzE" node="4btN1w5KoN7" resolve="TyArgs" />
+                                      <node concept="37vLTw" id="3R6X$QVOGdl" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                    <node concept="a7P8L" id="3R6X$QVOGdm" role="3AunhB">
+                                      <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
+                                      <node concept="37vLTw" id="3R6X$QVOGdn" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3Aqczg" id="3R6X$QVOG_T" role="3cqZAp">
+                                  <node concept="3Aqt3T" id="3R6X$QVOG_R" role="3Aqpz8">
+                                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                                    <node concept="a7P8L" id="3R6X$QVOGM5" role="3AunhB">
+                                      <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
+                                      <node concept="37vLTw" id="3R6X$QVOGQv" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                    <node concept="a7P8L" id="3R6X$QVOHa6" role="3AunhB">
+                                      <ref role="a7OzE" node="4btN1w5MfPo" resolve="Bounds" />
+                                      <node concept="37vLTw" id="3R6X$QVOHeV" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3SKdUt" id="3R6X$QVOHEt" role="3cqZAp">
+                                  <node concept="1PaTwC" id="3R6X$QVOHEu" role="3ndbpf">
+                                    <node concept="3oM_SD" id="3R6X$QVOHEv" role="1PaTwD">
+                                      <property role="3oM_SC" value="bind" />
+                                    </node>
+                                    <node concept="3oM_SD" id="3R6X$QVOHEw" role="1PaTwD">
+                                      <property role="3oM_SC" value="instantiated" />
+                                    </node>
+                                    <node concept="3oM_SD" id="3R6X$QVOICi" role="1PaTwD">
+                                      <property role="3oM_SC" value="var" />
+                                    </node>
+                                  </node>
+                                </node>
+                                <node concept="3Aqczg" id="3R6X$QVOHEG" role="3cqZAp">
+                                  <node concept="3A8Hvi" id="3R6X$QVOHEH" role="3Aqpz8">
+                                    <node concept="a7P8L" id="3R6X$QVOHEI" role="3A8wtg">
+                                      <ref role="a7OzE" node="4btN1w5M40q" resolve="TVs" />
+                                      <node concept="37vLTw" id="3R6X$QVOHEJ" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                    <node concept="a7P8L" id="3R6X$QVOHEK" role="3A8w4Q">
+                                      <ref role="a7OzE" node="5mvKPwwqstW" resolve="TyArgCaps" />
+                                      <node concept="37vLTw" id="3R6X$QVOHEL" role="3gCZO6">
+                                        <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="1y4W85" id="5Oz70LKgPQ9" role="3Hbm9W">
+                                <node concept="37vLTw" id="5Oz70LKgPUX" role="1y58nS">
+                                  <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
+                                </node>
+                                <node concept="37vLTw" id="5Oz70LKgNDm" role="1y566C">
+                                  <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="3cpWsn" id="4btN1w5M79V" role="1Duv9x">
+                            <property role="TrG5h" value="i" />
+                            <node concept="10Oyi0" id="4btN1w5M79W" role="1tU5fm" />
+                            <node concept="3cmrfG" id="4btN1w5M79X" role="33vP2m">
+                              <property role="3cmrfH" value="0" />
+                            </node>
+                          </node>
+                          <node concept="3eOVzh" id="4btN1w5M79Y" role="1Dwp0S">
+                            <node concept="2OqwBi" id="4btN1w5M79Z" role="3uHU7w">
+                              <node concept="37vLTw" id="4btN1w5M7a0" role="2Oq$k0">
+                                <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
+                              </node>
+                              <node concept="34oBXx" id="4btN1w5M7a1" role="2OqNvi" />
+                            </node>
+                            <node concept="37vLTw" id="4btN1w5M7a2" role="3uHU7B">
                               <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
                             </node>
-                            <node concept="37vLTw" id="5Oz70LKgNDm" role="1y566C">
-                              <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
+                          </node>
+                          <node concept="3uNrnE" id="5Oz70LKgEfZ" role="1Dwrff">
+                            <node concept="37vLTw" id="5Oz70LKgEg1" role="2$L3a6">
+                              <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
                             </node>
                           </node>
                         </node>
                       </node>
-                      <node concept="3cpWsn" id="4btN1w5M79V" role="1Duv9x">
-                        <property role="TrG5h" value="i" />
-                        <node concept="10Oyi0" id="4btN1w5M79W" role="1tU5fm" />
-                        <node concept="3cmrfG" id="4btN1w5M79X" role="33vP2m">
-                          <property role="3cmrfH" value="0" />
-                        </node>
-                      </node>
-                      <node concept="3eOVzh" id="4btN1w5M79Y" role="1Dwp0S">
-                        <node concept="2OqwBi" id="4btN1w5M79Z" role="3uHU7w">
-                          <node concept="37vLTw" id="4btN1w5M7a0" role="2Oq$k0">
-                            <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
-                          </node>
-                          <node concept="34oBXx" id="4btN1w5M7a1" role="2OqNvi" />
-                        </node>
-                        <node concept="37vLTw" id="4btN1w5M7a2" role="3uHU7B">
-                          <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                        </node>
-                      </node>
-                      <node concept="3uNrnE" id="5Oz70LKgEfZ" role="1Dwrff">
-                        <node concept="37vLTw" id="5Oz70LKgEg1" role="2$L3a6">
-                          <ref role="3cqZAo" node="4btN1w5M79V" resolve="i" />
-                        </node>
-                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
+            <node concept="3clFbH" id="3R6X$QWjRtP" role="3cqZAp" />
+          </node>
+          <node concept="3clFbC" id="3R6X$QWjXgO" role="3clFbw">
+            <node concept="2OqwBi" id="3R6X$QWjY6U" role="3uHU7w">
+              <node concept="37vLTw" id="3R6X$QWjXK9" role="2Oq$k0">
+                <ref role="3cqZAo" node="4btN1w5LWil" resolve="tyParams" />
+              </node>
+              <node concept="34oBXx" id="3R6X$QWjYf3" role="2OqNvi" />
+            </node>
+            <node concept="2OqwBi" id="3R6X$QWjTLV" role="3uHU7B">
+              <node concept="37vLTw" id="3R6X$QWjR_7" role="2Oq$k0">
+                <ref role="3cqZAo" node="4btN1w5LWif" resolve="tyArgs" />
+              </node>
+              <node concept="34oBXx" id="3R6X$QWjVPe" role="2OqNvi" />
+            </node>
           </node>
         </node>
       </node>