doc: update the ReadMe and ChangeLog

[haskell/symantic-parser.git] / test / Golden / Grammar / nandlang.dump

diff --git a/test/Golden/Grammar/nandlang.dump b/test/Golden/Grammar/nandlang.dump
index 787b5a48fcf0d9056688754c8274e544b4f97b10..72ea8c7597429a99fcf37d26e126f05810dc3175 100644 (file)
--- a/test/Golden/Grammar/nandlang.dump
+++ b/test/Golden/Grammar/nandlang.dump
@@ -6,7 +6,7 @@
 |   | + <*>
 |   | | + pure (\u1 -> (\u2 -> u1))
 |   | | ` pure (\u1 -> u1)
-|   | ` def name_4
+|   | ` def name_11
 |   |   ` <*>
 |   |     + <*>
 |   |     | + <*>
@@ -15,9 +15,9 @@
 |   |     | ` <*>
 |   |     |   + <*>
 |   |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|   |     |   | ` def name_21
+|   |     |   | ` def name_27
 |   |     |   |   ` pure Term
-|   |     |   ` def name_22
+|   |     |   ` def name_28
 |   |     |     ` <|>
 |   |     |       + <*>
 |   |     |       | + <*>
@@ -32,15 +32,15 @@
 |   |     |       | |     | | + <*>
 |   |     |       | |     | | | + pure (\u1 -> (\u2 -> u1))
 |   |     |       | |     | | | ` pure (\u1 -> u1)
-|   |     |       | |     | | ` def name_17
+|   |     |       | |     | | ` def name_26
 |   |     |       | |     | |   ` <*>
 |   |     |       | |     | |     + <*>
 |   |     |       | |     | |     | + <*>
 |   |     |       | |     | |     | | + pure (\u1 -> (\u2 -> u1))
 |   |     |       | |     | |     | | ` pure (\u1 -> u1)
-|   |     |       | |     | |     | ` def name_5
+|   |     |       | |     | |     | ` def name_2
 |   |     |       | |     | |     |   ` satisfy
-|   |     |       | |     | |     ` ref name_21
+|   |     |       | |     | |     ` ref name_27
 |   |     |       | |     | ` <*>
 |   |     |       | |     |   + <*>
 |   |     |       | |     |   | + <*>
@@ -50,7 +50,7 @@
 |   |     |       | |     |   |   + <*>
 |   |     |       | |     |   |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 |   |     |       | |     |   |   | ` pure Term
-|   |     |       | |     |   |   ` def name_14
+|   |     |       | |     |   |   ` def name_20
 |   |     |       | |     |   |     ` <|>
 |   |     |       | |     |   |       + <*>
 |   |     |       | |     |   |       | + <*>
@@ -59,8 +59,8 @@
 |   |     |       | |     |   |       | |   + <*>
 |   |     |       | |     |   |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 |   |     |       | |     |   |       | |   | ` pure (\u1 -> (\u2 -> u1))
-|   |     |       | |     |   |       | |   ` ref name_17
-|   |     |       | |     |   |       | ` rec name_14
+|   |     |       | |     |   |       | |   ` ref name_26
+|   |     |       | |     |   |       | ` rec name_20
 |   |     |       | |     |   |       ` pure (\u1 -> u1)
 |   |     |       | |     |   ` pure Term
 |   |     |       | |     ` <*>
@@ -81,7 +81,7 @@
 |   |     |       | |       |   |     |   + <*>
 |   |     |       | |       |   |     |   | + pure (\u1 -> (\u2 -> u1))
 |   |     |       | |       |   |     |   | ` pure '/'
-|   |     |       | |       |   |     |   ` ref name_5
+|   |     |       | |       |   |     |   ` ref name_2
 |   |     |       | |       |   |     ` <*>
 |   |     |       | |       |   |       + <*>
 |   |     |       | |       |   |       | + pure cons
@@ -89,7 +89,7 @@
 |   |     |       | |       |   |       |   + <*>
 |   |     |       | |       |   |       |   | + pure (\u1 -> (\u2 -> u1))
 |   |     |       | |       |   |       |   | ` pure '/'
-|   |     |       | |       |   |       |   ` ref name_5
+|   |     |       | |       |   |       |   ` ref name_2
 |   |     |       | |       |   |       ` pure Term
 |   |     |       | |       |   ` <*>
 |   |     |       | |       |     + <*>
@@ -99,8 +99,8 @@
 |   |     |       | |       |     | ` <*>
 |   |     |       | |       |     |   + <*>
 |   |     |       | |       |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|   |     |       | |       |     |   | ` ref name_21
-|   |     |       | |       |     |   ` def name_7
+|   |     |       | |       |     |   | ` ref name_27
+|   |     |       | |       |     |   ` def name_12
 |   |     |       | |       |     |     ` <|>
 |   |     |       | |       |     |       + <*>
 |   |     |       | |       |     |       | + <*>
@@ -109,14 +109,14 @@
 |   |     |       | |       |     |       | |   + <*>
 |   |     |       | |       |     |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 |   |     |       | |       |     |       | |   | ` pure (\u1 -> (\u2 -> u1))
-|   |     |       | |       |     |       | |   ` ref name_5
-|   |     |       | |       |     |       | ` rec name_7
+|   |     |       | |       |     |       | |   ` ref name_2
+|   |     |       | |       |     |       | ` rec name_12
 |   |     |       | |       |     |       ` pure (\u1 -> u1)
-|   |     |       | |       |     ` ref name_21
-|   |     |       | |       ` ref name_21
-|   |     |       | ` rec name_22
+|   |     |       | |       |     ` ref name_27
+|   |     |       | |       ` ref name_27
+|   |     |       | ` rec name_28
 |   |     |       ` pure (\u1 -> u1)
-|   |     ` ref name_21
+|   |     ` ref name_27
 |   ` <*>
 |     + <*>
 |     | + <*>
@@ -125,8 +125,8 @@
 |     | ` <*>
 |     |   + <*>
 |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |   | ` ref name_21
-|     |   ` def name_10
+|     |   | ` ref name_27
+|     |   ` def name_15
 |     |     ` <|>
 |     |       + <*>
 |     |       | + <*>
@@ -169,7 +169,7 @@
 |     |       | |     |   |   |   |     |     |   + <*>
 |     |       | |     |   |   |   |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |     |   | ` pure 'f'
-|     |       | |     |   |   |   |     |     |   ` ref name_5
+|     |       | |     |   |   |   |     |     |   ` ref name_2
 |     |       | |     |   |   |   |     |     ` <*>
 |     |       | |     |   |   |   |     |       + <*>
 |     |       | |     |   |   |   |     |       | + pure cons
@@ -177,7 +177,7 @@
 |     |       | |     |   |   |   |     |       |   + <*>
 |     |       | |     |   |   |   |     |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |       |   | ` pure 'u'
-|     |       | |     |   |   |   |     |       |   ` ref name_5
+|     |       | |     |   |   |   |     |       |   ` ref name_2
 |     |       | |     |   |   |   |     |       ` <*>
 |     |       | |     |   |   |   |     |         + <*>
 |     |       | |     |   |   |   |     |         | + pure cons
@@ -185,7 +185,7 @@
 |     |       | |     |   |   |   |     |         |   + <*>
 |     |       | |     |   |   |   |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |         |   | ` pure 'n'
-|     |       | |     |   |   |   |     |         |   ` ref name_5
+|     |       | |     |   |   |   |     |         |   ` ref name_2
 |     |       | |     |   |   |   |     |         ` <*>
 |     |       | |     |   |   |   |     |           + <*>
 |     |       | |     |   |   |   |     |           | + pure cons
@@ -193,7 +193,7 @@
 |     |       | |     |   |   |   |     |           |   + <*>
 |     |       | |     |   |   |   |     |           |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |           |   | ` pure 'c'
-|     |       | |     |   |   |   |     |           |   ` ref name_5
+|     |       | |     |   |   |   |     |           |   ` ref name_2
 |     |       | |     |   |   |   |     |           ` <*>
 |     |       | |     |   |   |   |     |             + <*>
 |     |       | |     |   |   |   |     |             | + pure cons
@@ -201,7 +201,7 @@
 |     |       | |     |   |   |   |     |             |   + <*>
 |     |       | |     |   |   |   |     |             |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |             |   | ` pure 't'
-|     |       | |     |   |   |   |     |             |   ` ref name_5
+|     |       | |     |   |   |   |     |             |   ` ref name_2
 |     |       | |     |   |   |   |     |             ` <*>
 |     |       | |     |   |   |   |     |               + <*>
 |     |       | |     |   |   |   |     |               | + pure cons
@@ -209,7 +209,7 @@
 |     |       | |     |   |   |   |     |               |   + <*>
 |     |       | |     |   |   |   |     |               |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |               |   | ` pure 'i'
-|     |       | |     |   |   |   |     |               |   ` ref name_5
+|     |       | |     |   |   |   |     |               |   ` ref name_2
 |     |       | |     |   |   |   |     |               ` <*>
 |     |       | |     |   |   |   |     |                 + <*>
 |     |       | |     |   |   |   |     |                 | + pure cons
@@ -217,7 +217,7 @@
 |     |       | |     |   |   |   |     |                 |   + <*>
 |     |       | |     |   |   |   |     |                 |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |                 |   | ` pure 'o'
-|     |       | |     |   |   |   |     |                 |   ` ref name_5
+|     |       | |     |   |   |   |     |                 |   ` ref name_2
 |     |       | |     |   |   |   |     |                 ` <*>
 |     |       | |     |   |   |   |     |                   + <*>
 |     |       | |     |   |   |   |     |                   | + pure cons
@@ -225,14 +225,14 @@
 |     |       | |     |   |   |   |     |                   |   + <*>
 |     |       | |     |   |   |   |     |                   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |   |   |     |                   |   | ` pure 'n'
-|     |       | |     |   |   |   |     |                   |   ` ref name_5
-|     |       | |     |   |   |   |     |                   ` def name_28
+|     |       | |     |   |   |   |     |                   |   ` ref name_2
+|     |       | |     |   |   |   |     |                   ` def name_5
 |     |       | |     |   |   |   |     |                     ` pure Term
-|     |       | |     |   |   |   |     ` def name_30
+|     |       | |     |   |   |   |     ` def name_7
 |     |       | |     |   |   |   |       ` negLook
-|     |       | |     |   |   |   |         ` ref name_5
-|     |       | |     |   |   |   ` ref name_4
-|     |       | |     |   |   ` def name_2
+|     |       | |     |   |   |   |         ` ref name_2
+|     |       | |     |   |   |   ` ref name_11
+|     |       | |     |   |   ` def name_9
 |     |       | |     |   |     ` <*>
 |     |       | |     |   |       + <*>
 |     |       | |     |   |       | + <*>
@@ -244,7 +244,7 @@
 |     |       | |     |   |       |     | + <*>
 |     |       | |     |   |       |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |   |       |     | | ` pure (\u1 -> u1)
-|     |       | |     |   |       |     | ` ref name_5
+|     |       | |     |   |       |     | ` ref name_2
 |     |       | |     |   |       |     ` <*>
 |     |       | |     |   |       |       + <*>
 |     |       | |     |   |       |       | + <*>
@@ -253,8 +253,8 @@
 |     |       | |     |   |       |       | ` <*>
 |     |       | |     |   |       |       |   + <*>
 |     |       | |     |   |       |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |     |   |       |       |   | ` ref name_21
-|     |       | |     |   |       |       |   ` def name_11
+|     |       | |     |   |       |       |   | ` ref name_27
+|     |       | |     |   |       |       |   ` def name_16
 |     |       | |     |   |       |       |     ` <|>
 |     |       | |     |   |       |       |       + <*>
 |     |       | |     |   |       |       |       | + <*>
@@ -263,11 +263,11 @@
 |     |       | |     |   |       |       |       | |   + <*>
 |     |       | |     |   |       |       |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 |     |       | |     |   |       |       |       | |   | ` pure (\u1 -> (\u2 -> u1))
-|     |       | |     |   |       |       |       | |   ` ref name_5
-|     |       | |     |   |       |       |       | ` rec name_11
+|     |       | |     |   |       |       |       | |   ` ref name_2
+|     |       | |     |   |       |       |       | ` rec name_16
 |     |       | |     |   |       |       |       ` pure (\u1 -> u1)
-|     |       | |     |   |       |       ` ref name_21
-|     |       | |     |   |       ` ref name_4
+|     |       | |     |   |       |       ` ref name_27
+|     |       | |     |   |       ` ref name_11
 |     |       | |     |   ` <*>
 |     |       | |     |     + <*>
 |     |       | |     |     | + pure (\u1 -> (\u2 -> u1))
@@ -276,7 +276,7 @@
 |     |       | |     |     |   | + <*>
 |     |       | |     |     |   | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |   | | ` pure (\u1 -> u1)
-|     |       | |     |     |   | ` def name_12
+|     |       | |     |     |   | ` def name_18
 |     |       | |     |     |   |   ` <*>
 |     |       | |     |     |   |     + <*>
 |     |       | |     |     |   |     | + pure (\u1 -> (\u2 -> u1))
@@ -284,14 +284,14 @@
 |     |       | |     |     |   |     |   + <*>
 |     |       | |     |     |   |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |   |     |   | ` pure '('
-|     |       | |     |     |   |     |   ` ref name_5
-|     |       | |     |     |   |     ` ref name_4
+|     |       | |     |     |   |     |   ` ref name_2
+|     |       | |     |     |   |     ` ref name_11
 |     |       | |     |     |   ` <*>
 |     |       | |     |     |     + <*>
 |     |       | |     |     |     | + <*>
 |     |       | |     |     |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     | | ` pure (\u1 -> u1)
-|     |       | |     |     |     | ` def name_3
+|     |       | |     |     |     | ` def name_10
 |     |       | |     |     |     |   ` <|>
 |     |       | |     |     |     |     + <*>
 |     |       | |     |     |     |     | + <*>
@@ -302,19 +302,19 @@
 |     |       | |     |     |     |     |   | + <*>
 |     |       | |     |     |     |     |   | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   | | ` pure (\u1 -> u1)
-|     |       | |     |     |     |     |   | ` def name_24
+|     |       | |     |     |     |     |   | ` def name_30
 |     |       | |     |     |     |     |   |   ` <*>
 |     |       | |     |     |     |     |   |     + <*>
 |     |       | |     |     |     |     |   |     | + <*>
 |     |       | |     |     |     |     |   |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   |     | | ` pure (\u1 -> u1)
-|     |       | |     |     |     |     |   |     | ` ref name_2
+|     |       | |     |     |     |     |   |     | ` ref name_9
 |     |       | |     |     |     |     |   |     ` <|>
 |     |       | |     |     |     |     |   |       + <*>
 |     |       | |     |     |     |     |   |       | + <*>
 |     |       | |     |     |     |     |   |       | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   |       | | ` pure Term
-|     |       | |     |     |     |     |   |       | ` def name_13
+|     |       | |     |     |     |     |   |       | ` def name_19
 |     |       | |     |     |     |     |   |       |   ` <*>
 |     |       | |     |     |     |     |   |       |     + <*>
 |     |       | |     |     |     |     |   |       |     | + pure (\u1 -> (\u2 -> u1))
@@ -330,14 +330,14 @@
 |     |       | |     |     |     |     |   |       |     |   |   |   + <*>
 |     |       | |     |     |     |     |   |       |     |   |   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   |       |     |   |   |   | ` pure '['
-|     |       | |     |     |     |     |   |       |     |   |   |   ` ref name_5
-|     |       | |     |     |     |     |   |       |     |   |   ` ref name_4
+|     |       | |     |     |     |     |   |       |     |   |   |   ` ref name_2
+|     |       | |     |     |     |     |   |       |     |   |   ` ref name_11
 |     |       | |     |     |     |     |   |       |     |   ` <*>
 |     |       | |     |     |     |     |   |       |     |     + <*>
 |     |       | |     |     |     |     |   |       |     |     | + <*>
 |     |       | |     |     |     |     |   |       |     |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   |       |     |     | | ` pure (\u1 -> u1)
-|     |       | |     |     |     |     |   |       |     |     | ` ref name_5
+|     |       | |     |     |     |     |   |       |     |     | ` ref name_2
 |     |       | |     |     |     |     |   |       |     |     ` <*>
 |     |       | |     |     |     |     |   |       |     |       + <*>
 |     |       | |     |     |     |     |   |       |     |       | + <*>
@@ -347,7 +347,7 @@
 |     |       | |     |     |     |     |   |       |     |       |   + <*>
 |     |       | |     |     |     |     |   |       |     |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 |     |       | |     |     |     |     |   |       |     |       |   | ` pure Term
-|     |       | |     |     |     |     |   |       |     |       |   ` def name_6
+|     |       | |     |     |     |     |   |       |     |       |   ` def name_13
 |     |       | |     |     |     |     |   |       |     |       |     ` <|>
 |     |       | |     |     |     |     |   |       |     |       |       + <*>
 |     |       | |     |     |     |     |   |       |     |       |       | + <*>
@@ -356,8 +356,8 @@
 |     |       | |     |     |     |     |   |       |     |       |       | |   + <*>
 |     |       | |     |     |     |     |   |       |     |       |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 |     |       | |     |     |     |     |   |       |     |       |       | |   | ` pure (\u1 -> (\u2 -> u1))
-|     |       | |     |     |     |     |   |       |     |       |       | |   ` ref name_5
-|     |       | |     |     |     |     |   |       |     |       |       | ` rec name_6
+|     |       | |     |     |     |     |   |       |     |       |       | |   ` ref name_2
+|     |       | |     |     |     |     |   |       |     |       |       | ` rec name_13
 |     |       | |     |     |     |     |   |       |     |       |       ` pure (\u1 -> u1)
 |     |       | |     |     |     |     |   |       |     |       ` pure Term
 |     |       | |     |     |     |     |   |       |     ` <*>
@@ -367,9 +367,9 @@
 |     |       | |     |     |     |     |   |       |       |   + <*>
 |     |       | |     |     |     |     |   |       |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |   |       |       |   | ` pure ']'
-|     |       | |     |     |     |     |   |       |       |   ` ref name_5
-|     |       | |     |     |     |     |   |       |       ` ref name_4
-|     |       | |     |     |     |     |   |       ` ref name_21
+|     |       | |     |     |     |     |   |       |       |   ` ref name_2
+|     |       | |     |     |     |     |   |       |       ` ref name_11
+|     |       | |     |     |     |     |   |       ` ref name_27
 |     |       | |     |     |     |     |   ` <*>
 |     |       | |     |     |     |     |     + <*>
 |     |       | |     |     |     |     |     | + <*>
@@ -378,14 +378,14 @@
 |     |       | |     |     |     |     |     | ` <*>
 |     |       | |     |     |     |     |     |   + <*>
 |     |       | |     |     |     |     |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |     |     |     |     |     |   | ` ref name_21
-|     |       | |     |     |     |     |     |   ` def name_23
+|     |       | |     |     |     |     |     |   | ` ref name_27
+|     |       | |     |     |     |     |     |   ` def name_29
 |     |       | |     |     |     |     |     |     ` <|>
 |     |       | |     |     |     |     |     |       + <*>
 |     |       | |     |     |     |     |     |       | + <*>
 |     |       | |     |     |     |     |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 |     |       | |     |     |     |     |     |       | | ` <*>
-|     |       | |     |     |     |     |     |       | |   + def name_29
+|     |       | |     |     |     |     |     |       | |   + def name_6
 |     |       | |     |     |     |     |     |       | |   | ` <*>
 |     |       | |     |     |     |     |     |       | |   |   + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 |     |       | |     |     |     |     |     |       | |   |   ` pure (\u1 -> (\u2 -> u1))
@@ -394,7 +394,7 @@
 |     |       | |     |     |     |     |     |       | |     | + <*>
 |     |       | |     |     |     |     |     |       | |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |     |       | |     | | ` pure (\u1 -> u1)
-|     |       | |     |     |     |     |     |       | |     | ` def name_18
+|     |       | |     |     |     |     |     |       | |     | ` def name_23
 |     |       | |     |     |     |     |     |       | |     |   ` <*>
 |     |       | |     |     |     |     |     |       | |     |     + <*>
 |     |       | |     |     |     |     |     |       | |     |     | + pure (\u1 -> (\u2 -> u1))
@@ -402,13 +402,13 @@
 |     |       | |     |     |     |     |     |       | |     |     |   + <*>
 |     |       | |     |     |     |     |     |       | |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |     |     |     |       | |     |     |   | ` pure ','
-|     |       | |     |     |     |     |     |       | |     |     |   ` ref name_5
-|     |       | |     |     |     |     |     |       | |     |     ` ref name_4
-|     |       | |     |     |     |     |     |       | |     ` ref name_24
-|     |       | |     |     |     |     |     |       | ` rec name_23
+|     |       | |     |     |     |     |     |       | |     |     |   ` ref name_2
+|     |       | |     |     |     |     |     |       | |     |     ` ref name_11
+|     |       | |     |     |     |     |     |       | |     ` ref name_30
+|     |       | |     |     |     |     |     |       | ` rec name_29
 |     |       | |     |     |     |     |     |       ` pure (\u1 -> u1)
-|     |       | |     |     |     |     |     ` ref name_21
-|     |       | |     |     |     |     ` ref name_21
+|     |       | |     |     |     |     |     ` ref name_27
+|     |       | |     |     |     |     ` ref name_27
 |     |       | |     |     |     ` <|>
 |     |       | |     |     |       + <*>
 |     |       | |     |     |       | + <*>
@@ -426,11 +426,11 @@
 |     |       | |     |     |       |   |   |   + <*>
 |     |       | |     |     |       |   |   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |     |       |   |   |   | ` pure ':'
-|     |       | |     |     |       |   |   |   ` ref name_5
-|     |       | |     |     |       |   |   ` ref name_4
-|     |       | |     |     |       |   ` ref name_3
-|     |       | |     |     |       ` ref name_21
-|     |       | |     |     ` def name_1
+|     |       | |     |     |       |   |   |   ` ref name_2
+|     |       | |     |     |       |   |   ` ref name_11
+|     |       | |     |     |       |   ` ref name_10
+|     |       | |     |     |       ` ref name_27
+|     |       | |     |     ` def name_8
 |     |       | |     |       ` <*>
 |     |       | |     |         + <*>
 |     |       | |     |         | + pure (\u1 -> (\u2 -> u1))
@@ -438,9 +438,9 @@
 |     |       | |     |         |   + <*>
 |     |       | |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |     |         |   | ` pure ')'
-|     |       | |     |         |   ` ref name_5
-|     |       | |     |         ` ref name_4
-|     |       | |     ` def name_19
+|     |       | |     |         |   ` ref name_2
+|     |       | |     |         ` ref name_11
+|     |       | |     ` def name_24
 |     |       | |       ` <*>
 |     |       | |         + <*>
 |     |       | |         | + pure (\u1 -> (\u2 -> u1))
@@ -456,8 +456,8 @@
 |     |       | |         |   |   |   + <*>
 |     |       | |         |   |   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |   |   |   | ` pure '{'
-|     |       | |         |   |   |   ` ref name_5
-|     |       | |         |   |   ` ref name_4
+|     |       | |         |   |   |   ` ref name_2
+|     |       | |         |   |   ` ref name_11
 |     |       | |         |   ` <*>
 |     |       | |         |     + <*>
 |     |       | |         |     | + <*>
@@ -466,8 +466,8 @@
 |     |       | |         |     | ` <*>
 |     |       | |         |     |   + <*>
 |     |       | |         |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |         |     |   | ` ref name_21
-|     |       | |         |     |   ` def name_27
+|     |       | |         |     |   | ` ref name_27
+|     |       | |         |     |   ` def name_4
 |     |       | |         |     |     ` <|>
 |     |       | |         |     |       + <*>
 |     |       | |         |     |       | + <*>
@@ -513,7 +513,7 @@
 |     |       | |         |     |       | |     | | | |   |   |   |     |     |   + <*>
 |     |       | |         |     |       | |     | | | |   |   |   |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |   |   |     |     |   | ` pure 'i'
-|     |       | |         |     |       | |     | | | |   |   |   |     |     |   ` ref name_5
+|     |       | |         |     |       | |     | | | |   |   |   |     |     |   ` ref name_2
 |     |       | |         |     |       | |     | | | |   |   |   |     |     ` <*>
 |     |       | |         |     |       | |     | | | |   |   |   |     |       + <*>
 |     |       | |         |     |       | |     | | | |   |   |   |     |       | + pure cons
@@ -521,17 +521,17 @@
 |     |       | |         |     |       | |     | | | |   |   |   |     |       |   + <*>
 |     |       | |         |     |       | |     | | | |   |   |   |     |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |   |   |     |       |   | ` pure 'f'
-|     |       | |         |     |       | |     | | | |   |   |   |     |       |   ` ref name_5
-|     |       | |         |     |       | |     | | | |   |   |   |     |       ` ref name_28
-|     |       | |         |     |       | |     | | | |   |   |   |     ` ref name_30
-|     |       | |         |     |       | |     | | | |   |   |   ` ref name_4
-|     |       | |         |     |       | |     | | | |   |   ` def name_8
+|     |       | |         |     |       | |     | | | |   |   |   |     |       |   ` ref name_2
+|     |       | |         |     |       | |     | | | |   |   |   |     |       ` ref name_5
+|     |       | |         |     |       | |     | | | |   |   |   |     ` ref name_7
+|     |       | |         |     |       | |     | | | |   |   |   ` ref name_11
+|     |       | |         |     |       | |     | | | |   |   ` def name_14
 |     |       | |         |     |       | |     | | | |   |     ` <*>
 |     |       | |         |     |       | |     | | | |   |       + <*>
 |     |       | |         |     |       | |     | | | |   |       | + <*>
 |     |       | |         |     |       | |     | | | |   |       | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       | ` def name_20
+|     |       | |         |     |       | |     | | | |   |       | ` def name_25
 |     |       | |         |     |       | |     | | | |   |       |   ` <|>
 |     |       | |         |     |       | |     | | | |   |       |     + <|>
 |     |       | |         |     |       | |     | | | |   |       |     | + <*>
@@ -544,13 +544,13 @@
 |     |       | |         |     |       | |     | | | |   |       |     | | |   | + <*>
 |     |       | |         |     |       | |     | | | |   |       |     | | |   | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     | | |   | | ` pure '0'
-|     |       | |         |     |       | |     | | | |   |       |     | | |   | ` ref name_5
+|     |       | |         |     |       | |     | | | |   |       |     | | |   | ` ref name_2
 |     |       | |         |     |       | |     | | | |   |       |     | | |   ` <*>
 |     |       | |         |     |       | |     | | | |   |       |     | | |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |     | | |     | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     | | |     | ` pure '1'
-|     |       | |         |     |       | |     | | | |   |       |     | | |     ` ref name_5
-|     |       | |         |     |       | |     | | | |   |       |     | | ` ref name_4
+|     |       | |         |     |       | |     | | | |   |       |     | | |     ` ref name_2
+|     |       | |         |     |       | |     | | | |   |       |     | | ` ref name_11
 |     |       | |         |     |       | |     | | | |   |       |     | ` <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   | + pure (\u1 -> (\u2 -> u1))
@@ -563,15 +563,15 @@
 |     |       | |         |     |       | |     | | | |   |       |     |   |   |   + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     |   |   |   | ` pure '\''
-|     |       | |         |     |       | |     | | | |   |       |     |   |   |   ` ref name_5
+|     |       | |         |     |       | |     | | | |   |       |     |   |   |   ` ref name_2
 |     |       | |         |     |       | |     | | | |   |       |     |   |   ` <|>
 |     |       | |         |     |       | |     | | | |   |       |     |   |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |     | + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |     | | + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |     | | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     |   |     | | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |     |   |     | | ` ref name_5
-|     |       | |         |     |       | |     | | | |   |       |     |   |     | ` ref name_21
+|     |       | |         |     |       | |     | | | |   |       |     |   |     | | ` ref name_2
+|     |       | |         |     |       | |     | | | |   |       |     |   |     | ` ref name_27
 |     |       | |         |     |       | |     | | | |   |       |     |   |     ` <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |       + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |       | + <*>
@@ -581,14 +581,14 @@
 |     |       | |         |     |       | |     | | | |   |       |     |   |       |   + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     |   |       |   | ` pure '\\'
-|     |       | |         |     |       | |     | | | |   |       |     |   |       |   ` ref name_5
+|     |       | |         |     |       | |     | | | |   |       |     |   |       |   ` ref name_2
 |     |       | |         |     |       | |     | | | |   |       |     |   |       ` <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |         + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |         | + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |   |         | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     |   |         | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |     |   |         | ` ref name_5
-|     |       | |         |     |       | |     | | | |   |       |     |   |         ` ref name_21
+|     |       | |         |     |       | |     | | | |   |       |     |   |         | ` ref name_2
+|     |       | |         |     |       | |     | | | |   |       |     |   |         ` ref name_27
 |     |       | |         |     |       | |     | | | |   |       |     |   ` <*>
 |     |       | |         |     |       | |     | | | |   |       |     |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |     | + pure (\u1 -> (\u2 -> u1))
@@ -596,14 +596,14 @@
 |     |       | |         |     |       | |     | | | |   |       |     |     |   + <*>
 |     |       | |         |     |       | |     | | | |   |       |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |     |     |   | ` pure '\''
-|     |       | |         |     |       | |     | | | |   |       |     |     |   ` ref name_5
-|     |       | |         |     |       | |     | | | |   |       |     |     ` ref name_4
+|     |       | |         |     |       | |     | | | |   |       |     |     |   ` ref name_2
+|     |       | |         |     |       | |     | | | |   |       |     |     ` ref name_11
 |     |       | |         |     |       | |     | | | |   |       |     ` <*>
 |     |       | |         |     |       | |     | | | |   |       |       + <*>
 |     |       | |         |     |       | |     | | | |   |       |       | + <*>
 |     |       | |         |     |       | |     | | | |   |       |       | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |       | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |       | ` ref name_2
+|     |       | |         |     |       | |     | | | |   |       |       | ` ref name_9
 |     |       | |         |     |       | |     | | | |   |       |       ` <|>
 |     |       | |         |     |       | |     | | | |   |       |         + <*>
 |     |       | |         |     |       | |     | | | |   |       |         | + <*>
@@ -618,7 +618,7 @@
 |     |       | |         |     |       | |     | | | |   |       |         |   | |   | + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |   | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |         |   | |   | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |         |   | |   | ` ref name_12
+|     |       | |         |     |       | |     | | | |   |       |         |   | |   | ` ref name_18
 |     |       | |         |     |       | |     | | | |   |       |         |   | |   ` <|>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     | + <*>
@@ -629,7 +629,7 @@
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |   | + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |   | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |   | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |   | ` rec name_8
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |   | ` rec name_14
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |   ` <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     | + <*>
@@ -638,28 +638,28 @@
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     | ` <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   | ` ref name_21
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   ` def name_9
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   | ` ref name_27
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |   ` def name_17
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |     ` <|>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | | ` <*>
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |   + ref name_29
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |   + ref name_6
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |   ` <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     | + <*>
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     | ` ref name_18
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     ` rec name_8
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | ` rec name_9
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     | ` ref name_23
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | |     ` rec name_14
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       | ` rec name_17
 |     |       | |         |     |       | |     | | | |   |       |         |   | |     |     |       ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     ` ref name_21
-|     |       | |         |     |       | |     | | | |   |       |         |   | |     ` ref name_21
-|     |       | |         |     |       | |     | | | |   |       |         |   | ` ref name_1
-|     |       | |         |     |       | |     | | | |   |       |         |   ` ref name_13
-|     |       | |         |     |       | |     | | | |   |       |         ` ref name_21
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     |     ` ref name_27
+|     |       | |         |     |       | |     | | | |   |       |         |   | |     ` ref name_27
+|     |       | |         |     |       | |     | | | |   |       |         |   | ` ref name_8
+|     |       | |         |     |       | |     | | | |   |       |         |   ` ref name_19
+|     |       | |         |     |       | |     | | | |   |       |         ` ref name_27
 |     |       | |         |     |       | |     | | | |   |       ` <*>
 |     |       | |         |     |       | |     | | | |   |         + <*>
 |     |       | |         |     |       | |     | | | |   |         | + <*>
@@ -668,8 +668,8 @@
 |     |       | |         |     |       | |     | | | |   |         | ` <*>
 |     |       | |         |     |       | |     | | | |   |         |   + <*>
 |     |       | |         |     |       | |     | | | |   |         |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |         |     |       | |     | | | |   |         |   | ` ref name_21
-|     |       | |         |     |       | |     | | | |   |         |   ` def name_16
+|     |       | |         |     |       | |     | | | |   |         |   | ` ref name_27
+|     |       | |         |     |       | |     | | | |   |         |   ` def name_22
 |     |       | |         |     |       | |     | | | |   |         |     ` <|>
 |     |       | |         |     |       | |     | | | |   |         |       + <*>
 |     |       | |         |     |       | |     | | | |   |         |       | + <*>
@@ -690,13 +690,13 @@
 |     |       | |         |     |       | |     | | | |   |         |       | |     |   |   + <*>
 |     |       | |         |     |       | |     | | | |   |         |       | |     |   |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | | |   |         |       | |     |   |   | ` pure '!'
-|     |       | |         |     |       | |     | | | |   |         |       | |     |   |   ` ref name_5
-|     |       | |         |     |       | |     | | | |   |         |       | |     |   ` ref name_4
-|     |       | |         |     |       | |     | | | |   |         |       | |     ` ref name_20
-|     |       | |         |     |       | |     | | | |   |         |       | ` rec name_16
+|     |       | |         |     |       | |     | | | |   |         |       | |     |   |   ` ref name_2
+|     |       | |         |     |       | |     | | | |   |         |       | |     |   ` ref name_11
+|     |       | |         |     |       | |     | | | |   |         |       | |     ` ref name_25
+|     |       | |         |     |       | |     | | | |   |         |       | ` rec name_22
 |     |       | |         |     |       | |     | | | |   |         |       ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     | | | |   |         ` ref name_21
-|     |       | |         |     |       | |     | | | |   ` rec name_19
+|     |       | |         |     |       | |     | | | |   |         ` ref name_27
+|     |       | |         |     |       | |     | | | |   ` rec name_24
 |     |       | |         |     |       | |     | | | ` <|>
 |     |       | |         |     |       | |     | | |   + <*>
 |     |       | |         |     |       | |     | | |   | + <*>
@@ -726,7 +726,7 @@
 |     |       | |         |     |       | |     | | |   |   |   |     |     |   + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | |   |   |   |     |     |   | ` pure 'e'
-|     |       | |         |     |       | |     | | |   |   |   |     |     |   ` ref name_5
+|     |       | |         |     |       | |     | | |   |   |   |     |     |   ` ref name_2
 |     |       | |         |     |       | |     | | |   |   |   |     |     ` <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |       + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |       | + pure cons
@@ -734,7 +734,7 @@
 |     |       | |         |     |       | |     | | |   |   |   |     |       |   + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | |   |   |   |     |       |   | ` pure 'l'
-|     |       | |         |     |       | |     | | |   |   |   |     |       |   ` ref name_5
+|     |       | |         |     |       | |     | | |   |   |   |     |       |   ` ref name_2
 |     |       | |         |     |       | |     | | |   |   |   |     |       ` <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |         + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |         | + pure cons
@@ -742,7 +742,7 @@
 |     |       | |         |     |       | |     | | |   |   |   |     |         |   + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | |   |   |   |     |         |   | ` pure 's'
-|     |       | |         |     |       | |     | | |   |   |   |     |         |   ` ref name_5
+|     |       | |         |     |       | |     | | |   |   |   |     |         |   ` ref name_2
 |     |       | |         |     |       | |     | | |   |   |   |     |         ` <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |           + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |           | + pure cons
@@ -750,12 +750,12 @@
 |     |       | |         |     |       | |     | | |   |   |   |     |           |   + <*>
 |     |       | |         |     |       | |     | | |   |   |   |     |           |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | | |   |   |   |     |           |   | ` pure 'e'
-|     |       | |         |     |       | |     | | |   |   |   |     |           |   ` ref name_5
-|     |       | |         |     |       | |     | | |   |   |   |     |           ` ref name_28
-|     |       | |         |     |       | |     | | |   |   |   |     ` ref name_30
-|     |       | |         |     |       | |     | | |   |   |   ` ref name_4
-|     |       | |         |     |       | |     | | |   |   ` rec name_19
-|     |       | |         |     |       | |     | | |   ` ref name_21
+|     |       | |         |     |       | |     | | |   |   |   |     |           |   ` ref name_2
+|     |       | |         |     |       | |     | | |   |   |   |     |           ` ref name_5
+|     |       | |         |     |       | |     | | |   |   |   |     ` ref name_7
+|     |       | |         |     |       | |     | | |   |   |   ` ref name_11
+|     |       | |         |     |       | |     | | |   |   ` rec name_24
+|     |       | |         |     |       | |     | | |   ` ref name_27
 |     |       | |         |     |       | |     | | ` <*>
 |     |       | |         |     |       | |     | |   + <*>
 |     |       | |         |     |       | |     | |   | + <*>
@@ -785,7 +785,7 @@
 |     |       | |         |     |       | |     | |   |   |   |     |     |   + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | |   |   |   |     |     |   | ` pure 'w'
-|     |       | |         |     |       | |     | |   |   |   |     |     |   ` ref name_5
+|     |       | |         |     |       | |     | |   |   |   |     |     |   ` ref name_2
 |     |       | |         |     |       | |     | |   |   |   |     |     ` <*>
 |     |       | |         |     |       | |     | |   |   |   |     |       + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |       | + pure cons
@@ -793,7 +793,7 @@
 |     |       | |         |     |       | |     | |   |   |   |     |       |   + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | |   |   |   |     |       |   | ` pure 'h'
-|     |       | |         |     |       | |     | |   |   |   |     |       |   ` ref name_5
+|     |       | |         |     |       | |     | |   |   |   |     |       |   ` ref name_2
 |     |       | |         |     |       | |     | |   |   |   |     |       ` <*>
 |     |       | |         |     |       | |     | |   |   |   |     |         + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |         | + pure cons
@@ -801,7 +801,7 @@
 |     |       | |         |     |       | |     | |   |   |   |     |         |   + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | |   |   |   |     |         |   | ` pure 'i'
-|     |       | |         |     |       | |     | |   |   |   |     |         |   ` ref name_5
+|     |       | |         |     |       | |     | |   |   |   |     |         |   ` ref name_2
 |     |       | |         |     |       | |     | |   |   |   |     |         ` <*>
 |     |       | |         |     |       | |     | |   |   |   |     |           + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |           | + pure cons
@@ -809,7 +809,7 @@
 |     |       | |         |     |       | |     | |   |   |   |     |           |   + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |           |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | |   |   |   |     |           |   | ` pure 'l'
-|     |       | |         |     |       | |     | |   |   |   |     |           |   ` ref name_5
+|     |       | |         |     |       | |     | |   |   |   |     |           |   ` ref name_2
 |     |       | |         |     |       | |     | |   |   |   |     |           ` <*>
 |     |       | |         |     |       | |     | |   |   |   |     |             + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |             | + pure cons
@@ -817,12 +817,12 @@
 |     |       | |         |     |       | |     | |   |   |   |     |             |   + <*>
 |     |       | |         |     |       | |     | |   |   |   |     |             |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     | |   |   |   |     |             |   | ` pure 'e'
-|     |       | |         |     |       | |     | |   |   |   |     |             |   ` ref name_5
-|     |       | |         |     |       | |     | |   |   |   |     |             ` ref name_28
-|     |       | |         |     |       | |     | |   |   |   |     ` ref name_30
-|     |       | |         |     |       | |     | |   |   |   ` ref name_4
-|     |       | |         |     |       | |     | |   |   ` ref name_8
-|     |       | |         |     |       | |     | |   ` rec name_19
+|     |       | |         |     |       | |     | |   |   |   |     |             |   ` ref name_2
+|     |       | |         |     |       | |     | |   |   |   |     |             ` ref name_5
+|     |       | |         |     |       | |     | |   |   |   |     ` ref name_7
+|     |       | |         |     |       | |     | |   |   |   ` ref name_11
+|     |       | |         |     |       | |     | |   |   ` ref name_14
+|     |       | |         |     |       | |     | |   ` rec name_24
 |     |       | |         |     |       | |     | ` try
 |     |       | |         |     |       | |     |   ` <*>
 |     |       | |         |     |       | |     |     + <*>
@@ -866,7 +866,7 @@
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |     |   + <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |     |   | ` pure 'v'
-|     |       | |         |     |       | |     |     |   |   |   |   |   |     |     |   ` ref name_5
+|     |       | |         |     |       | |     |     |   |   |   |   |   |     |     |   ` ref name_2
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |     ` <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       + <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       | + pure cons
@@ -874,7 +874,7 @@
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       |   + <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       |   | ` pure 'a'
-|     |       | |         |     |       | |     |     |   |   |   |   |   |     |       |   ` ref name_5
+|     |       | |         |     |       | |     |     |   |   |   |   |   |     |       |   ` ref name_2
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |       ` <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |         + <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |         | + pure cons
@@ -882,17 +882,17 @@
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |         |   + <*>
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |   |   |   |   |     |         |   | ` pure 'r'
-|     |       | |         |     |       | |     |     |   |   |   |   |   |     |         |   ` ref name_5
-|     |       | |         |     |       | |     |     |   |   |   |   |   |     |         ` ref name_28
-|     |       | |         |     |       | |     |     |   |   |   |   |   |     ` ref name_30
-|     |       | |         |     |       | |     |     |   |   |   |   |   ` ref name_4
-|     |       | |         |     |       | |     |     |   |   |   |   ` ref name_21
+|     |       | |         |     |       | |     |     |   |   |   |   |   |     |         |   ` ref name_2
+|     |       | |         |     |       | |     |     |   |   |   |   |   |     |         ` ref name_5
+|     |       | |         |     |       | |     |     |   |   |   |   |   |     ` ref name_7
+|     |       | |         |     |       | |     |     |   |   |   |   |   ` ref name_11
+|     |       | |         |     |       | |     |     |   |   |   |   ` ref name_27
 |     |       | |         |     |       | |     |     |   |   |   ` <*>
 |     |       | |         |     |       | |     |     |   |   |     + <*>
 |     |       | |         |     |       | |     |     |   |   |     | + <*>
 |     |       | |         |     |       | |     |     |   |   |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |   |     | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |   |   |     | ` ref name_24
+|     |       | |         |     |       | |     |     |   |   |     | ` ref name_30
 |     |       | |         |     |       | |     |     |   |   |     ` <*>
 |     |       | |         |     |       | |     |     |   |   |       + <*>
 |     |       | |         |     |       | |     |     |   |   |       | + <*>
@@ -901,24 +901,24 @@
 |     |       | |         |     |       | |     |     |   |   |       | ` <*>
 |     |       | |         |     |       | |     |     |   |   |       |   + <*>
 |     |       | |         |     |       | |     |     |   |   |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |         |     |       | |     |     |   |   |       |   | ` ref name_21
-|     |       | |         |     |       | |     |     |   |   |       |   ` def name_26
+|     |       | |         |     |       | |     |     |   |   |       |   | ` ref name_27
+|     |       | |         |     |       | |     |     |   |   |       |   ` def name_3
 |     |       | |         |     |       | |     |     |   |   |       |     ` <|>
 |     |       | |         |     |       | |     |     |   |   |       |       + <*>
 |     |       | |         |     |       | |     |     |   |   |       |       | + <*>
 |     |       | |         |     |       | |     |     |   |   |       |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 |     |       | |         |     |       | |     |     |   |   |       |       | | ` <*>
-|     |       | |         |     |       | |     |     |   |   |       |       | |   + ref name_29
+|     |       | |         |     |       | |     |     |   |   |       |       | |   + ref name_6
 |     |       | |         |     |       | |     |     |   |   |       |       | |   ` <*>
 |     |       | |         |     |       | |     |     |   |   |       |       | |     + <*>
 |     |       | |         |     |       | |     |     |   |   |       |       | |     | + <*>
 |     |       | |         |     |       | |     |     |   |   |       |       | |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |   |       |       | |     | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |   |   |       |       | |     | ` ref name_18
-|     |       | |         |     |       | |     |     |   |   |       |       | |     ` ref name_24
-|     |       | |         |     |       | |     |     |   |   |       |       | ` rec name_26
+|     |       | |         |     |       | |     |     |   |   |       |       | |     | ` ref name_23
+|     |       | |         |     |       | |     |     |   |   |       |       | |     ` ref name_30
+|     |       | |         |     |       | |     |     |   |   |       |       | ` rec name_3
 |     |       | |         |     |       | |     |     |   |   |       |       ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |   |   |       ` ref name_21
+|     |       | |         |     |       | |     |     |   |   |       ` ref name_27
 |     |       | |         |     |       | |     |     |   |   ` <*>
 |     |       | |         |     |       | |     |     |   |     + <*>
 |     |       | |         |     |       | |     |     |   |     | + pure (\u1 -> (\u2 -> u1))
@@ -926,14 +926,14 @@
 |     |       | |         |     |       | |     |     |   |     |   + <*>
 |     |       | |         |     |       | |     |     |   |     |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |   |     |   | ` pure '='
-|     |       | |         |     |       | |     |     |   |     |   ` ref name_5
-|     |       | |         |     |       | |     |     |   |     ` ref name_4
+|     |       | |         |     |       | |     |     |   |     |   ` ref name_2
+|     |       | |         |     |       | |     |     |   |     ` ref name_11
 |     |       | |         |     |       | |     |     |   ` <*>
 |     |       | |         |     |       | |     |     |     + <*>
 |     |       | |         |     |       | |     |     |     | + <*>
 |     |       | |         |     |       | |     |     |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |     | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |     | ` ref name_8
+|     |       | |         |     |       | |     |     |     | ` ref name_14
 |     |       | |         |     |       | |     |     |     ` <*>
 |     |       | |         |     |       | |     |     |       + <*>
 |     |       | |         |     |       | |     |     |       | + <*>
@@ -942,25 +942,25 @@
 |     |       | |         |     |       | |     |     |       | ` <*>
 |     |       | |         |     |       | |     |     |       |   + <*>
 |     |       | |         |     |       | |     |     |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
-|     |       | |         |     |       | |     |     |       |   | ` ref name_21
-|     |       | |         |     |       | |     |     |       |   ` def name_25
+|     |       | |         |     |       | |     |     |       |   | ` ref name_27
+|     |       | |         |     |       | |     |     |       |   ` def name_1
 |     |       | |         |     |       | |     |     |       |     ` <|>
 |     |       | |         |     |       | |     |     |       |       + <*>
 |     |       | |         |     |       | |     |     |       |       | + <*>
 |     |       | |         |     |       | |     |     |       |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 |     |       | |         |     |       | |     |     |       |       | | ` <*>
-|     |       | |         |     |       | |     |     |       |       | |   + ref name_29
+|     |       | |         |     |       | |     |     |       |       | |   + ref name_6
 |     |       | |         |     |       | |     |     |       |       | |   ` <*>
 |     |       | |         |     |       | |     |     |       |       | |     + <*>
 |     |       | |         |     |       | |     |     |       |       | |     | + <*>
 |     |       | |         |     |       | |     |     |       |       | |     | | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |     |       |       | |     | | ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |       |       | |     | ` ref name_18
-|     |       | |         |     |       | |     |     |       |       | |     ` ref name_8
-|     |       | |         |     |       | |     |     |       |       | ` rec name_25
+|     |       | |         |     |       | |     |     |       |       | |     | ` ref name_23
+|     |       | |         |     |       | |     |     |       |       | |     ` ref name_14
+|     |       | |         |     |       | |     |     |       |       | ` rec name_1
 |     |       | |         |     |       | |     |     |       |       ` pure (\u1 -> u1)
-|     |       | |         |     |       | |     |     |       ` ref name_21
-|     |       | |         |     |       | |     |     ` def name_15
+|     |       | |         |     |       | |     |     |       ` ref name_27
+|     |       | |         |     |       | |     |     ` def name_21
 |     |       | |         |     |       | |     |       ` <*>
 |     |       | |         |     |       | |     |         + <*>
 |     |       | |         |     |       | |     |         | + pure (\u1 -> (\u2 -> u1))
@@ -968,16 +968,16 @@
 |     |       | |         |     |       | |     |         |   + <*>
 |     |       | |         |     |       | |     |         |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |         |     |       | |     |         |   | ` pure ';'
-|     |       | |         |     |       | |     |         |   ` ref name_5
-|     |       | |         |     |       | |     |         ` ref name_4
+|     |       | |         |     |       | |     |         |   ` ref name_2
+|     |       | |         |     |       | |     |         ` ref name_11
 |     |       | |         |     |       | |     ` <*>
 |     |       | |         |     |       | |       + <*>
 |     |       | |         |     |       | |       | + pure (\u1 -> (\u2 -> u1))
-|     |       | |         |     |       | |       | ` ref name_8
-|     |       | |         |     |       | |       ` ref name_15
-|     |       | |         |     |       | ` rec name_27
+|     |       | |         |     |       | |       | ` ref name_14
+|     |       | |         |     |       | |       ` ref name_21
+|     |       | |         |     |       | ` rec name_4
 |     |       | |         |     |       ` pure (\u1 -> u1)
-|     |       | |         |     ` ref name_21
+|     |       | |         |     ` ref name_27
 |     |       | |         ` <*>
 |     |       | |           + <*>
 |     |       | |           | + pure (\u1 -> (\u2 -> u1))
@@ -985,9 +985,9 @@
 |     |       | |           |   + <*>
 |     |       | |           |   | + pure (\u1 -> (\u2 -> u1))
 |     |       | |           |   | ` pure '}'
-|     |       | |           |   ` ref name_5
-|     |       | |           ` ref name_4
-|     |       | ` rec name_10
+|     |       | |           |   ` ref name_2
+|     |       | |           ` ref name_11
+|     |       | ` rec name_15
 |     |       ` pure (\u1 -> u1)
-|     ` ref name_21
+|     ` ref name_27
 ` eof