gold.diff

diff -ru gold0/add-adf-syn.golden gold/add-adf-syn.golden
--- gold0/add-adf-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/add-adf-syn.golden	2022-04-07 16:58:22.228485530 +0200
@@ -1 +1 @@
-(addC *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(addC *** id . repr . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/add-adr-syn.golden gold/add-adr-syn.golden
--- gold0/add-adr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/add-adr-syn.golden	2022-04-07 16:58:22.228485530 +0200
@@ -1,2 +1,2 @@
-((exl . id *** coerce . exr . id) . dup) .
-(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+((exl . id *** repr . exr . id) . dup) .
+(addC *** id . repr . abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/add-gradr-syn.golden gold/add-gradr-syn.golden
--- gold0/add-gradr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/add-gradr-syn.golden	2022-04-07 16:58:22.229485533 +0200
@@ -1,4 +1,4 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** id . repr . abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/cos-2x-adf-syn.golden gold/cos-2x-adf-syn.golden
--- gold0/cos-2x-adf-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-adf-syn.golden	2022-04-07 16:58:22.260485651 +0200
@@ -1,14 +1,14 @@
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exr ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce .
-     coerce .
+     repr .
+     abst .
      curry mulC .
      apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup ***
      exr . exl) .
@@ -21,10 +21,10 @@
   ((exl . exr ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . exr . exr ***
+     repr . exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
@@ -39,11 +39,11 @@
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . exl ***
-       coerce . exr) .
+       repr . exl ***
+       repr . exr) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . curry mulC . exr ***
+     abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -51,11 +51,11 @@
 ((exl ***
   apply .
   (coerce .
-   curry (apply . (exl *** coerce . exr) . dup) .
+   curry (apply . (exl *** repr . exr) . dup) .
    curry
    (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-   coerce . exr ***
-   coerce . curry (dup . exr)) .
+   repr . exr ***
+   abst . curry (dup . exr)) .
   dup) .
  dup) .
 apply .
@@ -65,18 +65,18 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . exr . exr ***
+       repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
-    ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) .
+    ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) .
    dup) ***
-  ((id *** coerce . curry exr) . dup) . exr) .
+  ((id *** abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-2x-adr-syn.golden gold/cos-2x-adr-syn.golden
--- gold0/cos-2x-adr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-adr-syn.golden	2022-04-07 16:58:22.263485663 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,12 +8,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -22,7 +22,8 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
@@ -37,12 +38,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -51,29 +52,29 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -84,14 +85,14 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce . coerce . curry (addC . exr)) .
+   abst . abst . curry (addC . exr)) .
   dup) .
  dup) .
 apply .
@@ -101,25 +102,24 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
     ((const 2.0 ***
-      coerce .
-      coerce .
-      curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+      abst .
+      abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
      dup) .
     exl . exl) .
    dup) ***
-  ((id *** coerce . coerce . curry exr) . dup) . exr) .
+  ((id *** abst . abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-2x-gradr-syn.golden gold/cos-2x-gradr-syn.golden
--- gold0/cos-2x-gradr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-gradr-syn.golden	2022-04-07 16:58:22.266485674 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,12 +10,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -24,7 +24,8 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
@@ -39,12 +40,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -53,29 +54,29 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -86,14 +87,14 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce . coerce . curry (addC . exr)) .
+   abst . abst . curry (addC . exr)) .
   dup) .
  dup) .
 apply .
@@ -103,25 +104,24 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
     ((const 2.0 ***
-      coerce .
-      coerce .
-      curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+      abst .
+      abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
      dup) .
     exl . exl) .
    dup) ***
-  ((id *** coerce . coerce . curry exr) . dup) . exr) .
+  ((id *** abst . abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-2xx-adf-syn.golden gold/cos-2xx-adf-syn.golden
--- gold0/cos-2xx-adf-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-adf-syn.golden	2022-04-07 16:58:22.270485689 +0200
@@ -1,14 +1,14 @@
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exr ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce .
-     coerce .
+     repr .
+     abst .
      curry mulC .
      apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup ***
      exr . exl) .
@@ -21,10 +21,10 @@
   ((exl . exr ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . exr . exr ***
+     repr . exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
@@ -39,11 +39,11 @@
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . exl ***
-       coerce . exr) .
+       repr . exl ***
+       repr . exr) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . curry mulC . exr ***
+     abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -51,11 +51,11 @@
 ((exl ***
   apply .
   (coerce .
-   curry (apply . (exl *** coerce . exr) . dup) .
+   curry (apply . (exl *** repr . exr) . dup) .
    curry
    (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-   coerce . exr ***
-   coerce . curry (dup . exr)) .
+   repr . exr ***
+   abst . curry (dup . exr)) .
   dup) .
  dup) .
 apply .
@@ -65,13 +65,13 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . exr . exr ***
+       repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -80,11 +80,11 @@
       ((exl . exr ***
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . exr . exr ***
+         repr . exr . exr ***
          exr . exl) .
         dup) .
        dup) ***
@@ -99,11 +99,11 @@
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . exl ***
-           coerce . exr) .
+           repr . exl ***
+           repr . exr) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . curry mulC . exr ***
+         abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -111,12 +111,12 @@
     ((exl ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . exr ***
-       coerce . curry (dup . exr)) .
+       repr . exr ***
+       abst . curry (dup . exr)) .
       dup) .
      dup) .
     apply .
@@ -126,22 +126,22 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . exr . exr ***
+           repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
-        ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) .
+        ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) .
        dup) ***
-      ((id *** coerce . curry exr) . dup) . exr) .
+      ((id *** abst . curry exr) . dup) . exr) .
      dup) .
     dup . exl . exl) .
    dup) ***
-  ((id *** coerce . curry exr) . dup) . exr) .
+  ((id *** abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-2xx-adr-syn.golden gold/cos-2xx-adr-syn.golden
--- gold0/cos-2xx-adr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-adr-syn.golden	2022-04-07 16:58:22.276485712 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,12 +8,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -22,7 +22,8 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
@@ -37,12 +38,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -51,29 +52,29 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -84,14 +85,14 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce . coerce . curry (addC . exr)) .
+   abst . abst . curry (addC . exr)) .
   dup) .
  dup) .
 apply .
@@ -101,15 +102,15 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -121,12 +122,12 @@
          curry
          (apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce . coerce . exr ***
-           coerce . exl) .
+           repr . repr . exr ***
+           repr . exl) .
           dup) .
          exr . exr ***
          exr . exl) .
@@ -135,29 +136,29 @@
       ((mulC ***
         apply .
         (curry
-         (coerce .
+         (abst .
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce .
+           repr .
            apply .
            (coerce .
-            curry (apply . (exl *** coerce . exr) . dup) .
+            curry (apply . (exl *** repr . exr) . dup) .
             curry
             (curry
              ((apply . (exl . exl *** exl . exr) . dup ***
                apply . (exr . exl *** exr . exr) . dup) .
               dup)) .
-            coerce . coerce . exl ***
-            coerce . exr) .
+            repr . repr . exl ***
+            repr . exr) .
            dup ***
-           coerce . curry (dup . exr)) .
+           abst . curry (dup . exr)) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . abst . curry mulC . exr ***
+         abst . abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -168,15 +169,15 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr ***
-       coerce . coerce . curry (addC . exr)) .
+       abst . abst . curry (addC . exr)) .
       dup) .
      dup) .
     apply .
@@ -186,29 +187,29 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . coerce . exr . exr ***
+           repr . repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
         ((const 2.0 ***
-          coerce .
-          coerce .
-          curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+          abst .
+          abst .
+          curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
          dup) .
         exl . exl) .
        dup) ***
-      ((id *** coerce . coerce . curry exr) . dup) . exr) .
+      ((id *** abst . abst . curry exr) . dup) . exr) .
      dup) .
     dup . exl . exl) .
    dup) ***
-  ((id *** coerce . coerce . curry exr) . dup) . exr) .
+  ((id *** abst . abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-2xx-gradr-syn.golden gold/cos-2xx-gradr-syn.golden
--- gold0/cos-2xx-gradr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-gradr-syn.golden	2022-04-07 16:58:22.284485742 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,12 +10,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -24,7 +24,8 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
@@ -39,12 +40,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -53,29 +54,29 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
@@ -86,14 +87,14 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce . coerce . curry (addC . exr)) .
+   abst . abst . curry (addC . exr)) .
   dup) .
  dup) .
 apply .
@@ -103,15 +104,15 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -123,12 +124,12 @@
          curry
          (apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce . coerce . exr ***
-           coerce . exl) .
+           repr . repr . exr ***
+           repr . exl) .
           dup) .
          exr . exr ***
          exr . exl) .
@@ -137,29 +138,29 @@
       ((mulC ***
         apply .
         (curry
-         (coerce .
+         (abst .
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce .
+           repr .
            apply .
            (coerce .
-            curry (apply . (exl *** coerce . exr) . dup) .
+            curry (apply . (exl *** repr . exr) . dup) .
             curry
             (curry
              ((apply . (exl . exl *** exl . exr) . dup ***
                apply . (exr . exl *** exr . exr) . dup) .
               dup)) .
-            coerce . coerce . exl ***
-            coerce . exr) .
+            repr . repr . exl ***
+            repr . exr) .
            dup ***
-           coerce . curry (dup . exr)) .
+           abst . curry (dup . exr)) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . abst . curry mulC . exr ***
+         abst . abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -170,15 +171,15 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr ***
-       coerce . coerce . curry (addC . exr)) .
+       abst . abst . curry (addC . exr)) .
       dup) .
      dup) .
     apply .
@@ -188,29 +189,29 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . coerce . exr . exr ***
+           repr . repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
         ((const 2.0 ***
-          coerce .
-          coerce .
-          curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+          abst .
+          abst .
+          curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
          dup) .
         exl . exl) .
        dup) ***
-      ((id *** coerce . coerce . curry exr) . dup) . exr) .
+      ((id *** abst . abst . curry exr) . dup) . exr) .
      dup) .
     dup . exl . exl) .
    dup) ***
-  ((id *** coerce . coerce . curry exr) . dup) . exr) .
+  ((id *** abst . abst . curry exr) . dup) . exr) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/cos-adf-syn.golden gold/cos-adf-syn.golden
--- gold0/cos-adf-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-adf-syn.golden	2022-04-07 16:58:22.230485537 +0200
@@ -1,8 +1,8 @@
-second coerce .
+second (id . repr) .
 apply .
 (curry
  ((exr ***
-   coerce .
+   abst .
    curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
   dup) ***
  cosC) .
diff -ru gold0/cos-adr-syn.golden gold/cos-adr-syn.golden
--- gold0/cos-adr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-adr-syn.golden	2022-04-07 16:58:22.230485537 +0200
@@ -1,9 +1,10 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 (curry
  ((exr ***
-   coerce .
+   abst .
+   abst .
    curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
   dup) ***
  cosC) .
diff -ru gold0/cos-gradr-syn.golden gold/cos-gradr-syn.golden
--- gold0/cos-gradr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-gradr-syn.golden	2022-04-07 16:58:22.230485537 +0200
@@ -1,11 +1,12 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 (curry
  ((exr ***
-   coerce .
+   abst .
+   abst .
    curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
   dup) ***
  cosC) .
diff -ru gold0/cos-xpy-adf-syn.golden gold/cos-xpy-adf-syn.golden
--- gold0/cos-xpy-adf-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-adf-syn.golden	2022-04-07 16:58:22.287485753 +0200
@@ -1,16 +1,16 @@
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exr ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce .
-     coerce .
+     repr .
+     abst .
      curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup ***
-     coerce . curry (addC . exr)) .
+     abst . curry (addC . exr)) .
     dup) .
    dup) ***
   cosC) .
diff -ru gold0/cos-xpy-adr-syn.golden gold/cos-xpy-adr-syn.golden
--- gold0/cos-xpy-adr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-adr-syn.golden	2022-04-07 16:58:22.287485753 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,12 +8,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -22,11 +22,12 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
    dup) .
   exl) .
  dup) .
-(addC *** coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/cos-xpy-gradr-syn.golden gold/cos-xpy-gradr-syn.golden
--- gold0/cos-xpy-gradr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-gradr-syn.golden	2022-04-07 16:58:22.288485757 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,12 +10,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -24,11 +24,12 @@
   apply .
   ((curry
     ((exr ***
-      coerce .
+      abst .
+      abst .
       curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
      dup) ***
     cosC) .
    dup) .
   exl) .
  dup) .
-(addC *** coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/magSqr-adf-syn.golden gold/magSqr-adf-syn.golden
--- gold0/magSqr-adf-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-adf-syn.golden	2022-04-07 16:58:22.238485568 +0200
@@ -1,13 +1,13 @@
-second coerce .
-((addC . exl *** coerce . curry (addC . apply) . coerce . exr) . dup) .
+second (id . repr) .
+((addC . exl *** abst . curry (addC . apply) . repr . exr) . dup) .
 ((exl ***
   apply .
   (coerce .
-   curry (apply . (exl *** coerce . exr) . dup) .
+   curry (apply . (exl *** repr . exr) . dup) .
    curry
    (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-   coerce . exr ***
-   coerce . curry (dup . exr)) .
+   repr . exr ***
+   abst . curry (dup . exr)) .
   dup) .
  dup) .
 apply .
@@ -17,13 +17,13 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . exr . exr ***
+       repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -32,11 +32,11 @@
       ((exl . exr ***
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . exr . exr ***
+         repr . exr . exr ***
          exr . exl) .
         dup) .
        dup) ***
@@ -51,11 +51,11 @@
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . exl ***
-           coerce . exr) .
+           repr . exl ***
+           repr . exr) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . curry mulC . exr ***
+         abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -63,12 +63,12 @@
     ((exl ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . exr ***
-       coerce . curry (dup . exr)) .
+       repr . exr ***
+       abst . curry (dup . exr)) .
       dup) .
      dup) .
     apply .
@@ -78,19 +78,19 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . exr . exr ***
+           repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
-        ((exl *** coerce . curry (exl . exr)) . dup) . exl . exl) .
+        ((exl *** abst . curry (exl . exr)) . dup) . exl . exl) .
        dup) ***
-      ((exl *** coerce . curry (exl . exr)) . dup) . exr) .
+      ((exl *** abst . curry (exl . exr)) . dup) . exr) .
      dup) .
     dup . exl . exl) .
    dup) ***
@@ -99,11 +99,11 @@
     ((exl . exr ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . exr . exr ***
+       repr . exr . exr ***
        exr . exl) .
       dup) .
      dup) ***
@@ -118,11 +118,11 @@
           ((apply . (exl . exl *** exl . exr) . dup ***
             apply . (exr . exl *** exr . exr) . dup) .
            dup)) .
-         coerce . exl ***
-         coerce . exr) .
+         repr . exl ***
+         repr . exr) .
         dup) .
-       coerce . curry mulC . exr ***
-       coerce . curry mulC . exl) .
+       abst . curry mulC . exr ***
+       abst . curry mulC . exl) .
       dup) .
      dup) .
     exl) .
@@ -130,11 +130,11 @@
   ((exl ***
     apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . exr ***
-     coerce . curry (dup . exr)) .
+     repr . exr ***
+     abst . curry (dup . exr)) .
     dup) .
    dup) .
   apply .
@@ -144,19 +144,19 @@
       (((exl . exr *** exl . exr . exl) . dup ***
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           ((apply . (exl . exl *** exl . exr) . dup ***
             apply . (exr . exl *** exr . exr) . dup) .
            dup)) .
-         coerce . exr . exr ***
+         repr . exr . exr ***
          exr . exr . exl) .
         dup) .
        dup) ***
-      ((exr *** coerce . curry (exr . exr)) . dup) . exl . exl) .
+      ((exr *** abst . curry (exr . exr)) . dup) . exl . exl) .
      dup) ***
-    ((exr *** coerce . curry (exr . exr)) . dup) . exr) .
+    ((exr *** abst . curry (exr . exr)) . dup) . exr) .
    dup) .
   dup . exr) .
  dup) .
diff -ru gold0/magSqr-adr-syn.golden gold/magSqr-adr-syn.golden
--- gold0/magSqr-adr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-adr-syn.golden	2022-04-07 16:58:22.246485598 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,18 +8,18 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
-  ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+  ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
  dup) .
 ((exl ***
   apply .
@@ -27,15 +27,15 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce .
-   coerce .
+   abst .
+   abst .
    curry
    (((addC . (exl . exr . exl *** exl . exr) . dup ***
       addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -50,15 +50,15 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -70,12 +70,12 @@
          curry
          (apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce . coerce . exr ***
-           coerce . exl) .
+           repr . repr . exr ***
+           repr . exl) .
           dup) .
          exr . exr ***
          exr . exl) .
@@ -84,29 +84,29 @@
       ((mulC ***
         apply .
         (curry
-         (coerce .
+         (abst .
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce .
+           repr .
            apply .
            (coerce .
-            curry (apply . (exl *** coerce . exr) . dup) .
+            curry (apply . (exl *** repr . exr) . dup) .
             curry
             (curry
              ((apply . (exl . exl *** exl . exr) . dup ***
                apply . (exr . exl *** exr . exr) . dup) .
               dup)) .
-            coerce . coerce . exl ***
-            coerce . exr) .
+            repr . repr . exl ***
+            repr . exr) .
            dup ***
-           coerce . curry (dup . exr)) .
+           abst . curry (dup . exr)) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . abst . curry mulC . exr ***
+         abst . abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -117,16 +117,16 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr ***
-       coerce .
-       coerce .
+       abst .
+       abst .
        curry
        (((addC . (exl . exr . exl *** exl . exr) . dup ***
           addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -141,24 +141,23 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . coerce . exr . exr ***
+           repr . repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
-        ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
+        ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) .
          dup) .
         exl . exl) .
        dup) ***
-      ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
-       dup) .
+      ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) .
       exr) .
      dup) .
     dup . exl . exl) .
@@ -171,12 +170,12 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr . exr ***
        exr . exl) .
@@ -185,29 +184,29 @@
     ((mulC ***
       apply .
       (curry
-       (coerce .
+       (abst .
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce .
+         repr .
          apply .
          (coerce .
-          curry (apply . (exl *** coerce . exr) . dup) .
+          curry (apply . (exl *** repr . exr) . dup) .
           curry
           (curry
            ((apply . (exl . exl *** exl . exr) . dup ***
              apply . (exr . exl *** exr . exr) . dup) .
             dup)) .
-          coerce . coerce . exl ***
-          coerce . exr) .
+          repr . repr . exl ***
+          repr . exr) .
          dup ***
-         coerce . curry (dup . exr)) .
+         abst . curry (dup . exr)) .
         dup) .
-       coerce . curry mulC . exr ***
-       coerce . curry mulC . exl) .
+       abst . abst . curry mulC . exr ***
+       abst . abst . curry mulC . exl) .
       dup) .
      dup) .
     exl) .
@@ -218,16 +217,16 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr ***
-     coerce .
-     coerce .
+     abst .
+     abst .
      curry
      (((addC . (exl . exr . exl *** exl . exr) . dup ***
         addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -242,24 +241,22 @@
       (((exl . exr *** exl . exr . exl) . dup ***
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           ((apply . (exl . exl *** exl . exr) . dup ***
             apply . (exr . exl *** exr . exr) . dup) .
            dup)) .
-         coerce . coerce . exr . exr ***
+         repr . repr . exr . exr ***
          exr . exr . exl) .
         dup) .
        dup) ***
-      ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
-       dup) .
+      ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
       exl . exl) .
      dup) ***
-    ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
-     dup) .
+    ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
     exr) .
    dup) .
   dup . exr) .
diff -ru gold0/magSqr-gradr-syn.golden gold/magSqr-gradr-syn.golden
--- gold0/magSqr-gradr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-gradr-syn.golden	2022-04-07 16:58:22.256485636 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,18 +10,18 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
-  ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+  ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
  dup) .
 ((exl ***
   apply .
@@ -29,15 +29,15 @@
    curry
    (apply .
     (coerce .
-     curry (apply . (exl *** coerce . exr) . dup) .
+     curry (apply . (exl *** repr . exr) . dup) .
      curry
      (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-     coerce . coerce . exr ***
-     coerce . exl) .
+     repr . repr . exr ***
+     repr . exl) .
     dup) .
    exr ***
-   coerce .
-   coerce .
+   abst .
+   abst .
    curry
    (((addC . (exl . exr . exl *** exl . exr) . dup ***
       addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -52,15 +52,15 @@
     (((exl . exr *** exl . exr . exl) . dup ***
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         ((apply . (exl . exl *** exl . exr) . dup ***
           apply . (exr . exl *** exr . exr) . dup) .
          dup)) .
-       coerce . coerce . exr . exr ***
+       repr . repr . exr . exr ***
        exr . exr . exl) .
       dup) .
      dup) ***
@@ -72,12 +72,12 @@
          curry
          (apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce . coerce . exr ***
-           coerce . exl) .
+           repr . repr . exr ***
+           repr . exl) .
           dup) .
          exr . exr ***
          exr . exl) .
@@ -86,29 +86,29 @@
       ((mulC ***
         apply .
         (curry
-         (coerce .
+         (abst .
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-           coerce .
+           repr .
            apply .
            (coerce .
-            curry (apply . (exl *** coerce . exr) . dup) .
+            curry (apply . (exl *** repr . exr) . dup) .
             curry
             (curry
              ((apply . (exl . exl *** exl . exr) . dup ***
                apply . (exr . exl *** exr . exr) . dup) .
               dup)) .
-            coerce . coerce . exl ***
-            coerce . exr) .
+            repr . repr . exl ***
+            repr . exr) .
            dup ***
-           coerce . curry (dup . exr)) .
+           abst . curry (dup . exr)) .
           dup) .
-         coerce . curry mulC . exr ***
-         coerce . curry mulC . exl) .
+         abst . abst . curry mulC . exr ***
+         abst . abst . curry mulC . exl) .
         dup) .
        dup) .
       exl) .
@@ -119,16 +119,16 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr ***
-       coerce .
-       coerce .
+       abst .
+       abst .
        curry
        (((addC . (exl . exr . exl *** exl . exr) . dup ***
           addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -143,24 +143,23 @@
         (((exl . exr *** exl . exr . exl) . dup ***
           apply .
           (coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            coerce .
-           curry (apply . (exl *** coerce . exr) . dup) .
+           curry (apply . (exl *** repr . exr) . dup) .
            curry
            (curry
             ((apply . (exl . exl *** exl . exr) . dup ***
               apply . (exr . exl *** exr . exr) . dup) .
              dup)) .
-           coerce . coerce . exr . exr ***
+           repr . repr . exr . exr ***
            exr . exr . exl) .
           dup) .
          dup) ***
-        ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
+        ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) .
          dup) .
         exl . exl) .
        dup) ***
-      ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
-       dup) .
+      ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) .
       exr) .
      dup) .
     dup . exl . exl) .
@@ -173,12 +172,12 @@
        curry
        (apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce . coerce . exr ***
-         coerce . exl) .
+         repr . repr . exr ***
+         repr . exl) .
         dup) .
        exr . exr ***
        exr . exl) .
@@ -187,29 +186,29 @@
     ((mulC ***
       apply .
       (curry
-       (coerce .
+       (abst .
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-         coerce .
+         repr .
          apply .
          (coerce .
-          curry (apply . (exl *** coerce . exr) . dup) .
+          curry (apply . (exl *** repr . exr) . dup) .
           curry
           (curry
            ((apply . (exl . exl *** exl . exr) . dup ***
              apply . (exr . exl *** exr . exr) . dup) .
             dup)) .
-          coerce . coerce . exl ***
-          coerce . exr) .
+          repr . repr . exl ***
+          repr . exr) .
          dup ***
-         coerce . curry (dup . exr)) .
+         abst . curry (dup . exr)) .
         dup) .
-       coerce . curry mulC . exr ***
-       coerce . curry mulC . exl) .
+       abst . abst . curry mulC . exr ***
+       abst . abst . curry mulC . exl) .
       dup) .
      dup) .
     exl) .
@@ -220,16 +219,16 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr ***
-     coerce .
-     coerce .
+     abst .
+     abst .
      curry
      (((addC . (exl . exr . exl *** exl . exr) . dup ***
         addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -244,24 +243,22 @@
       (((exl . exr *** exl . exr . exl) . dup ***
         apply .
         (coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          coerce .
-         curry (apply . (exl *** coerce . exr) . dup) .
+         curry (apply . (exl *** repr . exr) . dup) .
          curry
          (curry
           ((apply . (exl . exl *** exl . exr) . dup ***
             apply . (exr . exl *** exr . exr) . dup) .
            dup)) .
-         coerce . coerce . exr . exr ***
+         repr . repr . exr . exr ***
          exr . exr . exl) .
         dup) .
        dup) ***
-      ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
-       dup) .
+      ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
       exl . exl) .
      dup) ***
-    ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
-     dup) .
+    ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
     exr) .
    dup) .
   dup . exr) .
diff -ru gold0/sin-adf-syn.golden gold/sin-adf-syn.golden
--- gold0/sin-adf-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-adf-syn.golden	2022-04-07 16:58:22.229485533 +0200
@@ -1,8 +1,7 @@
-second coerce .
+second (id . repr) .
 apply .
 (curry
- ((exr ***
-   coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+ ((exr *** abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
   dup) ***
  sinC) .
 dup
\ No newline at end of file
diff -ru gold0/sin-adr-syn.golden gold/sin-adr-syn.golden
--- gold0/sin-adr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-adr-syn.golden	2022-04-07 16:58:22.229485533 +0200
@@ -1,9 +1,9 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 (curry
  ((exr ***
-   coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+   abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
   dup) ***
  sinC) .
 dup
\ No newline at end of file
diff -ru gold0/sin-gradr-syn.golden gold/sin-gradr-syn.golden
--- gold0/sin-gradr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-gradr-syn.golden	2022-04-07 16:58:22.229485533 +0200
@@ -1,11 +1,11 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 (curry
  ((exr ***
-   coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+   abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
   dup) ***
  sinC) .
 dup
\ No newline at end of file
diff -ru gold0/sqr-adf-syn.golden gold/sqr-adf-syn.golden
--- gold0/sqr-adf-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/sqr-adf-syn.golden	2022-04-07 16:58:22.232485545 +0200
@@ -1,12 +1,12 @@
-second coerce .
+second (id . repr) .
 ((exl ***
   apply .
   (coerce .
-   curry (apply . (exl *** coerce . exr) . dup) .
+   curry (apply . (exl *** repr . exr) . dup) .
    curry
    (curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-   coerce . exr ***
-   coerce . curry (dup . exr)) .
+   repr . exr ***
+   abst . curry (dup . exr)) .
   dup) .
  dup) .
 ((mulC ***
@@ -20,11 +20,11 @@
       ((apply . (exl . exl *** exl . exr) . dup ***
         apply . (exr . exl *** exr . exr) . dup) .
        dup)) .
-     coerce . exl ***
-     coerce . exr) .
+     repr . exl ***
+     repr . exr) .
     dup) .
-   coerce . curry mulC . exr ***
-   coerce . curry mulC . exl) .
+   abst . curry mulC . exr ***
+   abst . curry mulC . exl) .
   dup) .
  dup) .
 dup
\ No newline at end of file
diff -ru gold0/sqr-adr-syn.golden gold/sqr-adr-syn.golden
--- gold0/sqr-adr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/sqr-adr-syn.golden	2022-04-07 16:58:22.233485549 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,12 +8,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -22,31 +22,31 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
  dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/sqr-gradr-syn.golden gold/sqr-gradr-syn.golden
--- gold0/sqr-gradr-syn.golden	2022-04-07 16:58:11.734445578 +0200
+++ gold/sqr-gradr-syn.golden	2022-04-07 16:58:22.234485552 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,12 +10,12 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
@@ -24,31 +24,31 @@
   ((mulC ***
     apply .
     (curry
-     (coerce .
+     (abst .
       apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce .
+       repr .
        apply .
        (coerce .
-        curry (apply . (exl *** coerce . exr) . dup) .
+        curry (apply . (exl *** repr . exr) . dup) .
         curry
         (curry
          ((apply . (exl . exl *** exl . exr) . dup ***
            apply . (exr . exl *** exr . exr) . dup) .
           dup)) .
-        coerce . coerce . exl ***
-        coerce . exr) .
+        repr . repr . exl ***
+        repr . exr) .
        dup ***
-       coerce . curry (dup . exr)) .
+       abst . curry (dup . exr)) .
       dup) .
-     coerce . curry mulC . exr ***
-     coerce . curry mulC . exl) .
+     abst . abst . curry mulC . exr ***
+     abst . abst . curry mulC . exl) .
     dup) .
    dup) .
   exl) .
  dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/twice-adf-syn.golden gold/twice-adf-syn.golden
--- gold0/twice-adf-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-adf-syn.golden	2022-04-07 16:58:22.230485537 +0200
@@ -1,3 +1,3 @@
 (addC . dup ***
- coerce . coerce . curry (addC . apply) . coerce . coerce . curry (dup . exr)) .
+ id . repr . abst . curry (addC . apply) . repr . abst . curry (dup . exr)) .
 dup
\ No newline at end of file
diff -ru gold0/twice-adr-syn.golden gold/twice-adr-syn.golden
--- gold0/twice-adr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-adr-syn.golden	2022-04-07 16:58:22.231485541 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -8,17 +8,17 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
-  ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+  ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
  dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/twice-gradr-syn.golden gold/twice-gradr-syn.golden
--- gold0/twice-gradr-syn.golden	2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-gradr-syn.golden	2022-04-07 16:58:22.231485541 +0200
@@ -1,7 +1,7 @@
 ((exl . id ***
-  apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+  apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
  dup) .
-second coerce .
+second (id . repr) .
 apply .
 ((curry
   ((exl . exr ***
@@ -10,17 +10,17 @@
      curry
      (apply .
       (coerce .
-       curry (apply . (exl *** coerce . exr) . dup) .
+       curry (apply . (exl *** repr . exr) . dup) .
        curry
        (curry
         (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
-       coerce . coerce . exr ***
-       coerce . exl) .
+       repr . repr . exr ***
+       repr . exl) .
       dup) .
      exr . exr ***
      exr . exl) .
     dup) .
    dup) ***
-  ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+  ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
  dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file