diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 248266e0..b1405bca 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -38,6 +38,7 @@
         <child id="1068498886297" name="rValue" index="37vLTx" />
         <child id="1068498886295" name="lValue" index="37vLTJ" />
       </concept>
+      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
       <concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
       <concept id="1239709250944" name="jetbrains.mps.baseLanguage.structure.PrefixIncrementExpression" flags="nn" index="2$rviw" />
@@ -99,6 +100,7 @@
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
       <concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
+      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
       </concept>
@@ -182,6 +184,7 @@
     </language>
     <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
       <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
         <child id="1199569916463" name="body" index="1bW5cS" />
       </concept>
     </language>
@@ -210,7 +213,6 @@
         <reference id="8829335963593822893" name="declaration" index="a7OzE" />
         <child id="6036655413806858011" name="indexExpr" index="3gCZO6" />
       </concept>
-      <concept id="8829335963591332101" name="jetbrains.mps.logic.structure.LogicalItem" flags="ng" index="aYkH2" />
       <concept id="8829335963591530299" name="jetbrains.mps.logic.structure.ExpressionLogicalVariable" flags="ng" index="aZ4PW">
         <child id="8829335963591530990" name="expression" index="aZ4eD" />
       </concept>
@@ -276,6 +278,7 @@
       <concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS">
         <reference id="1145383142433" name="elementConcept" index="2I9WkF" />
       </concept>
+      <concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
       <concept id="1145567426890" name="jetbrains.mps.lang.smodel.structure.SNodeListCreator" flags="nn" index="2T8Vx0">
         <child id="1145567471833" name="createdType" index="2T96Bj" />
       </concept>
@@ -358,12 +361,16 @@
       <concept id="4774429934441520217" name="samples.lambdacalc.structure.BoolType" flags="ng" index="3P8Jbz" />
     </language>
     <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
+        <child id="1204796294226" name="closure" index="23t8la" />
+      </concept>
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
       <concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
         <child id="1201654602639" name="key" index="38cxEo" />
       </concept>
+      <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
       <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
@@ -378,6 +385,7 @@
         <child id="1225711182005" name="list" index="1y566C" />
         <child id="1225711191269" name="index" index="1y58nS" />
       </concept>
+      <concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
       <concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
         <child id="1197932505799" name="map" index="3ElQJh" />
         <child id="1197932525128" name="key" index="3ElVtu" />
@@ -1038,7 +1046,10 @@
                       </node>
                     </node>
                     <node concept="a7P8L" id="47tET_WaO8U" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_WaO6n" resolve="EmptySet" />
+                      <ref role="a7OzE" node="47tET_WJODj" resolve="NewSet" />
+                      <node concept="37vLTw" id="47tET_WI9bS" role="3gCZO6">
+                        <ref role="3cqZAo" node="3vXKzDNGBmM" resolve="i" />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -1168,7 +1179,10 @@
                     </node>
                   </node>
                   <node concept="a7P8L" id="47tET_WaO7m" role="3AunhB">
-                    <ref role="a7OzE" node="47tET_WaO6n" resolve="EmptySet" />
+                    <ref role="a7OzE" node="47tET_WJODj" resolve="NewSet" />
+                    <node concept="37vLTw" id="47tET_WI9c8" role="3gCZO6">
+                      <ref role="3cqZAo" node="3vXKzDNU1kh" resolve="i" />
+                    </node>
                   </node>
                 </node>
               </node>
@@ -1459,6 +1473,15 @@
               <node concept="34oBXx" id="3vXKzDNGQDM" role="2OqNvi" />
             </node>
           </node>
+          <node concept="aZer4" id="47tET_WJODj" role="3XD1gS">
+            <property role="TrG5h" value="NewSet" />
+            <node concept="2OqwBi" id="47tET_WJQcv" role="3gj$pD">
+              <node concept="3tDTZT" id="47tET_WJOEh" role="2Oq$k0">
+                <ref role="3tDTNw" node="3vXKzDNGwTQ" resolve="tvs" />
+              </node>
+              <node concept="34oBXx" id="47tET_WJUv4" role="2OqNvi" />
+            </node>
+          </node>
           <node concept="aZer4" id="47tET_W4Xjp" role="3XD1gS">
             <property role="TrG5h" value="TmpCts" />
             <node concept="2OqwBi" id="47tET_W4YQj" role="3gj$pD">
@@ -1509,9 +1532,6 @@
               </node>
             </node>
           </node>
-          <node concept="aZer4" id="47tET_WaO6n" role="3XD1gS">
-            <property role="TrG5h" value="EmptySet" />
-          </node>
         </node>
       </node>
       <node concept="3eYOCq" id="2mKpIXwNDzt" role="3eYTkm">
@@ -1564,7 +1584,7 @@
                 <ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
                 <node concept="nsMwS" id="47tET_W4Toq" role="ns1xD">
                   <ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
-                  <node concept="3tDTZT" id="47tET_W4UFx" role="nsMwV">
+                  <node concept="3tDTZT" id="47tET_WyR$j" role="nsMwV">
                     <ref role="3tDTNw" node="47tET_W4R$U" resolve="tcPtr" />
                   </node>
                 </node>
@@ -4405,7 +4425,7 @@
         <property role="TrG5h" value="constraintsNlist" />
       </node>
       <node concept="1zAUYm" id="48ZGLP7rIKj" role="1zAUyy">
-        <property role="TrG5h" value="nlist" />
+        <property role="TrG5h" value="typeVarsNlist" />
       </node>
       <node concept="1zAUYm" id="48ZGLP7rIKl" role="1zAUyy">
         <property role="TrG5h" value="varNames" />
@@ -4414,6 +4434,39 @@
         <property role="TrG5h" value="typeVars" />
       </node>
     </node>
+    <node concept="3AqmO8" id="47tET_WiT7i" role="8PkJo">
+      <property role="TrG5h" value="toRecoverConstraints" />
+      <node concept="1zAUYm" id="47tET_WiT9_" role="1zAUyy">
+        <property role="TrG5h" value="typeVar" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WiT9B" role="1zAUyy">
+        <property role="TrG5h" value="constraintsSet" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WheG$" role="8PkJo">
+      <property role="TrG5h" value="recoverConstraints" />
+      <node concept="1zAUYm" id="47tET_WheIF" role="1zAUyy">
+        <property role="TrG5h" value="nlist" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WheIH" role="1zAUyy">
+        <property role="TrG5h" value="typeVar" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WiOIe" role="1zAUyy">
+        <property role="TrG5h" value="typeVarNode" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_Whfh$" role="8PkJo">
+      <property role="TrG5h" value="recoverConstraintList" />
+      <node concept="1zAUYm" id="47tET_WhhV4" role="1zAUyy">
+        <property role="TrG5h" value="nlist" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WiOEx" role="1zAUyy">
+        <property role="TrG5h" value="typeVarNode" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WhhV6" role="1zAUyy">
+        <property role="TrG5h" value="consList" />
+      </node>
+    </node>
     <node concept="1nLNMY" id="47tET_WlKbY" role="1nK1Vg">
       <property role="TrG5h" value="reproduceTypeConstraints_start" />
       <node concept="3clFbS" id="47tET_WlKbZ" role="1nLNMH">
@@ -5688,10 +5741,10 @@
                 <node concept="aZer4" id="48ZGLP7rHRI" role="3XD1gS">
                   <property role="TrG5h" value="TVNodes" />
                 </node>
-                <node concept="2I9FWS" id="48ZGLP7rHS1" role="3vLBG7" />
                 <node concept="aZer4" id="47tET_WiRqd" role="3XD1gS">
                   <property role="TrG5h" value="CtsNodes" />
                 </node>
+                <node concept="2I9FWS" id="48ZGLP7rHS1" role="3vLBG7" />
               </node>
               <node concept="3NuqgR" id="6EwjVjWszQ6" role="0eVf_">
                 <node concept="aZer4" id="6EwjVjWszQ7" role="3XD1gS">
@@ -6058,39 +6111,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="47tET_WiT7i" role="8PkJo">
-      <property role="TrG5h" value="toRecoverConstraints" />
-      <node concept="1zAUYm" id="47tET_WiT9_" role="1zAUyy">
-        <property role="TrG5h" value="typeVar" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WiT9B" role="1zAUyy">
-        <property role="TrG5h" value="constraintsSet" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WheG$" role="8PkJo">
-      <property role="TrG5h" value="recoverConstraints" />
-      <node concept="1zAUYm" id="47tET_WheIF" role="1zAUyy">
-        <property role="TrG5h" value="nlist" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WheIH" role="1zAUyy">
-        <property role="TrG5h" value="typeVar" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WiOIe" role="1zAUyy">
-        <property role="TrG5h" value="typeVarNode" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_Whfh$" role="8PkJo">
-      <property role="TrG5h" value="recoverConstraintList" />
-      <node concept="1zAUYm" id="47tET_WhhV4" role="1zAUyy">
-        <property role="TrG5h" value="nlist" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WiOEx" role="1zAUyy">
-        <property role="TrG5h" value="typeVarNode" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WhhV6" role="1zAUyy">
-        <property role="TrG5h" value="consList" />
-      </node>
-    </node>
     <node concept="1nLNMY" id="47tET_WheYl" role="1nK1Vg">
       <property role="TrG5h" value="recoverConstraints" />
       <node concept="3clFbS" id="47tET_WheYm" role="1nLNMH">
@@ -8473,7 +8493,7 @@
                 </node>
                 <node concept="3I6s7M" id="47tET_WuRco" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_WuRcm" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkAllConstraints" />
+                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
                     <node concept="a7P8L" id="47tET_WuRcE" role="3AunhB">
                       <ref role="a7OzE" node="48ZGLP8pH7l" resolve="ITVs" />
                     </node>
@@ -8595,7 +8615,7 @@
                 </node>
                 <node concept="3I6s7M" id="47tET_WuRd9" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_WuRd7" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkAllConstraints" />
+                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
                     <node concept="a7P8L" id="47tET_WuRdr" role="3AunhB">
                       <ref role="a7OzE" node="48ZGLP8pI8i" resolve="ITVs" />
                     </node>
@@ -9942,6 +9962,29 @@
     <node concept="1nLNMY" id="47tET_W4WNF" role="1nK1Vg">
       <property role="TrG5h" value="getType_Typeclass" />
       <node concept="3clFbS" id="47tET_W4WNG" role="1nLNMH">
+        <node concept="Oftf1" id="47tET_WBVgq" role="3cqZAp">
+          <node concept="2OqwBi" id="47tET_WBVgs" role="Oftjs">
+            <node concept="1PxgMI" id="47tET_WBWhA" role="2Oq$k0">
+              <node concept="chp4Y" id="47tET_WBWln" role="3oSUPX">
+                <ref role="cht4Q" to="8tt8:7_8aRkgDGQC" resolve="Doc" />
+              </node>
+              <node concept="2OqwBi" id="47tET_WBVgt" role="1m5AlR">
+                <node concept="3A2sRY" id="47tET_WBVgu" role="2Oq$k0">
+                  <ref role="3A2yKK" node="47tET_W4WOD" resolve="tc" />
+                </node>
+                <node concept="1mfA1w" id="47tET_WBVgv" role="2OqNvi" />
+              </node>
+            </node>
+            <node concept="2Rf3mk" id="47tET_WBVgw" role="2OqNvi">
+              <node concept="3gmYPX" id="47tET_WD50G" role="1xVPHs">
+                <node concept="3gn64h" id="47tET_WD50H" role="3gmYPZ">
+                  <ref role="3gnhBz" to="8tt8:2O9ahh6mHnO" resolve="Instance" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="47tET_WD54$" role="3cqZAp" />
         <node concept="3SKdUt" id="47tET_W4Xct" role="3cqZAp">
           <node concept="3SKdUq" id="47tET_W4Xcv" role="3SKWNk">
             <property role="3SKdUp" value="Make a Constraint for typevar with this Typeclass" />
@@ -10049,6 +10092,54 @@
             </node>
           </node>
         </node>
+        <node concept="1X3_iC" id="47tET_WBVt3" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="Oftf1" id="47tET_WAuhA" role="8Wnug">
+            <node concept="2OqwBi" id="47tET_WAvQg" role="Oftjs">
+              <node concept="2OqwBi" id="47tET_WAhNZ" role="2Oq$k0">
+                <node concept="2OqwBi" id="47tET_WAcJf" role="2Oq$k0">
+                  <node concept="3A2sRY" id="47tET_WAcAF" role="2Oq$k0">
+                    <ref role="3A2yKK" node="47tET_W4WOD" resolve="tc" />
+                  </node>
+                  <node concept="1mfA1w" id="47tET_WAdcE" role="2OqNvi" />
+                </node>
+                <node concept="2Rf3mk" id="47tET_WAsBB" role="2OqNvi">
+                  <node concept="1xMEDy" id="47tET_WAsBD" role="1xVPHs">
+                    <node concept="chp4Y" id="47tET_WAsPs" role="ri$Ld">
+                      <ref role="cht4Q" to="8tt8:2O9ahh6mHnO" resolve="Instance" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3zZkjj" id="47tET_WADDI" role="2OqNvi">
+                <node concept="1bVj0M" id="47tET_WADDK" role="23t8la">
+                  <node concept="3clFbS" id="47tET_WADDL" role="1bW5cS">
+                    <node concept="3clFbF" id="47tET_WADHG" role="3cqZAp">
+                      <node concept="3clFbC" id="47tET_WAMoz" role="3clFbG">
+                        <node concept="3A2sRY" id="47tET_WAM$C" role="3uHU7w">
+                          <ref role="3A2yKK" node="47tET_W4WOD" resolve="tc" />
+                        </node>
+                        <node concept="2OqwBi" id="47tET_WADUo" role="3uHU7B">
+                          <node concept="37vLTw" id="47tET_WADHF" role="2Oq$k0">
+                            <ref role="3cqZAo" node="47tET_WADDM" resolve="it" />
+                          </node>
+                          <node concept="3TrEf2" id="47tET_WAHHN" role="2OqNvi">
+                            <ref role="3Tt5mk" to="8tt8:2O9ahh6mHo2" resolve="typeclass" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="Rh6nW" id="47tET_WADDM" role="1bW2Oz">
+                    <property role="TrG5h" value="it" />
+                    <node concept="2jxLKc" id="47tET_WADDN" role="1tU5fm" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
       <node concept="2t___k" id="47tET_W4WOC" role="1nLNMg">
         <ref role="2t_S0q" to="8tt8:2O9ahh6mHnA" resolve="Typeclass" />
@@ -10060,6 +10151,16 @@
     <node concept="1nLNMY" id="47tET_W4O_Z" role="1nK1Vg">
       <property role="TrG5h" value="getType_Instance" />
       <node concept="3clFbS" id="47tET_W4OA0" role="1nLNMH">
+        <node concept="1mebxG" id="47tET_WAbZ6" role="3cqZAp">
+          <node concept="2OqwBi" id="47tET_WAc7L" role="1mebXD">
+            <node concept="3A2sRY" id="47tET_WAbZT" role="2Oq$k0">
+              <ref role="3A2yKK" node="47tET_W4OB4" resolve="inst" />
+            </node>
+            <node concept="3TrEf2" id="47tET_WAcyW" role="2OqNvi">
+              <ref role="3Tt5mk" to="8tt8:2O9ahh6mHo2" resolve="typeclass" />
+            </node>
+          </node>
+        </node>
         <node concept="3cpWs8" id="47tET_WsEYJ" role="3cqZAp">
           <node concept="3cpWsn" id="47tET_WsEYM" role="3cpWs9">
             <property role="TrG5h" value="tcPtr" />
@@ -10116,9 +10217,13 @@
                     <node concept="3Aqczg" id="47tET_WsGKC" role="3cqZAp">
                       <node concept="3Aqt3T" id="47tET_WsEY3" role="3Aqpz8">
                         <ref role="3AqCNq" node="47tET_WsEA7" resolve="instance" />
-                        <node concept="HKQnh" id="47tET_WsGBi" role="3AunhB">
-                          <node concept="37vLTw" id="47tET_WsGBn" role="HKQng">
-                            <ref role="3cqZAo" node="47tET_WsEYM" resolve="tcPtr" />
+                        <node concept="ns1u0" id="47tET_W_5pi" role="3AunhB">
+                          <ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
+                          <node concept="nsMwS" id="47tET_W_5pl" role="ns1xD">
+                            <ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
+                            <node concept="37vLTw" id="47tET_W_5pp" role="nsMwV">
+                              <ref role="3cqZAo" node="47tET_WsEYM" resolve="tcPtr" />
+                            </node>
                           </node>
                         </node>
                         <node concept="a7P8L" id="47tET_WsGKu" role="3AunhB">
@@ -10150,6 +10255,24 @@
             </node>
           </node>
         </node>
+        <node concept="1X3_iC" id="47tET_WE8Dp" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="Oftf1" id="47tET_WDA$B" role="8Wnug">
+            <node concept="2OqwBi" id="47tET_WDAJg" role="Oftjs">
+              <node concept="3A2sRY" id="47tET_WDA_G" role="2Oq$k0">
+                <ref role="3A2yKK" node="47tET_W4OB4" resolve="inst" />
+              </node>
+              <node concept="2Rf3mk" id="47tET_WDBmM" role="2OqNvi">
+                <node concept="1xMEDy" id="47tET_WDBmO" role="1xVPHs">
+                  <node concept="chp4Y" id="47tET_WDBnv" role="ri$Ld">
+                    <ref role="cht4Q" to="8tt8:2O9ahh6mHnU" resolve="PrototypeImpl" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
       <node concept="2t___k" id="47tET_W4OB3" role="1nLNMg">
         <ref role="2t_S0q" to="8tt8:2O9ahh6mHnO" resolve="Instance" />
@@ -10363,11 +10486,6 @@
             </node>
           </node>
         </node>
-        <node concept="1mebxG" id="47tET_W7Kcf" role="3cqZAp">
-          <node concept="37vLTw" id="47tET_W7N$Y" role="1mebXD">
-            <ref role="3cqZAo" node="47tET_W7Mhc" resolve="inst" />
-          </node>
-        </node>
         <node concept="1mebxG" id="47tET_W7LGn" role="3cqZAp">
           <node concept="2OqwBi" id="47tET_W7LOA" role="1mebXD">
             <node concept="3A2sRY" id="47tET_W7LGG" role="2Oq$k0">
@@ -10694,6 +10812,15 @@
             </node>
           </node>
         </node>
+        <node concept="1X3_iC" id="47tET_WDAxE" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="1mebxG" id="47tET_W7Kcf" role="8Wnug">
+            <node concept="37vLTw" id="47tET_W7N$Y" role="1mebXD">
+              <ref role="3cqZAo" node="47tET_W7Mhc" resolve="inst" />
+            </node>
+          </node>
+        </node>
       </node>
       <node concept="2t___k" id="47tET_W7KbU" role="1nLNMg">
         <ref role="2t_S0q" to="8tt8:2O9ahh6mHnU" resolve="PrototypeImpl" />
@@ -10915,57 +11042,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="47tET_W4MQo" role="8PkJo">
-      <property role="TrG5h" value="set" />
-      <node concept="1zAUYm" id="47tET_W4MQq" role="1zAUyy">
-        <property role="TrG5h" value="handle" />
-      </node>
-      <node concept="1zAUYm" id="47tET_W4MQs" role="1zAUyy">
-        <property role="TrG5h" value="elem" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_Wrvyw" role="8PkJo">
-      <property role="TrG5h" value="setCopy" />
-      <node concept="1zAUYm" id="47tET_WrvyI" role="1zAUyy">
-        <property role="TrG5h" value="handle" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WrvyK" role="1zAUyy">
-        <property role="TrG5h" value="newHandle" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WsDrE" role="8PkJo">
-      <property role="TrG5h" value="isSubset" />
-      <node concept="1zAUYm" id="47tET_WsDrX" role="1zAUyy">
-        <property role="TrG5h" value="subset" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsDrZ" role="1zAUyy">
-        <property role="TrG5h" value="set" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsDvc" role="1zAUyy">
-        <property role="TrG5h" value="result" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WsDRa" role="8PkJo">
-      <property role="TrG5h" value="isSubsetHelper" />
-      <node concept="1zAUYm" id="47tET_WsDRx" role="1zAUyy">
-        <property role="TrG5h" value="subset" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsDRz" role="1zAUyy">
-        <property role="TrG5h" value="set" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsDRA" role="1zAUyy">
-        <property role="TrG5h" value="result" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_W4NQw" role="8PkJo">
-      <property role="TrG5h" value="setToCons" />
-      <node concept="1zAUYm" id="47tET_W4NQ_" role="1zAUyy">
-        <property role="TrG5h" value="setHandle" />
-      </node>
-      <node concept="1zAUYm" id="47tET_W4NQB" role="1zAUyy">
-        <property role="TrG5h" value="consList" />
-      </node>
-    </node>
     <node concept="1nLNMY" id="47tET_WrvuV" role="1nK1Vg">
       <property role="TrG5h" value="setCopy" />
       <node concept="3clFbS" id="47tET_WrvuW" role="1nLNMH">
@@ -11290,6 +11366,57 @@
         </node>
       </node>
     </node>
+    <node concept="3AqmO8" id="47tET_W4MQo" role="8PkJo">
+      <property role="TrG5h" value="set" />
+      <node concept="1zAUYm" id="47tET_W4MQq" role="1zAUyy">
+        <property role="TrG5h" value="handle" />
+      </node>
+      <node concept="1zAUYm" id="47tET_W4MQs" role="1zAUyy">
+        <property role="TrG5h" value="elem" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_Wrvyw" role="8PkJo">
+      <property role="TrG5h" value="setCopy" />
+      <node concept="1zAUYm" id="47tET_WrvyI" role="1zAUyy">
+        <property role="TrG5h" value="handle" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WrvyK" role="1zAUyy">
+        <property role="TrG5h" value="newHandle" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WsDrE" role="8PkJo">
+      <property role="TrG5h" value="isSubset" />
+      <node concept="1zAUYm" id="47tET_WsDrX" role="1zAUyy">
+        <property role="TrG5h" value="subset" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsDrZ" role="1zAUyy">
+        <property role="TrG5h" value="set" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsDvc" role="1zAUyy">
+        <property role="TrG5h" value="result" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WsDRa" role="8PkJo">
+      <property role="TrG5h" value="isSubsetHelper" />
+      <node concept="1zAUYm" id="47tET_WsDRx" role="1zAUyy">
+        <property role="TrG5h" value="subset" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsDRz" role="1zAUyy">
+        <property role="TrG5h" value="set" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsDRA" role="1zAUyy">
+        <property role="TrG5h" value="result" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_W4NQw" role="8PkJo">
+      <property role="TrG5h" value="setToCons" />
+      <node concept="1zAUYm" id="47tET_W4NQ_" role="1zAUyy">
+        <property role="TrG5h" value="setHandle" />
+      </node>
+      <node concept="1zAUYm" id="47tET_W4NQB" role="1zAUyy">
+        <property role="TrG5h" value="consList" />
+      </node>
+    </node>
   </node>
   <node concept="AVZre" id="47tET_W6GBd">
     <property role="TrG5h" value="typeConstraints" />
@@ -11308,6 +11435,9 @@
         <property role="TrG5h" value="typeVars" />
       </node>
     </node>
+    <node concept="3AqmO8" id="47tET_WlK9C" role="8PkJo">
+      <property role="TrG5h" value="reproduceTypeConstraints" />
+    </node>
     <node concept="1nLNMY" id="47tET_W4RYO" role="1nK1Vg">
       <property role="TrG5h" value="typeConstraints_mergeSets" />
       <node concept="3clFbS" id="47tET_W4RYP" role="1nLNMH">
@@ -11394,6 +11524,72 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="47tET_WwVxG" role="1nK1Vg">
+      <property role="TrG5h" value="typeConstraints_disharge" />
+      <node concept="3clFbS" id="47tET_WwVxH" role="1nLNMH">
+        <node concept="3SKdUt" id="47tET_WwVLX" role="3cqZAp">
+          <node concept="3SKdUq" id="47tET_WwVLZ" role="3SKWNk">
+            <property role="3SKdUp" value="Discharges Constraints when they're satisfied" />
+          </node>
+        </node>
+        <node concept="1nLNNL" id="47tET_WGoXa" role="3cqZAp">
+          <node concept="1nLNMm" id="47tET_WGoXb" role="1nLNNK">
+            <node concept="3Aq93q" id="47tET_WGoXc" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="47tET_WGoXd" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WGoXe" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WGoXf" role="3I6s78">
+                    <ref role="3AqCNq" node="47tET_W4MQg" resolve="typeConstraints" />
+                    <node concept="a7P8L" id="47tET_WGp9x" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WGp90" resolve="Type" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WGp9r" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WGp99" resolve="CtrSetToSat" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9E8" id="47tET_WGoXi" role="1nLNMd">
+              <node concept="3I6sU6" id="47tET_WGoXj" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WGoXk" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WGp8R" role="3I6s78">
+                    <ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
+                    <node concept="a7P8L" id="47tET_WGpde" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WGp90" resolve="Type" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WGpdq" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WGp99" resolve="CtrSetToSat" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="0eUR_" id="47tET_WGp8X" role="0UC6o">
+              <node concept="3NuqgR" id="47tET_WGp8Z" role="0eVf_">
+                <node concept="aZer4" id="47tET_WGp90" role="3XD1gS">
+                  <property role="TrG5h" value="Type" />
+                </node>
+                <node concept="aZer4" id="47tET_WGp99" role="3XD1gS">
+                  <property role="TrG5h" value="CtrSetToSat" />
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="47tET_WHvtc" role="1nLNMa">
+              <node concept="3I6sU6" id="47tET_WHvtd" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WHvth" role="3I6sU7">
+                  <node concept="2aM9Np" id="47tET_WHvtg" role="3I6s78">
+                    <node concept="a7P8L" id="47tET_WHvtk" role="2aLmnP">
+                      <ref role="a7OzE" node="47tET_WGp90" resolve="Type" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="47tET_W6FC8" role="1nK1Vg">
       <property role="TrG5h" value="produceTypeConstraints" />
       <node concept="3clFbS" id="47tET_W6FC9" role="1nLNMH">
@@ -11707,78 +11903,6 @@
         </node>
       </node>
     </node>
-    <node concept="3AqmO8" id="47tET_WlK9C" role="8PkJo">
-      <property role="TrG5h" value="reproduceTypeConstraints" />
-    </node>
-    <node concept="3AqmO8" id="47tET_WgaZR" role="8PkJo">
-      <property role="TrG5h" value="checkAllConstraints" />
-      <node concept="1zAUYm" id="47tET_WgaZY" role="1zAUyy">
-        <property role="TrG5h" value="typeVars" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wgb00" role="1zAUyy">
-        <property role="TrG5h" value="originalTypeVars" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_Wgb9$" role="8PkJo">
-      <property role="TrG5h" value="checkVarConstraints" />
-      <node concept="1zAUYm" id="47tET_Wgb9I" role="1zAUyy">
-        <property role="TrG5h" value="typeVar" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wgb9S" role="1zAUyy">
-        <property role="TrG5h" value="typeVarConstraintsSet" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wgb9V" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wgb9Z" role="1zAUyy">
-        <property role="TrG5h" value="typeConstraintsSet" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_Wh9Mr" role="8PkJo">
-      <property role="TrG5h" value="strengthCheck" />
-      <node concept="1zAUYm" id="47tET_Wh9MH" role="1zAUyy">
-        <property role="TrG5h" value="weakerSet" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wh9MJ" role="1zAUyy">
-        <property role="TrG5h" value="strongerSet" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_Wh6jP" role="8PkJo">
-      <property role="TrG5h" value="instanceCheck" />
-      <node concept="1zAUYm" id="47tET_Wh6k4" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-      </node>
-      <node concept="1zAUYm" id="47tET_Wh6k6" role="1zAUyy">
-        <property role="TrG5h" value="typeConstraintSet" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WsEug" role="8PkJo">
-      <property role="TrG5h" value="instanceCheckHelper" />
-      <node concept="1zAUYm" id="47tET_WsEuA" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsEuC" role="1zAUyy">
-        <property role="TrG5h" value="typeConstraintList" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WsED9" role="8PkJo">
-      <property role="TrG5h" value="checkSingleInstance" />
-      <node concept="1zAUYm" id="47tET_WsED_" role="1zAUyy">
-        <property role="TrG5h" value="type" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsEDB" role="1zAUyy">
-        <property role="TrG5h" value="typeConstraint" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="47tET_WsEA7" role="8PkJo">
-      <property role="TrG5h" value="instance" />
-      <node concept="1zAUYm" id="47tET_WsEAw" role="1zAUyy">
-        <property role="TrG5h" value="typeclassPtr" />
-      </node>
-      <node concept="1zAUYm" id="47tET_WsEAy" role="1zAUyy">
-        <property role="TrG5h" value="instanceTypeScheme" />
-      </node>
-    </node>
     <node concept="1nLNMY" id="47tET_WlKzX" role="1nK1Vg">
       <property role="TrG5h" value="reproduceTypeConstraints" />
       <node concept="3clFbS" id="47tET_WlKzY" role="1nLNMH">
@@ -11844,6 +11968,78 @@
         </node>
       </node>
     </node>
+    <node concept="3AqmO8" id="47tET_WgaZR" role="8PkJo">
+      <property role="TrG5h" value="checkAllConstraints" />
+      <node concept="1zAUYm" id="47tET_WgaZY" role="1zAUyy">
+        <property role="TrG5h" value="typeVars" />
+      </node>
+      <node concept="1zAUYm" id="47tET_Wgb00" role="1zAUyy">
+        <property role="TrG5h" value="originalTypeVars" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_Wgb9$" role="8PkJo">
+      <property role="TrG5h" value="checkVarConstraints" />
+      <node concept="1zAUYm" id="47tET_Wgb9V" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+      <node concept="1zAUYm" id="47tET_Wgb9Z" role="1zAUyy">
+        <property role="TrG5h" value="typeConstraintsSet" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_Wh9Mr" role="8PkJo">
+      <property role="TrG5h" value="strengthCheck" />
+      <node concept="1zAUYm" id="47tET_Wh9MH" role="1zAUyy">
+        <property role="TrG5h" value="weakerSet" />
+      </node>
+      <node concept="1zAUYm" id="47tET_Wh9MJ" role="1zAUyy">
+        <property role="TrG5h" value="strongerSet" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_Wh6jP" role="8PkJo">
+      <property role="TrG5h" value="instanceCheck" />
+      <node concept="1zAUYm" id="47tET_Wh6k4" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+      <node concept="1zAUYm" id="47tET_Wh6k6" role="1zAUyy">
+        <property role="TrG5h" value="typeConstraintSet" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WsEug" role="8PkJo">
+      <property role="TrG5h" value="instanceCheckHelper" />
+      <node concept="1zAUYm" id="47tET_WsEuA" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsEuC" role="1zAUyy">
+        <property role="TrG5h" value="typeConstraintList" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WsED9" role="8PkJo">
+      <property role="TrG5h" value="checkSingleInstance" />
+      <node concept="1zAUYm" id="47tET_WsED_" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsEDB" role="1zAUyy">
+        <property role="TrG5h" value="typeConstraint" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WFhSG" role="8PkJo">
+      <property role="TrG5h" value="discardIfInstanceFound" />
+      <node concept="1zAUYm" id="47tET_WFhTd" role="1zAUyy">
+        <property role="TrG5h" value="type" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WFhTb" role="1zAUyy">
+        <property role="TrG5h" value="instantiatedTypeScheme" />
+      </node>
+    </node>
+    <node concept="3AqmO8" id="47tET_WsEA7" role="8PkJo">
+      <property role="TrG5h" value="instance" />
+      <node concept="1zAUYm" id="47tET_WsEAw" role="1zAUyy">
+        <property role="TrG5h" value="typeclassPtr" />
+      </node>
+      <node concept="1zAUYm" id="47tET_WsEAy" role="1zAUyy">
+        <property role="TrG5h" value="instanceTypeScheme" />
+      </node>
+    </node>
     <node concept="1nLNMY" id="47tET_WgaXg" role="1nK1Vg">
       <property role="TrG5h" value="checkConstraints" />
       <node concept="3clFbS" id="47tET_WgaXh" role="1nLNMH">
@@ -11895,7 +12091,7 @@
               <node concept="3I6sU6" id="47tET_Wgb2a" role="3Ip0Jz">
                 <node concept="3I6s7M" id="47tET_Wgb2b" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_Wgb2c" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkAllConstraints" />
+                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
                     <node concept="1HFMs5" id="47tET_Wgb2d" role="3AunhB">
                       <node concept="a7P8L" id="47tET_Wgb2e" role="1uarlU">
                         <ref role="a7OzE" node="47tET_Wgb0b" resolve="ITVs" />
@@ -11985,12 +12181,6 @@
                 <node concept="3I6s7M" id="47tET_Wgba5" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_Wgba4" role="3I6s78">
                     <ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
-                    <node concept="a7P8L" id="47tET_Wgbad" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wgbaj" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb5w" resolve="S" />
-                    </node>
                     <node concept="a7P8L" id="47tET_Wgbay" role="3AunhB">
                       <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
                     </node>
@@ -12001,7 +12191,7 @@
                 </node>
                 <node concept="3I6s7M" id="47tET_WgbaW" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_WgbaU" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkAllConstraints" />
+                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
                     <node concept="a7P8L" id="47tET_Wgbb7" role="3AunhB">
                       <ref role="a7OzE" node="47tET_Wgb1c" resolve="ITVsTail" />
                     </node>
@@ -12045,7 +12235,7 @@
               <node concept="3I6sU6" id="47tET_Wgbf0" role="3Ip0Jz">
                 <node concept="3I6s7M" id="47tET_Wgbf4" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_Wgbf3" role="3I6s78">
-                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkAllConstraints" />
+                    <ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
                     <node concept="ns1u0" id="47tET_Wgbf9" role="3AunhB">
                       <ref role="ns1xF" node="48ZGLP7pl6N" resolve="Nil" />
                     </node>
@@ -12059,11 +12249,6 @@
           </node>
         </node>
         <node concept="3clFbH" id="47tET_Wgbn6" role="3cqZAp" />
-        <node concept="3SKdUt" id="47tET_Wh602" role="3cqZAp">
-          <node concept="3SKdUq" id="47tET_Wh604" role="3SKWNk">
-            <property role="3SKdUp" value="Free variable potentially gathered additional Constraints during type inference" />
-          </node>
-        </node>
         <node concept="1X3_iC" id="47tET_WsCXk" role="lGtFl">
           <property role="3V$3am" value="statement" />
           <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
@@ -12091,14 +12276,7 @@
                 </node>
               </node>
               <node concept="3Aq9E8" id="47tET_WgbrY" role="1nLNMd">
-                <node concept="3I6sU6" id="47tET_WgbrZ" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="47tET_WsCIX" role="3I6sU7">
-                    <node concept="3Aqt3T" id="47tET_WsCIW" role="3I6s78">
-                      <ref role="3AqCNq" node="47tET_Wh9Mr" resolve="strengthCheck" />
-                      <node concept="aYkH2" id="47tET_WsCJ7" role="3AunhB" />
-                    </node>
-                  </node>
-                </node>
+                <node concept="3I6sU6" id="47tET_WgbrZ" role="3Ip0Jz" />
               </node>
               <node concept="3Aq9_M" id="47tET_Wgbs4" role="1nLNMa">
                 <node concept="3I6sU6" id="47tET_Wgbs5" role="3Ip0Jz">
@@ -12132,12 +12310,6 @@
                 <node concept="3I6s7M" id="47tET_Wh5pc" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_Wh5pd" role="3I6s78">
                     <ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
-                    <node concept="a7P8L" id="47tET_Wh5pe" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wh5pf" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb5w" resolve="S" />
-                    </node>
                     <node concept="1HFMs5" id="47tET_Wh5sg" role="3AunhB">
                       <node concept="a7P8L" id="47tET_Wh5pg" role="1uarlU">
                         <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
@@ -12239,12 +12411,6 @@
                 <node concept="3I6s7M" id="47tET_Wh5yY" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_Wh5yZ" role="3I6s78">
                     <ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
-                    <node concept="a7P8L" id="47tET_Wh5z0" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
-                    </node>
-                    <node concept="a7P8L" id="47tET_Wh5z1" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_Wgb5w" resolve="S" />
-                    </node>
                     <node concept="a7P8L" id="47tET_Wh5z2" role="3AunhB">
                       <ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
                     </node>
@@ -12367,6 +12533,11 @@
     <node concept="1nLNMY" id="47tET_WsElx" role="1nK1Vg">
       <property role="TrG5h" value="instanceCheck" />
       <node concept="3clFbS" id="47tET_WsEly" role="1nLNMH">
+        <node concept="3SKdUt" id="47tET_WwVJN" role="3cqZAp">
+          <node concept="3SKdUq" id="47tET_WwVJP" role="3SKWNk">
+            <property role="3SKdUp" value="Note: setToCons removes the set -- discharges satisfied constraints" />
+          </node>
+        </node>
         <node concept="1nLNNL" id="47tET_WsErN" role="3cqZAp">
           <node concept="1nLNMm" id="47tET_WsErO" role="1nLNNK">
             <node concept="0eUR_" id="47tET_WsErS" role="0UC6o">
@@ -12470,32 +12641,14 @@
               <node concept="3I6sU6" id="47tET_WsEyj" role="3Ip0Jz">
                 <node concept="3IrJb3" id="47tET_WsEJB" role="3I6sU7">
                   <node concept="3clFbS" id="47tET_WsEJC" role="3IrJb0">
-                    <node concept="3Aqczg" id="47tET_WsEJD" role="3cqZAp">
-                      <node concept="3A8Hvi" id="47tET_WsEHq" role="3Aqpz8">
-                        <node concept="a7P8L" id="47tET_WsEOB" role="3A8wtg">
-                          <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
-                        </node>
-                        <node concept="ns1u0" id="47tET_WsEHI" role="3A8w4Q">
-                          <ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
-                          <node concept="nsMwS" id="47tET_WsEHK" role="ns1xD">
-                            <ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
-                            <node concept="1nq8_$" id="47tET_WsEHQ" role="nsMwV">
-                              <node concept="a7P8L" id="47tET_WsEHO" role="1nq8_t">
-                                <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aqczg" id="47tET_WsEJE" role="3cqZAp">
-                      <node concept="3Aqt3T" id="47tET_WsEIy" role="3Aqpz8">
+                    <node concept="3Aqczg" id="47tET_W_5$i" role="3cqZAp">
+                      <node concept="3Aqt3T" id="47tET_W_5$j" role="3Aqpz8">
                         <ref role="3AqCNq" node="47tET_WsED9" resolve="checkSingleInstance" />
-                        <node concept="a7P8L" id="47tET_WsEJ0" role="3AunhB">
+                        <node concept="a7P8L" id="47tET_W_5$k" role="3AunhB">
                           <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
                         </node>
-                        <node concept="a7P8L" id="47tET_WsEJu" role="3AunhB">
-                          <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                        <node concept="a7P8L" id="47tET_W_5_O" role="3AunhB">
+                          <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
                         </node>
                       </node>
                     </node>
@@ -12510,6 +12663,43 @@
                         </node>
                       </node>
                     </node>
+                    <node concept="1X3_iC" id="47tET_W_5tK" role="lGtFl">
+                      <property role="3V$3am" value="statement" />
+                      <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                      <node concept="3Aqczg" id="47tET_WsEJD" role="8Wnug">
+                        <node concept="3A8Hvi" id="47tET_WsEHq" role="3Aqpz8">
+                          <node concept="a7P8L" id="47tET_WsEOB" role="3A8wtg">
+                            <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
+                          </node>
+                          <node concept="ns1u0" id="47tET_WsEHI" role="3A8w4Q">
+                            <ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
+                            <node concept="nsMwS" id="47tET_WsEHK" role="ns1xD">
+                              <ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
+                              <node concept="1nq8_$" id="47tET_WsEHQ" role="nsMwV">
+                                <node concept="a7P8L" id="47tET_WsEHO" role="1nq8_t">
+                                  <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1X3_iC" id="47tET_W_5uL" role="lGtFl">
+                      <property role="3V$3am" value="statement" />
+                      <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+                      <node concept="3Aqczg" id="47tET_WsEJE" role="8Wnug">
+                        <node concept="3Aqt3T" id="47tET_WsEIy" role="3Aqpz8">
+                          <ref role="3AqCNq" node="47tET_WsED9" resolve="checkSingleInstance" />
+                          <node concept="a7P8L" id="47tET_WsEJ0" role="3AunhB">
+                            <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
+                          </node>
+                          <node concept="a7P8L" id="47tET_WsEJu" role="3AunhB">
+                            <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
                   </node>
                 </node>
               </node>
@@ -12548,8 +12738,8 @@
                     <node concept="a7P8L" id="47tET_WsELS" role="3AunhB">
                       <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
                     </node>
-                    <node concept="a7P8L" id="47tET_WsEM0" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                    <node concept="a7P8L" id="47tET_W_5B5" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
                     </node>
                   </node>
                 </node>
@@ -12561,8 +12751,8 @@
                 <node concept="3I6s7M" id="47tET_WsEAS" role="3I6sU7">
                   <node concept="3Aqt3T" id="47tET_WsEAR" role="3I6s78">
                     <ref role="3AqCNq" node="47tET_WsEA7" resolve="instance" />
-                    <node concept="a7P8L" id="47tET_WsEBP" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                    <node concept="a7P8L" id="47tET_W_5Bn" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
                     </node>
                     <node concept="a7P8L" id="47tET_WsEBX" role="3AunhB">
                       <ref role="a7OzE" node="47tET_WsEBd" resolve="InstTypeScheme" />
@@ -12576,18 +12766,38 @@
                 <node concept="aZer4" id="47tET_WsEBd" role="3XD1gS">
                   <property role="TrG5h" value="InstTypeScheme" />
                 </node>
+                <node concept="aZer4" id="47tET_WE8Qa" role="3XD1gS">
+                  <property role="TrG5h" value="I" />
+                </node>
+                <node concept="aZer4" id="47tET_WE9ff" role="3XD1gS">
+                  <property role="TrG5h" value="ITVs" />
+                </node>
               </node>
             </node>
             <node concept="3Aq9E8" id="47tET_WsEMl" role="1nLNMd">
               <node concept="3I6sU6" id="47tET_WsEMm" role="3Ip0Jz">
-                <node concept="3I6s7M" id="47tET_WsEMq" role="3I6sU7">
-                  <node concept="3Aqt3T" id="47tET_WsEMp" role="3I6s78">
-                    <ref role="3AqCNq" node="48ZGLP8pG4u" resolve="subsumed" />
-                    <node concept="a7P8L" id="47tET_WsEMv" role="3AunhB">
+                <node concept="3I6s7M" id="47tET_WE8VX" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WE8VW" role="3I6s78">
+                    <ref role="3AqCNq" node="12dHl3ZCEx3" resolve="inst" />
+                    <node concept="a7P8L" id="47tET_WE9f2" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WE8Qa" resolve="I" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WE9f8" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsEBd" resolve="InstTypeScheme" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WE9fJ" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WE9ff" resolve="ITVs" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3I6s7M" id="47tET_WE9g3" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WFhTg" role="3I6s78">
+                    <ref role="3AqCNq" node="47tET_WFhSG" resolve="discardIfInstanceFound" />
+                    <node concept="a7P8L" id="47tET_WFhTl" role="3AunhB">
                       <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
                     </node>
-                    <node concept="a7P8L" id="47tET_WsEMB" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_WsEBd" resolve="InstTypeScheme" />
+                    <node concept="a7P8L" id="47tET_WFhTt" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WE8Qa" resolve="I" />
                     </node>
                   </node>
                 </node>
@@ -12596,6 +12806,61 @@
           </node>
         </node>
         <node concept="3clFbH" id="47tET_WsEP0" role="3cqZAp" />
+        <node concept="1nLNNL" id="47tET_WFhPa" role="3cqZAp">
+          <node concept="1nLNMm" id="47tET_WFhPc" role="1nLNNK">
+            <node concept="3Aq93q" id="47tET_WFhRe" role="1nLNMb">
+              <node concept="3I6sU6" id="47tET_WFhRf" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WFhRj" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WFhRi" role="3I6s78">
+                    <ref role="3AqCNq" node="47tET_WsED9" resolve="checkSingleInstance" />
+                    <node concept="a7P8L" id="47tET_WFhRo" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WFhRw" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq93q" id="47tET_WFhTz" role="1nLNMb">
+              <node concept="3I6sU6" id="47tET_WFhT$" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WFhTI" role="3I6sU7">
+                  <node concept="3Aqt3T" id="47tET_WFhTH" role="3I6s78">
+                    <ref role="3AqCNq" node="47tET_WFhSG" resolve="discardIfInstanceFound" />
+                    <node concept="a7P8L" id="47tET_WFhTN" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WFhTV" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WE8Qa" resolve="I" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="47tET_WFhRX" role="1nLNMa">
+              <node concept="3I6sU6" id="47tET_WFhRY" role="3Ip0Jz">
+                <node concept="3I6s7M" id="47tET_WFhS4" role="3I6sU7">
+                  <node concept="3A8Hvi" id="47tET_WFhS1" role="3I6s78">
+                    <node concept="a7P8L" id="47tET_WFhS9" role="3A8wtg">
+                      <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
+                    </node>
+                    <node concept="a7P8L" id="47tET_WFhU1" role="3A8w4Q">
+                      <ref role="a7OzE" node="47tET_WE8Qa" resolve="I" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="47tET_WGovI" role="3cqZAp" />
+        <node concept="3clFbH" id="47tET_WGoos" role="3cqZAp" />
+        <node concept="3SKdUt" id="47tET_WE8NB" role="3cqZAp">
+          <node concept="3SKdUq" id="47tET_WE8ND" role="3SKWNk">
+            <property role="3SKdUp" value="No instance candidates left -- fail" />
+          </node>
+        </node>
         <node concept="1nLNNL" id="47tET_WsES3" role="3cqZAp">
           <node concept="1nLNMm" id="47tET_WsES5" role="1nLNNK">
             <node concept="3Aq93q" id="47tET_WsETD" role="1nLNMb">
@@ -12606,8 +12871,8 @@
                     <node concept="a7P8L" id="47tET_WsETN" role="3AunhB">
                       <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
                     </node>
-                    <node concept="a7P8L" id="47tET_WsETV" role="3AunhB">
-                      <ref role="a7OzE" node="47tET_WsEB1" resolve="TcPtr" />
+                    <node concept="a7P8L" id="47tET_W_5AI" role="3AunhB">
+                      <ref role="a7OzE" node="47tET_WsENT" resolve="Ctr" />
                     </node>
                   </node>
                 </node>
@@ -12624,6 +12889,29 @@
             </node>
           </node>
         </node>
+        <node concept="1X3_iC" id="47tET_WGoyR" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="1nLNNL" id="47tET_WGolG" role="8Wnug">
+            <node concept="1nLNMm" id="47tET_WGolI" role="1nLNNK">
+              <node concept="3Aq93q" id="47tET_WGoo3" role="1nLNMb">
+                <node concept="3I6sU6" id="47tET_WGoo4" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="47tET_WGoo8" role="3I6sU7">
+                    <node concept="3Aqt3T" id="47tET_WGoo7" role="3I6s78">
+                      <ref role="3AqCNq" node="47tET_WFhSG" resolve="discardIfInstanceFound" />
+                      <node concept="a7P8L" id="47tET_WGood" role="3AunhB">
+                        <ref role="a7OzE" node="47tET_WsErV" resolve="Type" />
+                      </node>
+                      <node concept="a7P8L" id="47tET_WGool" role="3AunhB">
+                        <ref role="a7OzE" node="47tET_WE8Qa" resolve="I" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
       </node>
     </node>
   </node>
diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
index aadb41b4..d80f68cc 100644
--- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
+++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
@@ -90,7 +90,7 @@
       </concept>
       <concept id="3245170173553595892" name="samples.lambdacalc.structure.Instance" flags="ng" index="1FkZNw">
         <reference id="3245170173553595906" name="typeclass" index="1FkZWm" />
-        <child id="3245170173553595893" name="type" index="1FkZNx" />
+        <child id="3245170173553595893" name="typeScheme" index="1FkZNx" />
         <child id="3245170173553595895" name="impls" index="1FkZNz" />
       </concept>
       <concept id="3245170173553595898" name="samples.lambdacalc.structure.PrototypeImpl" flags="ng" index="1FkZNI">
@@ -3848,13 +3848,158 @@
         </node>
       </node>
     </node>
+    <node concept="1DVJbV" id="47tET_Whar6" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_Whar7" role="j9CMd">
+        <node concept="1DVIrU" id="47tET_Whar8" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_Whar9" role="1DVIr_">
+            <node concept="1DVIoH" id="47tET_Whara" role="1DVIrA">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_Wharb" role="1DVIrw">
+            <node concept="1DVIrB" id="47tET_Wharc" role="1DVIr_">
+              <node concept="3TPQf" id="47tET_Whard" role="1DVIrA">
+                <node concept="1DVIoH" id="47tET_Whare" role="3TPQ0">
+                  <property role="TrG5h" value="g" />
+                </node>
+                <node concept="3JbUGG" id="47tET_Wharf" role="3TPQk">
+                  <node concept="1jz_ff" id="47tET_Wharg" role="3JbKvY">
+                    <node concept="3EVAj" id="47tET_Wharh" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_Whari" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_Wharl" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_WhaFh" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_WhaFc" resolve="c" />
+                      </node>
+                    </node>
+                    <node concept="aFS0r" id="47tET_Whark" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_Wharl" resolve="b" />
+                    </node>
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Wharl" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_WhaFc" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3EUms" id="47tET_Wharm" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_Wharn" role="3EUmv">
+                <node concept="3P8L2H" id="47tET_Wharp" role="1DVIo8" />
+                <node concept="3TPRf" id="47tET_WhaFm" role="1DVIo4">
+                  <node concept="t0$VC" id="47tET_WhaFn" role="3TPR0">
+                    <ref role="t0$VJ" node="47tET_Whard" resolve="g" />
+                  </node>
+                  <node concept="3JbUGG" id="47tET_WhaFo" role="3TPQk">
+                    <node concept="1jz_ff" id="47tET_WhaFp" role="3JbKvY">
+                      <node concept="aFS0r" id="47tET_WhaFq" role="1jz_fp">
+                        <ref role="aFS0e" node="47tET_WhaFu" resolve="d" />
+                      </node>
+                      <node concept="3EVAj" id="47tET_WhaFr" role="1jz_f_">
+                        <node concept="aFS0r" id="47tET_WhaFs" role="3EVAi">
+                          <ref role="aFS0e" node="47tET_WhaFu" resolve="d" />
+                        </node>
+                        <node concept="aFS0r" id="47tET_WhaFE" role="3EVAk">
+                          <ref role="aFS0e" node="47tET_WharP" resolve="a" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2BbKIm" id="47tET_WhaFu" role="5lUUh">
+                      <property role="TrG5h" value="d" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIo5" id="47tET_Wharq" role="3EUmh">
+                <node concept="t0$VC" id="47tET_Wharr" role="1DVIo4">
+                  <ref role="t0$VJ" node="47tET_Whard" resolve="g" />
+                </node>
+                <node concept="3EUms" id="47tET_Whars" role="1DVIo8">
+                  <node concept="3P8MHP" id="47tET_Whart" role="3EUmv" />
+                  <node concept="3P8MHP" id="47tET_Wharu" role="3EUmh" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3TPQf" id="47tET_Wharv" role="1DVIrJ">
+          <node concept="1DVIoH" id="47tET_Wharw" role="3TPQ0">
+            <property role="TrG5h" value="qq_lb4" />
+          </node>
+          <node concept="3JbUGG" id="47tET_Wharx" role="3TPQk">
+            <node concept="1jz_ff" id="47tET_Whary" role="3JbKvY">
+              <node concept="aFS0r" id="47tET_Wharz" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_WharP" resolve="a" />
+              </node>
+              <node concept="1jz_ff" id="47tET_Whar$" role="1jz_f_">
+                <node concept="3EVAj" id="47tET_Whar_" role="1jz_f_">
+                  <node concept="3EVAj" id="47tET_WharA" role="3EVAk">
+                    <node concept="aFS0r" id="47tET_WharB" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_WharP" resolve="a" />
+                    </node>
+                    <node concept="3P8Jbz" id="47tET_WharC" role="3EVAi" />
+                  </node>
+                  <node concept="3EVAj" id="47tET_WharD" role="3EVAi">
+                    <node concept="aFS0r" id="47tET_WharE" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_WharP" resolve="a" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_WharF" role="3EVAi">
+                      <node concept="3P8Jbz" id="47tET_WharG" role="3EVAk" />
+                      <node concept="3P8Jbz" id="47tET_WharH" role="3EVAi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3JbUGG" id="47tET_WharI" role="1jz_fp">
+                  <node concept="2BbKIm" id="47tET_WharJ" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_WhaOj" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                  <node concept="1jz_ff" id="47tET_WharK" role="3JbKvY">
+                    <node concept="aFS0r" id="47tET_WharL" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_WharJ" resolve="b" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_WharM" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_WharO" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_WharJ" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_WhaOo" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_WhaOj" resolve="c" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2BbKIm" id="47tET_WharP" role="5lUUh">
+              <property role="TrG5h" value="a" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="1DVIrt" id="2O9ahh6x9Cb">
-    <property role="TrG5h" value="Typeclasses" />
+    <property role="TrG5h" value="DemoConstraints" />
+    <node concept="1FkZNM" id="47tET_Wha9b" role="1DVIru">
+      <property role="TrG5h" value="C1" />
+      <node concept="2BbKIm" id="47tET_Wha9d" role="1FkZN_">
+        <property role="TrG5h" value="c1" />
+      </node>
+    </node>
+    <node concept="1FkZNM" id="47tET_Whae3" role="1DVIru">
+      <property role="TrG5h" value="C2" />
+      <node concept="2BbKIm" id="47tET_Whae5" role="1FkZN_">
+        <property role="TrG5h" value="c2" />
+      </node>
+    </node>
     <node concept="1FkZNM" id="2O9ahh6x9Cg" role="1DVIru">
       <property role="TrG5h" value="Monoid" />
       <node concept="2BbKIm" id="2O9ahh6x9Ch" role="1FkZN_">
-        <property role="TrG5h" value="a" />
+        <property role="TrG5h" value="z" />
       </node>
       <node concept="1FkZNY" id="2O9ahh6x9CE" role="1FkZNV">
         <node concept="3TPQf" id="2O9ahh6x9CF" role="1FkZNT">
@@ -3862,7 +4007,7 @@
             <property role="TrG5h" value="mempty" />
           </node>
           <node concept="aFS0r" id="2O9ahh6x9D0" role="3TPQk">
-            <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="a" />
+            <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="z" />
           </node>
         </node>
       </node>
@@ -3873,20 +4018,668 @@
           </node>
           <node concept="1jz_ff" id="2O9ahh6x9D3" role="3TPQk">
             <node concept="aFS0r" id="2O9ahh6x9D5" role="1jz_fp">
-              <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="a" />
+              <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="z" />
             </node>
             <node concept="1jz_ff" id="2O9ahh6x9D7" role="1jz_f_">
               <node concept="aFS0r" id="2O9ahh6x9Db" role="1jz_f_">
-                <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="a" />
+                <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="z" />
               </node>
               <node concept="aFS0r" id="2O9ahh6Eviq" role="1jz_fp">
-                <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="a" />
+                <ref role="aFS0e" node="2O9ahh6x9Ch" resolve="z" />
               </node>
             </node>
           </node>
         </node>
       </node>
     </node>
+    <node concept="1DVJbV" id="47tET_WhdQY" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WhdR0" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WhdR2" role="1DVIrJ">
+          <property role="TrG5h" value="cc1" />
+        </node>
+        <node concept="1DVIrU" id="47tET_WhdSP" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_WhdSQ" role="1DVIr_">
+            <node concept="1DVIoH" id="47tET_WhdSR" role="1DVIrA">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="1DVIo5" id="47tET_WhdTl" role="1DVIrw">
+            <node concept="1DVIo5" id="47tET_WhdTp" role="1DVIo4">
+              <node concept="t0$VC" id="47tET_WhdTt" role="1DVIo4">
+                <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+              </node>
+              <node concept="t0$VC" id="47tET_WhdU2" role="1DVIo8">
+                <ref role="t0$VJ" node="47tET_WhdSR" resolve="x" />
+              </node>
+            </node>
+            <node concept="t0$VC" id="47tET_WhdTX" role="1DVIo8">
+              <ref role="t0$VJ" node="47tET_WhdSR" resolve="x" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WsCzY" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WsCzZ" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WsC$0" role="1DVIrJ">
+          <property role="TrG5h" value="cc1a_bad" />
+        </node>
+        <node concept="3TPRf" id="47tET_WsC$1" role="1DVIrD">
+          <node concept="1DVIrU" id="47tET_WsC$2" role="3TPR0">
+            <node concept="1DVIrB" id="47tET_WsC$3" role="1DVIr_">
+              <node concept="1DVIoH" id="47tET_WsC$4" role="1DVIrA">
+                <property role="TrG5h" value="x" />
+              </node>
+            </node>
+            <node concept="1DVIo5" id="47tET_WsC$5" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_WsC$6" role="1DVIo4">
+                <node concept="t0$VC" id="47tET_WsC$7" role="1DVIo4">
+                  <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+                </node>
+                <node concept="t0$VC" id="47tET_WsC$8" role="1DVIo8">
+                  <ref role="t0$VJ" node="47tET_WsC$4" resolve="x" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="47tET_WsC$9" role="1DVIo8">
+                <ref role="t0$VJ" node="47tET_WsC$4" resolve="x" />
+              </node>
+            </node>
+          </node>
+          <node concept="3JbUGG" id="47tET_WsC$a" role="3TPQk">
+            <node concept="1FkZV4" id="47tET_WsC$b" role="1FkZ4g">
+              <ref role="1FvTW1" node="47tET_WsC$c" resolve="a" />
+              <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+            </node>
+            <node concept="2BbKIm" id="47tET_WsC$c" role="5lUUh">
+              <property role="TrG5h" value="a" />
+            </node>
+            <node concept="1jz_ff" id="47tET_WsC$d" role="3JbKvY">
+              <node concept="aFS0r" id="47tET_WsC$e" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_WsC$c" resolve="a" />
+              </node>
+              <node concept="aFS0r" id="47tET_WsC$f" role="1jz_f_">
+                <ref role="aFS0e" node="47tET_WsC$c" resolve="a" />
+              </node>
+            </node>
+          </node>
+          <node concept="1U20sH" id="47tET_WwUvE" role="lGtFl">
+            <property role="1U20sK" value="error" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WsB1o" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WsB1p" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WsB1q" role="1DVIrJ">
+          <property role="TrG5h" value="cc1a" />
+        </node>
+        <node concept="3TPRf" id="47tET_WsB1r" role="1DVIrD">
+          <node concept="1DVIrU" id="47tET_WsB1s" role="3TPR0">
+            <node concept="1DVIrB" id="47tET_WsB1t" role="1DVIr_">
+              <node concept="1DVIoH" id="47tET_WsB1u" role="1DVIrA">
+                <property role="TrG5h" value="x" />
+              </node>
+            </node>
+            <node concept="1DVIo5" id="47tET_WsB1v" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_WsB1w" role="1DVIo4">
+                <node concept="t0$VC" id="47tET_WsB1x" role="1DVIo4">
+                  <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+                </node>
+                <node concept="t0$VC" id="47tET_WsB1y" role="1DVIo8">
+                  <ref role="t0$VJ" node="47tET_WsB1u" resolve="x" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="47tET_WsB1z" role="1DVIo8">
+                <ref role="t0$VJ" node="47tET_WsB1u" resolve="x" />
+              </node>
+            </node>
+          </node>
+          <node concept="3JbUGG" id="47tET_WsB1$" role="3TPQk">
+            <node concept="1FkZV4" id="47tET_WsB1_" role="1FkZ4g">
+              <ref role="1FvTW1" node="47tET_WsB1A" resolve="a" />
+              <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+            </node>
+            <node concept="1FkZV4" id="47tET_WsB3J" role="1FkZ4g">
+              <ref role="1FkZV7" node="2O9ahh6x9Cg" resolve="Monoid" />
+              <ref role="1FvTW1" node="47tET_WsB1A" resolve="a" />
+            </node>
+            <node concept="2BbKIm" id="47tET_WsB1A" role="5lUUh">
+              <property role="TrG5h" value="a" />
+            </node>
+            <node concept="1jz_ff" id="47tET_WsB1B" role="3JbKvY">
+              <node concept="aFS0r" id="47tET_WsB1C" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_WsB1A" resolve="a" />
+              </node>
+              <node concept="aFS0r" id="47tET_WsB1D" role="1jz_f_">
+                <ref role="aFS0e" node="47tET_WsB1A" resolve="a" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WsCQY" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WsCQZ" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WsCR0" role="1DVIrJ">
+          <property role="TrG5h" value="cc2" />
+        </node>
+        <node concept="1DVIrH" id="47tET_WsCR1" role="1DVIrD">
+          <node concept="1DVIrG" id="47tET_WsCR5" role="1DVIrE">
+            <node concept="3TPQf" id="47tET_WsCR6" role="1DVIrJ">
+              <node concept="1DVIoH" id="47tET_WsCR7" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="3JbUGG" id="47tET_WsCR8" role="3TPQk">
+                <node concept="2BbKIm" id="47tET_WsCUa" role="5lUUh">
+                  <property role="TrG5h" value="a" />
+                </node>
+                <node concept="1jz_ff" id="47tET_WsCVf" role="3JbKvY">
+                  <node concept="aFS0r" id="47tET_WsCVh" role="1jz_fp">
+                    <ref role="aFS0e" node="47tET_WsCUa" resolve="a" />
+                  </node>
+                  <node concept="3P8Jbz" id="47tET_WsCVj" role="1jz_f_" />
+                </node>
+              </node>
+            </node>
+            <node concept="1DVIrU" id="47tET_WsCVl" role="1DVIrD">
+              <node concept="1DVIrB" id="47tET_WsCVm" role="1DVIr_">
+                <node concept="1DVIoH" id="47tET_WsCVn" role="1DVIrA">
+                  <property role="TrG5h" value="xx" />
+                </node>
+              </node>
+              <node concept="3P8MHP" id="47tET_WsCVr" role="1DVIrw" />
+            </node>
+          </node>
+          <node concept="1DVIo5" id="47tET_WsCUt" role="1DVIrk">
+            <node concept="1DVIo5" id="47tET_WsCUu" role="1DVIo4">
+              <node concept="t0$VC" id="47tET_WsCUv" role="1DVIo4">
+                <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+              </node>
+              <node concept="t0$VC" id="47tET_WsCUE" role="1DVIo8">
+                <ref role="t0$VJ" node="47tET_WsCR6" resolve="x" />
+              </node>
+            </node>
+            <node concept="t0$VC" id="47tET_WsCUB" role="1DVIo8">
+              <ref role="t0$VJ" node="47tET_WsCR6" resolve="x" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_Wha2g" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_Wha2h" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_Wha2i" role="1DVIrJ">
+          <property role="TrG5h" value="cc3" />
+        </node>
+        <node concept="1DVIrU" id="47tET_Wha2j" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_Wha2k" role="1DVIr_">
+            <node concept="3TPQf" id="47tET_Wha2l" role="1DVIrA">
+              <node concept="1DVIoH" id="47tET_Wha2m" role="3TPQ0">
+                <property role="TrG5h" value="p1" />
+              </node>
+              <node concept="3JbUGG" id="47tET_Wha2n" role="3TPQk">
+                <node concept="1FkZV4" id="47tET_Whale" role="1FkZ4g">
+                  <ref role="1FvTW1" node="47tET_Wha2o" resolve="a" />
+                  <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+                </node>
+                <node concept="1FkZV4" id="47tET_Whalg" role="1FkZ4g">
+                  <ref role="1FkZV7" node="47tET_Whae3" resolve="C2" />
+                  <ref role="1FvTW1" node="47tET_Wha2p" resolve="b" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Wha2o" role="5lUUh">
+                  <property role="TrG5h" value="a" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Wha2p" role="5lUUh">
+                  <property role="TrG5h" value="b" />
+                </node>
+                <node concept="3EVAj" id="47tET_Wha2q" role="3JbKvY">
+                  <node concept="aFS0r" id="47tET_Wha2r" role="3EVAk">
+                    <ref role="aFS0e" node="47tET_Wha2o" resolve="a" />
+                  </node>
+                  <node concept="aFS0r" id="47tET_Wha2s" role="3EVAi">
+                    <ref role="aFS0e" node="47tET_Wha2p" resolve="b" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="47tET_Wha2t" role="1DVIrw">
+            <node concept="t0$VC" id="47tET_Wha2u" role="3TPR0">
+              <ref role="t0$VJ" node="47tET_Wha2l" resolve="p1" />
+            </node>
+            <node concept="3JbUGG" id="47tET_Wha2v" role="3TPQk">
+              <node concept="1FkZV4" id="47tET_Whalj" role="1FkZ4g">
+                <ref role="1FvTW1" node="47tET_Wha2w" resolve="a" />
+                <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+              </node>
+              <node concept="1FkZV4" id="47tET_Whall" role="1FkZ4g">
+                <ref role="1FkZV7" node="47tET_Whae3" resolve="C2" />
+                <ref role="1FvTW1" node="47tET_Wha2w" resolve="a" />
+              </node>
+              <node concept="2BbKIm" id="47tET_Wha2w" role="5lUUh">
+                <property role="TrG5h" value="a" />
+              </node>
+              <node concept="3EVAj" id="47tET_Wha2x" role="3JbKvY">
+                <node concept="aFS0r" id="47tET_Wha2y" role="3EVAk">
+                  <ref role="aFS0e" node="47tET_Wha2w" resolve="a" />
+                </node>
+                <node concept="aFS0r" id="47tET_Wha2z" role="3EVAi">
+                  <ref role="aFS0e" node="47tET_Wha2w" resolve="a" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_Whalo" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_Whalp" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_Whalq" role="1DVIrJ">
+          <property role="TrG5h" value="cc3_bad" />
+        </node>
+        <node concept="1DVIrU" id="47tET_Whalr" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_Whals" role="1DVIr_">
+            <node concept="3TPQf" id="47tET_Whalt" role="1DVIrA">
+              <node concept="1DVIoH" id="47tET_Whalu" role="3TPQ0">
+                <property role="TrG5h" value="p1" />
+              </node>
+              <node concept="3JbUGG" id="47tET_Whalv" role="3TPQk">
+                <node concept="1FkZV4" id="47tET_Whalw" role="1FkZ4g">
+                  <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+                  <ref role="1FvTW1" node="47tET_Whaly" resolve="a" />
+                </node>
+                <node concept="1FkZV4" id="47tET_Whalx" role="1FkZ4g">
+                  <ref role="1FvTW1" node="47tET_Whalz" resolve="b" />
+                  <ref role="1FkZV7" node="47tET_Whae3" resolve="C2" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Whaly" role="5lUUh">
+                  <property role="TrG5h" value="a" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Whalz" role="5lUUh">
+                  <property role="TrG5h" value="b" />
+                </node>
+                <node concept="3EVAj" id="47tET_Whal$" role="3JbKvY">
+                  <node concept="aFS0r" id="47tET_Whal_" role="3EVAk">
+                    <ref role="aFS0e" node="47tET_Whaly" resolve="a" />
+                  </node>
+                  <node concept="aFS0r" id="47tET_WhalA" role="3EVAi">
+                    <ref role="aFS0e" node="47tET_Whalz" resolve="b" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="47tET_WhalB" role="1DVIrw">
+            <node concept="t0$VC" id="47tET_WhalC" role="3TPR0">
+              <ref role="t0$VJ" node="47tET_Whalt" resolve="p1" />
+            </node>
+            <node concept="3JbUGG" id="47tET_WhalD" role="3TPQk">
+              <node concept="1FkZV4" id="47tET_WhalE" role="1FkZ4g">
+                <ref role="1FvTW1" node="47tET_WhalG" resolve="a" />
+                <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+              </node>
+              <node concept="2BbKIm" id="47tET_WhalG" role="5lUUh">
+                <property role="TrG5h" value="a" />
+              </node>
+              <node concept="3EVAj" id="47tET_WhalH" role="3JbKvY">
+                <node concept="aFS0r" id="47tET_WhalI" role="3EVAk">
+                  <ref role="aFS0e" node="47tET_WhalG" resolve="a" />
+                </node>
+                <node concept="aFS0r" id="47tET_WhalJ" role="3EVAi">
+                  <ref role="aFS0e" node="47tET_WhalG" resolve="a" />
+                </node>
+              </node>
+            </node>
+            <node concept="1U20sH" id="47tET_WwUua" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_Whaod" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_Whaoe" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_Whaof" role="1DVIrJ">
+          <property role="TrG5h" value="cc4" />
+        </node>
+        <node concept="1DVIrU" id="47tET_Whaog" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_Whaoh" role="1DVIr_">
+            <node concept="3TPQf" id="47tET_Whaoi" role="1DVIrA">
+              <node concept="1DVIoH" id="47tET_Whaoj" role="3TPQ0">
+                <property role="TrG5h" value="p1" />
+              </node>
+              <node concept="3JbUGG" id="47tET_Whaok" role="3TPQk">
+                <node concept="1FkZV4" id="47tET_Whaol" role="1FkZ4g">
+                  <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+                  <ref role="1FvTW1" node="47tET_Whaon" resolve="a" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Whaon" role="5lUUh">
+                  <property role="TrG5h" value="a" />
+                </node>
+                <node concept="2BbKIm" id="47tET_Whaoo" role="5lUUh">
+                  <property role="TrG5h" value="b" />
+                </node>
+                <node concept="3EVAj" id="47tET_Whaop" role="3JbKvY">
+                  <node concept="aFS0r" id="47tET_Whaoq" role="3EVAk">
+                    <ref role="aFS0e" node="47tET_Whaon" resolve="a" />
+                  </node>
+                  <node concept="aFS0r" id="47tET_Whaor" role="3EVAi">
+                    <ref role="aFS0e" node="47tET_Whaoo" resolve="b" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="47tET_Whaos" role="1DVIrw">
+            <node concept="t0$VC" id="47tET_Whaot" role="3TPR0">
+              <ref role="t0$VJ" node="47tET_Whaoi" resolve="p1" />
+            </node>
+            <node concept="3JbUGG" id="47tET_Whaou" role="3TPQk">
+              <node concept="1FkZV4" id="47tET_Whaov" role="1FkZ4g">
+                <ref role="1FvTW1" node="47tET_Whaox" resolve="a" />
+                <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+              </node>
+              <node concept="1FkZV4" id="47tET_Whaow" role="1FkZ4g">
+                <ref role="1FkZV7" node="47tET_Whae3" resolve="C2" />
+                <ref role="1FvTW1" node="47tET_Whaox" resolve="a" />
+              </node>
+              <node concept="2BbKIm" id="47tET_Whaox" role="5lUUh">
+                <property role="TrG5h" value="a" />
+              </node>
+              <node concept="3EVAj" id="47tET_Whaoy" role="3JbKvY">
+                <node concept="aFS0r" id="47tET_Whaoz" role="3EVAk">
+                  <ref role="aFS0e" node="47tET_Whaox" resolve="a" />
+                </node>
+                <node concept="aFS0r" id="47tET_Whao$" role="3EVAi">
+                  <ref role="aFS0e" node="47tET_Whaox" resolve="a" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WhddQ" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WhddR" role="j9CMd">
+        <node concept="1DVIrU" id="47tET_WhddS" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_WhddT" role="1DVIr_">
+            <node concept="1DVIoH" id="47tET_WhddU" role="1DVIrA">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_WhddV" role="1DVIrw">
+            <node concept="1DVIrB" id="47tET_WhddW" role="1DVIr_">
+              <node concept="3TPQf" id="47tET_WhddX" role="1DVIrA">
+                <node concept="1DVIoH" id="47tET_WhddY" role="3TPQ0">
+                  <property role="TrG5h" value="g" />
+                </node>
+                <node concept="3JbUGG" id="47tET_WhddZ" role="3TPQk">
+                  <node concept="1FkZV4" id="47tET_Whdib" role="1FkZ4g">
+                    <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+                    <ref role="1FvTW1" node="47tET_Whde6" resolve="c" />
+                  </node>
+                  <node concept="1jz_ff" id="47tET_Whde0" role="3JbKvY">
+                    <node concept="3EVAj" id="47tET_Whde1" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_Whde2" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_Whde5" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_Whde3" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_Whde6" resolve="c" />
+                      </node>
+                    </node>
+                    <node concept="aFS0r" id="47tET_Whde4" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_Whde5" resolve="b" />
+                    </node>
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Whde5" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Whde6" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3EUms" id="47tET_Whde7" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_Whde8" role="3EUmv">
+                <node concept="3P8L2H" id="47tET_Whde9" role="1DVIo8" />
+                <node concept="3TPRf" id="47tET_Whdea" role="1DVIo4">
+                  <node concept="t0$VC" id="47tET_Whdeb" role="3TPR0">
+                    <ref role="t0$VJ" node="47tET_WhddX" resolve="g" />
+                  </node>
+                  <node concept="3JbUGG" id="47tET_Whdec" role="3TPQk">
+                    <node concept="1jz_ff" id="47tET_Whded" role="3JbKvY">
+                      <node concept="aFS0r" id="47tET_Whdee" role="1jz_fp">
+                        <ref role="aFS0e" node="47tET_Whdei" resolve="d" />
+                      </node>
+                      <node concept="3EVAj" id="47tET_Whdef" role="1jz_f_">
+                        <node concept="aFS0r" id="47tET_Whdeg" role="3EVAi">
+                          <ref role="aFS0e" node="47tET_Whdei" resolve="d" />
+                        </node>
+                        <node concept="aFS0r" id="47tET_Whdeh" role="3EVAk">
+                          <ref role="aFS0e" node="47tET_WhdeJ" resolve="a" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2BbKIm" id="47tET_Whdei" role="5lUUh">
+                      <property role="TrG5h" value="d" />
+                    </node>
+                  </node>
+                  <node concept="1U20sH" id="47tET_WwUys" role="lGtFl">
+                    <property role="1U20sK" value="error" />
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIo5" id="47tET_Whdej" role="3EUmh">
+                <node concept="t0$VC" id="47tET_Whdek" role="1DVIo4">
+                  <ref role="t0$VJ" node="47tET_WhddX" resolve="g" />
+                </node>
+                <node concept="3EUms" id="47tET_Whdel" role="1DVIo8">
+                  <node concept="3P8MHP" id="47tET_Whdem" role="3EUmv" />
+                  <node concept="3P8MHP" id="47tET_Whden" role="3EUmh" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3TPQf" id="47tET_Whdeo" role="1DVIrJ">
+          <node concept="1DVIoH" id="47tET_Whdep" role="3TPQ0">
+            <property role="TrG5h" value="qq_lb4_bad" />
+          </node>
+          <node concept="3JbUGG" id="47tET_Whdeq" role="3TPQk">
+            <node concept="1jz_ff" id="47tET_Whder" role="3JbKvY">
+              <node concept="aFS0r" id="47tET_Whdes" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_WhdeJ" resolve="a" />
+              </node>
+              <node concept="1jz_ff" id="47tET_Whdet" role="1jz_f_">
+                <node concept="3EVAj" id="47tET_Whdeu" role="1jz_f_">
+                  <node concept="3EVAj" id="47tET_Whdev" role="3EVAk">
+                    <node concept="aFS0r" id="47tET_Whdew" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_WhdeJ" resolve="a" />
+                    </node>
+                    <node concept="3P8Jbz" id="47tET_Whdex" role="3EVAi" />
+                  </node>
+                  <node concept="3EVAj" id="47tET_Whdey" role="3EVAi">
+                    <node concept="aFS0r" id="47tET_Whdez" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_WhdeJ" resolve="a" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_Whde$" role="3EVAi">
+                      <node concept="3P8Jbz" id="47tET_Whde_" role="3EVAk" />
+                      <node concept="3P8Jbz" id="47tET_WhdeA" role="3EVAi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3JbUGG" id="47tET_WhdeB" role="1jz_fp">
+                  <node concept="1FkZV4" id="47tET_WhdMl" role="1FkZ4g">
+                    <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+                    <ref role="1FvTW1" node="47tET_WhdeD" resolve="c" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_WhdeC" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_WhdeD" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                  <node concept="1jz_ff" id="47tET_WhdeE" role="3JbKvY">
+                    <node concept="aFS0r" id="47tET_WhdeF" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_WhdeC" resolve="b" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_WhdeG" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_WhdeH" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_WhdeC" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_WhdeI" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_WhdeD" resolve="c" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2BbKIm" id="47tET_WhdeJ" role="5lUUh">
+              <property role="TrG5h" value="a" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_Whdid" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_Whdie" role="j9CMd">
+        <node concept="1DVIrU" id="47tET_Whdif" role="1DVIrD">
+          <node concept="1DVIrB" id="47tET_Whdig" role="1DVIr_">
+            <node concept="1DVIoH" id="47tET_Whdih" role="1DVIrA">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_Whdii" role="1DVIrw">
+            <node concept="1DVIrB" id="47tET_Whdij" role="1DVIr_">
+              <node concept="3TPQf" id="47tET_Whdik" role="1DVIrA">
+                <node concept="1DVIoH" id="47tET_Whdil" role="3TPQ0">
+                  <property role="TrG5h" value="g" />
+                </node>
+                <node concept="3JbUGG" id="47tET_Whdim" role="3TPQk">
+                  <node concept="1jz_ff" id="47tET_Whdio" role="3JbKvY">
+                    <node concept="3EVAj" id="47tET_Whdip" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_Whdiq" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_Whdit" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_Whdir" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_Whdiu" resolve="c" />
+                      </node>
+                    </node>
+                    <node concept="aFS0r" id="47tET_Whdis" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_Whdit" resolve="b" />
+                    </node>
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Whdit" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Whdiu" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3EUms" id="47tET_Whdiv" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_Whdiw" role="3EUmv">
+                <node concept="3P8L2H" id="47tET_Whdix" role="1DVIo8" />
+                <node concept="3TPRf" id="47tET_Whdiy" role="1DVIo4">
+                  <node concept="t0$VC" id="47tET_Whdiz" role="3TPR0">
+                    <ref role="t0$VJ" node="47tET_Whdik" resolve="g" />
+                  </node>
+                  <node concept="3JbUGG" id="47tET_Whdi$" role="3TPQk">
+                    <node concept="1jz_ff" id="47tET_Whdi_" role="3JbKvY">
+                      <node concept="aFS0r" id="47tET_WhdiA" role="1jz_fp">
+                        <ref role="aFS0e" node="47tET_WhdiE" resolve="d" />
+                      </node>
+                      <node concept="3EVAj" id="47tET_WhdiB" role="1jz_f_">
+                        <node concept="aFS0r" id="47tET_WhdiC" role="3EVAi">
+                          <ref role="aFS0e" node="47tET_WhdiE" resolve="d" />
+                        </node>
+                        <node concept="aFS0r" id="47tET_WhdiD" role="3EVAk">
+                          <ref role="aFS0e" node="47tET_Whdj8" resolve="a" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="2BbKIm" id="47tET_WhdiE" role="5lUUh">
+                      <property role="TrG5h" value="d" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIo5" id="47tET_WhdiF" role="3EUmh">
+                <node concept="t0$VC" id="47tET_WhdiG" role="1DVIo4">
+                  <ref role="t0$VJ" node="47tET_Whdik" resolve="g" />
+                </node>
+                <node concept="3EUms" id="47tET_WhdiH" role="1DVIo8">
+                  <node concept="3P8MHP" id="47tET_WhdiI" role="3EUmv" />
+                  <node concept="3P8MHP" id="47tET_WhdiJ" role="3EUmh" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3TPQf" id="47tET_WhdiK" role="1DVIrJ">
+          <node concept="1DVIoH" id="47tET_WhdiL" role="3TPQ0">
+            <property role="TrG5h" value="qq_lb4" />
+          </node>
+          <node concept="3JbUGG" id="47tET_WhdiM" role="3TPQk">
+            <node concept="1FkZV4" id="47tET_WhdiN" role="1FkZ4g">
+              <ref role="1FvTW1" node="47tET_Whdj8" resolve="a" />
+              <ref role="1FkZV7" node="47tET_Wha9b" resolve="C1" />
+            </node>
+            <node concept="1jz_ff" id="47tET_WhdiO" role="3JbKvY">
+              <node concept="aFS0r" id="47tET_WhdiP" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_Whdj8" resolve="a" />
+              </node>
+              <node concept="1jz_ff" id="47tET_WhdiQ" role="1jz_f_">
+                <node concept="3EVAj" id="47tET_WhdiR" role="1jz_f_">
+                  <node concept="3EVAj" id="47tET_WhdiS" role="3EVAk">
+                    <node concept="aFS0r" id="47tET_WhdiT" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_Whdj8" resolve="a" />
+                    </node>
+                    <node concept="3P8Jbz" id="47tET_WhdiU" role="3EVAi" />
+                  </node>
+                  <node concept="3EVAj" id="47tET_WhdiV" role="3EVAi">
+                    <node concept="aFS0r" id="47tET_WhdiW" role="3EVAk">
+                      <ref role="aFS0e" node="47tET_Whdj8" resolve="a" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_WhdiX" role="3EVAi">
+                      <node concept="3P8Jbz" id="47tET_WhdiY" role="3EVAk" />
+                      <node concept="3P8Jbz" id="47tET_WhdiZ" role="3EVAi" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3JbUGG" id="47tET_Whdj0" role="1jz_fp">
+                  <node concept="2BbKIm" id="47tET_Whdj1" role="5lUUh">
+                    <property role="TrG5h" value="b" />
+                  </node>
+                  <node concept="2BbKIm" id="47tET_Whdj2" role="5lUUh">
+                    <property role="TrG5h" value="c" />
+                  </node>
+                  <node concept="1jz_ff" id="47tET_Whdj3" role="3JbKvY">
+                    <node concept="aFS0r" id="47tET_Whdj4" role="1jz_fp">
+                      <ref role="aFS0e" node="47tET_Whdj1" resolve="b" />
+                    </node>
+                    <node concept="3EVAj" id="47tET_Whdj5" role="1jz_f_">
+                      <node concept="aFS0r" id="47tET_Whdj6" role="3EVAi">
+                        <ref role="aFS0e" node="47tET_Whdj1" resolve="b" />
+                      </node>
+                      <node concept="aFS0r" id="47tET_Whdj7" role="3EVAk">
+                        <ref role="aFS0e" node="47tET_Whdj2" resolve="c" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2BbKIm" id="47tET_Whdj8" role="5lUUh">
+              <property role="TrG5h" value="a" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1FkZNw" id="2O9ahh6znzy" role="1DVIru">
       <ref role="1FkZWm" node="2O9ahh6x9Cg" resolve="Monoid" />
       <node concept="1FkZNI" id="2O9ahh6Et5O" role="1FkZNz">
@@ -3953,7 +4746,7 @@
       </node>
       <node concept="1FkZNI" id="2O9ahh6Et5S" role="1FkZNz">
         <ref role="1FkZND" node="2O9ahh6x9CE" resolve="mempty" />
-        <node concept="3P8L2H" id="2O9ahh6Evjw" role="1FkZNF" />
+        <node concept="3P8L2H" id="47tET_WAbJL" role="1FkZNF" />
       </node>
       <node concept="3JbUGG" id="2O9ahh6znz$" role="1FkZNx">
         <node concept="3P8Jbz" id="2O9ahh6$Ael" role="3JbKvY" />
@@ -4058,12 +4851,12 @@
       </node>
       <node concept="3JbUGG" id="2O9ahh6H2xJ" role="1FkZNx">
         <node concept="1FkZV4" id="47tET_W69wT" role="1FkZ4g">
-          <ref role="1FkZV7" node="2O9ahh6x9Cg" resolve="Monoid" />
           <ref role="1FvTW1" node="2O9ahh6H2yQ" resolve="b" />
+          <ref role="1FkZV7" node="2O9ahh6x9Cg" resolve="Monoid" />
         </node>
         <node concept="1FkZV4" id="2O9ahh6H2yZ" role="1FkZ4g">
-          <ref role="1FkZV7" node="2O9ahh6x9Cg" resolve="Monoid" />
           <ref role="1FvTW1" node="2O9ahh6H2yQ" resolve="b" />
+          <ref role="1FkZV7" node="2O9ahh6x9Cg" resolve="Monoid" />
         </node>
         <node concept="2BbKIm" id="2O9ahh6H2yO" role="5lUUh">
           <property role="TrG5h" value="a" />
@@ -4081,6 +4874,412 @@
         </node>
       </node>
     </node>
+    <node concept="1DVJbV" id="47tET_WwUC8" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WwUCa" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WwUCc" role="1DVIrJ">
+          <property role="TrG5h" value="ii1" />
+        </node>
+        <node concept="1DVIo5" id="47tET_WwUI3" role="1DVIrD">
+          <node concept="3P8MHP" id="47tET_WwUId" role="1DVIo8" />
+          <node concept="1DVIo5" id="47tET_WwUIi" role="1DVIo4">
+            <node concept="t0$VC" id="47tET_WwUHW" role="1DVIo4">
+              <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+            </node>
+            <node concept="3P8MHP" id="47tET_WwVcg" role="1DVIo8" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WwVlm" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WwVln" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WwVlo" role="1DVIrJ">
+          <property role="TrG5h" value="ii1_bad" />
+        </node>
+        <node concept="1DVIo5" id="47tET_WwVlp" role="1DVIrD">
+          <node concept="1DVIo5" id="47tET_WwVlq" role="1DVIo4">
+            <node concept="t0$VC" id="47tET_WwVlr" role="1DVIo4">
+              <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+            </node>
+            <node concept="3EUms" id="47tET_WwVs8" role="1DVIo8">
+              <node concept="3P8L2H" id="47tET_WwVsa" role="3EUmv" />
+              <node concept="3P8L2H" id="47tET_WwVsc" role="3EUmh" />
+            </node>
+          </node>
+          <node concept="3EUms" id="47tET_WwVs0" role="1DVIo8">
+            <node concept="3P8L2H" id="47tET_WwVs2" role="3EUmv" />
+            <node concept="3P8L2H" id="47tET_WwVs4" role="3EUmh" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WwVeW" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WwVeX" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WwVeY" role="1DVIrJ">
+          <property role="TrG5h" value="ii2" />
+        </node>
+        <node concept="1DVIo5" id="47tET_WwVeZ" role="1DVIrD">
+          <node concept="1DVIo5" id="47tET_WwVf0" role="1DVIo4">
+            <node concept="t0$VC" id="47tET_WwVf1" role="1DVIo4">
+              <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+            </node>
+            <node concept="1DVIrU" id="47tET_WwVf2" role="1DVIo8">
+              <node concept="1DVIrB" id="47tET_WwVf3" role="1DVIr_">
+                <node concept="1DVIoH" id="47tET_WwVf4" role="1DVIrA">
+                  <property role="TrG5h" value="x" />
+                </node>
+              </node>
+              <node concept="3P8MHP" id="47tET_WwVtI" role="1DVIrw" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_WwVf6" role="1DVIo8">
+            <node concept="1DVIrB" id="47tET_WwVf7" role="1DVIr_">
+              <node concept="1DVIoH" id="47tET_WwVf8" role="1DVIrA">
+                <property role="TrG5h" value="y" />
+              </node>
+            </node>
+            <node concept="3P8MHP" id="47tET_WwVtN" role="1DVIrw" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1DVJbV" id="47tET_WwV6e" role="1DVIru">
+      <node concept="1DVIrG" id="47tET_WwV6f" role="j9CMd">
+        <node concept="1DVIoH" id="47tET_WwV6g" role="1DVIrJ">
+          <property role="TrG5h" value="ii2_bad" />
+        </node>
+        <node concept="1DVIo5" id="47tET_WwV6h" role="1DVIrD">
+          <node concept="1DVIo5" id="47tET_WwV6j" role="1DVIo4">
+            <node concept="t0$VC" id="47tET_WwV6k" role="1DVIo4">
+              <ref role="t0$VJ" node="2O9ahh6x9Cr" resolve="mappend" />
+            </node>
+            <node concept="1DVIrU" id="47tET_WwVd8" role="1DVIo8">
+              <node concept="1DVIrB" id="47tET_WwVd9" role="1DVIr_">
+                <node concept="1DVIoH" id="47tET_WwVda" role="1DVIrA">
+                  <property role="TrG5h" value="x" />
+                </node>
+              </node>
+              <node concept="t0$VC" id="47tET_WwVde" role="1DVIrw">
+                <ref role="t0$VJ" node="47tET_WwVda" resolve="x" />
+              </node>
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_WwVdg" role="1DVIo8">
+            <node concept="1DVIrB" id="47tET_WwVdh" role="1DVIr_">
+              <node concept="1DVIoH" id="47tET_WwVdi" role="1DVIrA">
+                <property role="TrG5h" value="y" />
+              </node>
+            </node>
+            <node concept="t0$VC" id="47tET_WwVdm" role="1DVIrw">
+              <ref role="t0$VJ" node="47tET_WwVdi" resolve="y" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1DVIrt" id="47tET_WGoBb">
+    <property role="TrG5h" value="Typeclasses" />
+    <node concept="1FkZNM" id="47tET_WGoBc" role="1DVIru">
+      <property role="TrG5h" value="Monoid1" />
+      <node concept="2BbKIm" id="47tET_WGoBd" role="1FkZN_">
+        <property role="TrG5h" value="z" />
+      </node>
+      <node concept="1FkZNY" id="47tET_WGoBe" role="1FkZNV">
+        <node concept="3TPQf" id="47tET_WGoBf" role="1FkZNT">
+          <node concept="1DVIoH" id="47tET_WGoBg" role="3TPQ0">
+            <property role="TrG5h" value="mempty" />
+          </node>
+          <node concept="aFS0r" id="47tET_WGoBh" role="3TPQk">
+            <ref role="aFS0e" node="47tET_WGoBd" resolve="z" />
+          </node>
+        </node>
+      </node>
+      <node concept="1FkZNY" id="47tET_WGoBi" role="1FkZNV">
+        <node concept="3TPQf" id="47tET_WGoBj" role="1FkZNT">
+          <node concept="1DVIoH" id="47tET_WGoBk" role="3TPQ0">
+            <property role="TrG5h" value="mappend" />
+          </node>
+          <node concept="1jz_ff" id="47tET_WGoBl" role="3TPQk">
+            <node concept="aFS0r" id="47tET_WGoBm" role="1jz_fp">
+              <ref role="aFS0e" node="47tET_WGoBd" resolve="z" />
+            </node>
+            <node concept="1jz_ff" id="47tET_WGoBn" role="1jz_f_">
+              <node concept="aFS0r" id="47tET_WGoBo" role="1jz_f_">
+                <ref role="aFS0e" node="47tET_WGoBd" resolve="z" />
+              </node>
+              <node concept="aFS0r" id="47tET_WGoBp" role="1jz_fp">
+                <ref role="aFS0e" node="47tET_WGoBd" resolve="z" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1FkZNw" id="47tET_WGoBC" role="1DVIru">
+      <ref role="1FkZWm" node="47tET_WGoBc" resolve="Monoid1" />
+      <node concept="1FkZNI" id="47tET_WGoBD" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBi" resolve="mappend" />
+        <node concept="1DVIrU" id="47tET_WGoBE" role="1FkZNF">
+          <node concept="1DVIrB" id="47tET_WGoBF" role="1DVIr_">
+            <node concept="1DVIoH" id="47tET_WGoBG" role="1DVIrA">
+              <property role="TrG5h" value="a" />
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_WGoBH" role="1DVIrw">
+            <node concept="1DVIrB" id="47tET_WGoBI" role="1DVIr_">
+              <node concept="1DVIoH" id="47tET_WGoBJ" role="1DVIrA">
+                <property role="TrG5h" value="b" />
+              </node>
+            </node>
+            <node concept="1DVIrH" id="47tET_WGoBK" role="1DVIrw">
+              <node concept="1DVIo5" id="47tET_WGoBL" role="1DVIrk">
+                <node concept="t0$VC" id="47tET_WGoBM" role="1DVIo8">
+                  <ref role="t0$VJ" node="47tET_WGoBJ" resolve="b" />
+                </node>
+                <node concept="1DVIo5" id="47tET_WGoBN" role="1DVIo4">
+                  <node concept="t0$VC" id="47tET_WGoBO" role="1DVIo8">
+                    <ref role="t0$VJ" node="47tET_WGoBG" resolve="a" />
+                  </node>
+                  <node concept="t0$VC" id="47tET_WGoBP" role="1DVIo4">
+                    <ref role="t0$VJ" node="47tET_WGoBR" resolve="and" />
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIrG" id="47tET_WGoBQ" role="1DVIrE">
+                <node concept="1DVIoH" id="47tET_WGoBR" role="1DVIrJ">
+                  <property role="TrG5h" value="and" />
+                </node>
+                <node concept="1DVIrU" id="47tET_WGoBS" role="1DVIrD">
+                  <node concept="1DVIrB" id="47tET_WGoBT" role="1DVIr_">
+                    <node concept="1DVIoH" id="47tET_WGoBU" role="1DVIrA">
+                      <property role="TrG5h" value="a" />
+                    </node>
+                  </node>
+                  <node concept="1DVIrU" id="47tET_WGoBV" role="1DVIrw">
+                    <node concept="1DVIrB" id="47tET_WGoBW" role="1DVIr_">
+                      <node concept="1DVIoH" id="47tET_WGoBX" role="1DVIrA">
+                        <property role="TrG5h" value="b" />
+                      </node>
+                    </node>
+                    <node concept="FlqVS" id="47tET_WGoBY" role="1DVIrw">
+                      <node concept="t0$VC" id="47tET_WGoBZ" role="FlqVt">
+                        <ref role="t0$VJ" node="47tET_WGoBU" resolve="a" />
+                      </node>
+                      <node concept="t0$VC" id="47tET_WGoC0" role="FlqVr">
+                        <ref role="t0$VJ" node="47tET_WGoBX" resolve="b" />
+                      </node>
+                      <node concept="t0$VC" id="47tET_WGoC1" role="FlqVm">
+                        <ref role="t0$VJ" node="47tET_WGoBU" resolve="a" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="1FkZNI" id="47tET_WGoC2" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBe" resolve="mempty" />
+        <node concept="3P8L2H" id="47tET_WGoC3" role="1FkZNF" />
+      </node>
+      <node concept="3JbUGG" id="47tET_WGoC4" role="1FkZNx">
+        <node concept="3P8Jbz" id="47tET_WGoC5" role="3JbKvY" />
+      </node>
+    </node>
+    <node concept="1FkZNw" id="47tET_WGoGB" role="1DVIru">
+      <ref role="1FkZWm" node="47tET_WGoBc" resolve="Monoid1" />
+      <node concept="1FkZNI" id="47tET_WGoIr" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBe" resolve="mempty" />
+        <node concept="3EUms" id="47tET_WGoIv" role="1FkZNF">
+          <node concept="t0$VC" id="47tET_WGoIx" role="3EUmv">
+            <ref role="t0$VJ" node="47tET_WGoBf" resolve="mempty" />
+          </node>
+          <node concept="t0$VC" id="47tET_WGoIz" role="3EUmh">
+            <ref role="t0$VJ" node="47tET_WGoBf" resolve="mempty" />
+          </node>
+        </node>
+        <node concept="1U20sH" id="47tET_WJNw2" role="lGtFl">
+          <property role="1U20sK" value="error" />
+        </node>
+      </node>
+      <node concept="3JbUGG" id="47tET_WGoGD" role="1FkZNx">
+        <node concept="1FkZV4" id="47tET_WGoIg" role="1FkZ4g">
+          <ref role="1FkZV7" node="47tET_WGoBc" resolve="Monoid1" />
+          <ref role="1FvTW1" node="47tET_WGoIb" resolve="a1" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WGoIb" role="5lUUh">
+          <property role="TrG5h" value="a1" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WGoId" role="5lUUh">
+          <property role="TrG5h" value="b1" />
+        </node>
+        <node concept="3EVAj" id="47tET_WGoIl" role="3JbKvY">
+          <node concept="aFS0r" id="47tET_WGoIn" role="3EVAk">
+            <ref role="aFS0e" node="47tET_WGoIb" resolve="a1" />
+          </node>
+          <node concept="aFS0r" id="47tET_WGoIp" role="3EVAi">
+            <ref role="aFS0e" node="47tET_WGoId" resolve="b1" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1FkZNw" id="47tET_WJNtp" role="1DVIru">
+      <ref role="1FkZWm" node="47tET_WGoBc" resolve="Monoid1" />
+      <node concept="1FkZNI" id="47tET_WJNtq" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBe" resolve="mempty" />
+        <node concept="3EUms" id="47tET_WJNtr" role="1FkZNF">
+          <node concept="t0$VC" id="47tET_WJNts" role="3EUmv">
+            <ref role="t0$VJ" node="47tET_WGoBf" resolve="mempty" />
+          </node>
+          <node concept="t0$VC" id="47tET_WJNtt" role="3EUmh">
+            <ref role="t0$VJ" node="47tET_WGoBf" resolve="mempty" />
+          </node>
+        </node>
+      </node>
+      <node concept="3JbUGG" id="47tET_WJNtu" role="1FkZNx">
+        <node concept="1FkZV4" id="47tET_WJNtv" role="1FkZ4g">
+          <ref role="1FvTW1" node="47tET_WJNtw" resolve="a2" />
+          <ref role="1FkZV7" node="47tET_WGoBc" resolve="Monoid1" />
+        </node>
+        <node concept="1FkZV4" id="47tET_WJNvo" role="1FkZ4g">
+          <ref role="1FkZV7" node="47tET_WGoBc" resolve="Monoid1" />
+          <ref role="1FvTW1" node="47tET_WJNtx" resolve="b2" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WJNtw" role="5lUUh">
+          <property role="TrG5h" value="a2" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WJNtx" role="5lUUh">
+          <property role="TrG5h" value="b2" />
+        </node>
+        <node concept="3EVAj" id="47tET_WJNty" role="3JbKvY">
+          <node concept="aFS0r" id="47tET_WJNtz" role="3EVAk">
+            <ref role="aFS0e" node="47tET_WJNtw" resolve="a2" />
+          </node>
+          <node concept="aFS0r" id="47tET_WJNt$" role="3EVAi">
+            <ref role="aFS0e" node="47tET_WJNtx" resolve="b2" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1FkZNw" id="47tET_WGoC6" role="1DVIru">
+      <ref role="1FkZWm" node="47tET_WGoBc" resolve="Monoid1" />
+      <node concept="1FkZNI" id="47tET_WGoC7" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBe" resolve="mempty" />
+        <node concept="1DVIrU" id="47tET_WGoC8" role="1FkZNF">
+          <node concept="1DVIrB" id="47tET_WGoC9" role="1DVIr_">
+            <node concept="3TPQf" id="47tET_WGoCa" role="1DVIrA">
+              <node concept="1DVIoH" id="47tET_WGoCb" role="3TPQ0">
+                <property role="TrG5h" value="x" />
+              </node>
+              <node concept="aFS0r" id="47tET_WGoCc" role="3TPQk">
+                <ref role="aFS0e" node="47tET_WGoCK" resolve="a" />
+              </node>
+            </node>
+          </node>
+          <node concept="3TPRf" id="47tET_WGoCd" role="1DVIrw">
+            <node concept="aFS0r" id="47tET_WGoCe" role="3TPQk">
+              <ref role="aFS0e" node="47tET_WGoCL" resolve="b" />
+            </node>
+            <node concept="t0$VC" id="47tET_WGoCf" role="3TPR0">
+              <ref role="t0$VJ" node="47tET_WGoBf" resolve="mempty" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="1FkZNI" id="47tET_WGoCg" role="1FkZNz">
+        <ref role="1FkZND" node="47tET_WGoBi" resolve="mappend" />
+        <node concept="1DVIrU" id="47tET_WGoCh" role="1FkZNF">
+          <node concept="1DVIrB" id="47tET_WGoCi" role="1DVIr_">
+            <node concept="3TPQf" id="47tET_WGoCj" role="1DVIrA">
+              <node concept="1DVIoH" id="47tET_WGoCk" role="3TPQ0">
+                <property role="TrG5h" value="f" />
+              </node>
+              <node concept="1jz_ff" id="47tET_WGoCl" role="3TPQk">
+                <node concept="aFS0r" id="47tET_WGoCm" role="1jz_fp">
+                  <ref role="aFS0e" node="47tET_WGoCK" resolve="a" />
+                </node>
+                <node concept="aFS0r" id="47tET_WGoCn" role="1jz_f_">
+                  <ref role="aFS0e" node="47tET_WGoCL" resolve="b" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="1DVIrU" id="47tET_WGoCo" role="1DVIrw">
+            <node concept="1DVIrB" id="47tET_WGoCp" role="1DVIr_">
+              <node concept="3TPQf" id="47tET_WGoCq" role="1DVIrA">
+                <node concept="1DVIoH" id="47tET_WGoCr" role="3TPQ0">
+                  <property role="TrG5h" value="g" />
+                </node>
+                <node concept="1jz_ff" id="47tET_WGoCs" role="3TPQk">
+                  <node concept="aFS0r" id="47tET_WGoCt" role="1jz_fp">
+                    <ref role="aFS0e" node="47tET_WGoCK" resolve="a" />
+                  </node>
+                  <node concept="aFS0r" id="47tET_WGoCu" role="1jz_f_">
+                    <ref role="aFS0e" node="47tET_WGoCL" resolve="b" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1DVIrU" id="47tET_WGoCv" role="1DVIrw">
+              <node concept="1DVIrB" id="47tET_WGoCw" role="1DVIr_">
+                <node concept="3TPQf" id="47tET_WGoCx" role="1DVIrA">
+                  <node concept="1DVIoH" id="47tET_WGoCy" role="3TPQ0">
+                    <property role="TrG5h" value="a" />
+                  </node>
+                  <node concept="aFS0r" id="47tET_WGoCz" role="3TPQk">
+                    <ref role="aFS0e" node="47tET_WGoCK" resolve="a" />
+                  </node>
+                </node>
+              </node>
+              <node concept="1DVIo5" id="47tET_WGoC$" role="1DVIrw">
+                <node concept="1DVIo5" id="47tET_WGoC_" role="1DVIo8">
+                  <node concept="t0$VC" id="47tET_WGoCA" role="1DVIo8">
+                    <ref role="t0$VJ" node="47tET_WGoCx" resolve="a" />
+                  </node>
+                  <node concept="t0$VC" id="47tET_WGoCB" role="1DVIo4">
+                    <ref role="t0$VJ" node="47tET_WGoCq" resolve="g" />
+                  </node>
+                </node>
+                <node concept="1DVIo5" id="47tET_WGoCC" role="1DVIo4">
+                  <node concept="1DVIo5" id="47tET_WGoCD" role="1DVIo8">
+                    <node concept="t0$VC" id="47tET_WGoCE" role="1DVIo8">
+                      <ref role="t0$VJ" node="47tET_WGoCx" resolve="a" />
+                    </node>
+                    <node concept="t0$VC" id="47tET_WGoCF" role="1DVIo4">
+                      <ref role="t0$VJ" node="47tET_WGoCj" resolve="f" />
+                    </node>
+                  </node>
+                  <node concept="t0$VC" id="47tET_WGoCG" role="1DVIo4">
+                    <ref role="t0$VJ" node="47tET_WGoBj" resolve="mappend" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3JbUGG" id="47tET_WGoCH" role="1FkZNx">
+        <node concept="1FkZV4" id="47tET_WGoCI" role="1FkZ4g">
+          <ref role="1FvTW1" node="47tET_WGoCL" resolve="b" />
+          <ref role="1FkZV7" node="47tET_WGoBc" resolve="Monoid1" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WGoCK" role="5lUUh">
+          <property role="TrG5h" value="a" />
+        </node>
+        <node concept="2BbKIm" id="47tET_WGoCL" role="5lUUh">
+          <property role="TrG5h" value="b" />
+        </node>
+        <node concept="1jz_ff" id="47tET_WGoCM" role="3JbKvY">
+          <node concept="aFS0r" id="47tET_WGoCN" role="1jz_fp">
+            <ref role="aFS0e" node="47tET_WGoCK" resolve="a" />
+          </node>
+          <node concept="aFS0r" id="47tET_WGoCO" role="1jz_f_">
+            <ref role="aFS0e" node="47tET_WGoCL" resolve="b" />
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
 </model>