diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
index 1a0db6c..ba644ff 100644
--- a/.github/workflows/integrate.yaml
+++ b/.github/workflows/integrate.yaml
@@ -35,6 +35,7 @@ jobs:
             ${{ secrets.LIQWID_PLUTARCH_EXTRA_PRIVATE }}
             ${{ secrets.PLUTARCH_NUMERIC_PRIVATE }}
             ${{ secrets.PLUTARCH_SAFE_MONEY_PRIVATE }}
+            ${{ secrets.PLUTARCH_CONTEXT_BUILDER_PRIVATE }}
       
       - uses: cachix/install-nix-action@v16
         name: Set up Nix and IOHK caches
@@ -64,6 +65,7 @@ jobs:
             ${{ secrets.LIQWID_PLUTARCH_EXTRA_PRIVATE }}
             ${{ secrets.PLUTARCH_NUMERIC_PRIVATE }}
             ${{ secrets.PLUTARCH_SAFE_MONEY_PRIVATE }}
+            ${{ secrets.PLUTARCH_CONTEXT_BUILDER_PRIVATE }}	    
 
       - uses: cachix/install-nix-action@v16
         name: Set up Nix and IOHK caches
diff --git a/flake.lock b/flake.lock
index 2956692..ef67528 100644
--- a/flake.lock
+++ b/flake.lock
@@ -16,6 +16,38 @@
         "type": "github"
       }
     },
+    "HTTP_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1451647621,
+        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
+        "owner": "phadej",
+        "repo": "HTTP",
+        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "HTTP",
+        "type": "github"
+      }
+    },
+    "HTTP_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1451647621,
+        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
+        "owner": "phadej",
+        "repo": "HTTP",
+        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "HTTP",
+        "type": "github"
+      }
+    },
     "HTTP_2": {
       "flake": false,
       "locked": {
@@ -240,6 +272,38 @@
         "type": "github"
       }
     },
+    "Shrinker_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1642430208,
+        "narHash": "sha256-tfWyB7zCLzncwRpyl7eUOzuOBbg9KLu6sxSxRaFlOug=",
+        "owner": "Plutonomicon",
+        "repo": "Shrinker",
+        "rev": "0e60707996b876c7bd23a348f54545217ce2e556",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Plutonomicon",
+        "repo": "Shrinker",
+        "type": "github"
+      }
+    },
+    "Shrinker_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1642430208,
+        "narHash": "sha256-tfWyB7zCLzncwRpyl7eUOzuOBbg9KLu6sxSxRaFlOug=",
+        "owner": "Plutonomicon",
+        "repo": "Shrinker",
+        "rev": "0e60707996b876c7bd23a348f54545217ce2e556",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Plutonomicon",
+        "repo": "Shrinker",
+        "type": "github"
+      }
+    },
     "apropos": {
       "inputs": {
         "flake-compat": "flake-compat",
@@ -310,6 +374,40 @@
         "type": "github"
       }
     },
+    "cabal-32_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1603716527,
+        "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.2",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
+    "cabal-32_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1603716527,
+        "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.2",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cabal-32_2": {
       "flake": false,
       "locked": {
@@ -433,10 +531,10 @@
       "flake": false,
       "locked": {
         "lastModified": 1603716527,
-        "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=",
+        "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=",
         "owner": "haskell",
         "repo": "cabal",
-        "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e",
+        "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee",
         "type": "github"
       },
       "original": {
@@ -463,6 +561,40 @@
         "type": "github"
       }
     },
+    "cabal-34_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
+    "cabal-34_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1622475795,
+        "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cabal-34_2": {
       "flake": false,
       "locked": {
@@ -585,11 +717,11 @@
     "cabal-34_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1622475795,
-        "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=",
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
         "owner": "haskell",
         "repo": "cabal",
-        "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
         "type": "github"
       },
       "original": {
@@ -718,6 +850,40 @@
         "type": "github"
       }
     },
+    "cabal-36_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
+    "cabal-36_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cardano-base": {
       "flake": false,
       "locked": {
@@ -814,6 +980,38 @@
         "type": "github"
       }
     },
+    "cardano-base_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638456794,
+        "narHash": "sha256-0KAO6dWqupJzRyjWjAFLZrt0hA6pozeKsDv1Fnysib8=",
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "rev": "4fae3f0149fd8925be94707d3ae0e36c0d67bd58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "type": "github"
+      }
+    },
+    "cardano-base_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638456794,
+        "narHash": "sha256-0KAO6dWqupJzRyjWjAFLZrt0hA6pozeKsDv1Fnysib8=",
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "rev": "4fae3f0149fd8925be94707d3ae0e36c0d67bd58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "type": "github"
+      }
+    },
     "cardano-crypto": {
       "flake": false,
       "locked": {
@@ -916,6 +1114,40 @@
         "type": "github"
       }
     },
+    "cardano-crypto_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1621376239,
+        "narHash": "sha256-oxIOVlgm07FAEmgGRF1C2me9TXqVxQulEOcJ22zpTRs=",
+        "owner": "input-output-hk",
+        "repo": "cardano-crypto",
+        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-crypto",
+        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
+        "type": "github"
+      }
+    },
+    "cardano-crypto_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1621376239,
+        "narHash": "sha256-oxIOVlgm07FAEmgGRF1C2me9TXqVxQulEOcJ22zpTRs=",
+        "owner": "input-output-hk",
+        "repo": "cardano-crypto",
+        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-crypto",
+        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
+        "type": "github"
+      }
+    },
     "cardano-prelude": {
       "flake": false,
       "locked": {
@@ -1018,6 +1250,40 @@
         "type": "github"
       }
     },
+    "cardano-prelude_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641566029,
+        "narHash": "sha256-CylaHhO4zbZ1dEAv8yWp1swP1xys/s2Sbxg3a2pdnCI=",
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      }
+    },
+    "cardano-prelude_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641566029,
+        "narHash": "sha256-CylaHhO4zbZ1dEAv8yWp1swP1xys/s2Sbxg3a2pdnCI=",
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      }
+    },
     "cardano-repo-tool": {
       "flake": false,
       "locked": {
@@ -1130,6 +1396,38 @@
         "type": "github"
       }
     },
+    "cardano-repo-tool_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1624584417,
+        "narHash": "sha256-YSepT97PagR/1jTYV/Yer8a2GjFe9+tTwaTCHxuK50M=",
+        "owner": "input-output-hk",
+        "repo": "cardano-repo-tool",
+        "rev": "30e826ed8f00e3e154453b122a6f3d779b2f73ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-repo-tool",
+        "type": "github"
+      }
+    },
+    "cardano-repo-tool_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1624584417,
+        "narHash": "sha256-YSepT97PagR/1jTYV/Yer8a2GjFe9+tTwaTCHxuK50M=",
+        "owner": "input-output-hk",
+        "repo": "cardano-repo-tool",
+        "rev": "30e826ed8f00e3e154453b122a6f3d779b2f73ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-repo-tool",
+        "type": "github"
+      }
+    },
     "cardano-shell": {
       "flake": false,
       "locked": {
@@ -1146,6 +1444,38 @@
         "type": "github"
       }
     },
+    "cardano-shell_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1608537748,
+        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "type": "github"
+      }
+    },
+    "cardano-shell_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1608537748,
+        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "type": "github"
+      }
+    },
     "cardano-shell_2": {
       "flake": false,
       "locked": {
@@ -1376,6 +1706,40 @@
         "type": "github"
       }
     },
+    "cryptonite_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1639749289,
+        "narHash": "sha256-/KS2S0f9r4c/q+IUGwkFOY9jbZkyK3dl0xMpDbULeqc=",
+        "owner": "haskell-crypto",
+        "repo": "cryptonite",
+        "rev": "cec291d988f0f17828384f3358214ab9bf724a13",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell-crypto",
+        "repo": "cryptonite",
+        "rev": "cec291d988f0f17828384f3358214ab9bf724a13",
+        "type": "github"
+      }
+    },
+    "cryptonite_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1639749289,
+        "narHash": "sha256-/KS2S0f9r4c/q+IUGwkFOY9jbZkyK3dl0xMpDbULeqc=",
+        "owner": "haskell-crypto",
+        "repo": "cryptonite",
+        "rev": "cec291d988f0f17828384f3358214ab9bf724a13",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell-crypto",
+        "repo": "cryptonite",
+        "rev": "cec291d988f0f17828384f3358214ab9bf724a13",
+        "type": "github"
+      }
+    },
     "easy-ps": {
       "flake": false,
       "locked": {
@@ -1502,6 +1866,50 @@
         "type": "github"
       }
     },
+    "ema_6": {
+      "inputs": {
+        "flake-compat": "flake-compat_23",
+        "flake-utils": "flake-utils_34",
+        "lint-utils": "lint-utils_6",
+        "nixpkgs": "nixpkgs_34"
+      },
+      "locked": {
+        "lastModified": 1650932571,
+        "narHash": "sha256-rdpfJ+10a1uBPtHMNoAcpDE183RzpILRpsMgxj/YJek=",
+        "owner": "srid",
+        "repo": "ema",
+        "rev": "05c8a2127391ee4b593fa6541bc9078eb44ad10f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "multisite",
+        "repo": "ema",
+        "type": "github"
+      }
+    },
+    "ema_7": {
+      "inputs": {
+        "flake-compat": "flake-compat_27",
+        "flake-utils": "flake-utils_40",
+        "lint-utils": "lint-utils_7",
+        "nixpkgs": "nixpkgs_40"
+      },
+      "locked": {
+        "lastModified": 1650932571,
+        "narHash": "sha256-rdpfJ+10a1uBPtHMNoAcpDE183RzpILRpsMgxj/YJek=",
+        "owner": "srid",
+        "repo": "ema",
+        "rev": "05c8a2127391ee4b593fa6541bc9078eb44ad10f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "multisite",
+        "repo": "ema",
+        "type": "github"
+      }
+    },
     "emanote": {
       "inputs": {
         "ema": "ema",
@@ -1552,14 +1960,14 @@
       "inputs": {
         "ema": "ema_2",
         "flake-compat": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "emanote",
           "ema",
           "flake-compat"
         ],
         "flake-utils": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "emanote",
           "ema",
@@ -1568,7 +1976,7 @@
         "heist": "heist_2",
         "ixset-typed": "ixset-typed_2",
         "nixpkgs": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "emanote",
           "ema",
@@ -1598,16 +2006,14 @@
       "inputs": {
         "ema": "ema_3",
         "flake-compat": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "emanote",
           "ema",
           "flake-compat"
         ],
         "flake-utils": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "emanote",
           "ema",
@@ -1616,8 +2022,7 @@
         "heist": "heist_3",
         "ixset-typed": "ixset-typed_3",
         "nixpkgs": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "emanote",
           "ema",
@@ -1647,14 +2052,14 @@
       "inputs": {
         "ema": "ema_4",
         "flake-compat": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
           "flake-compat"
         ],
         "flake-utils": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -1663,7 +2068,7 @@
         "heist": "heist_4",
         "ixset-typed": "ixset-typed_4",
         "nixpkgs": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -1692,6 +2097,101 @@
     "emanote_5": {
       "inputs": {
         "ema": "ema_5",
+        "flake-compat": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-compat"
+        ],
+        "flake-utils": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-utils"
+        ],
+        "heist": "heist_5",
+        "ixset-typed": "ixset-typed_5",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch",
+          "emanote",
+          "ema",
+          "nixpkgs"
+        ],
+        "pandoc-link-context": "pandoc-link-context_5",
+        "pathtree": "pathtree_5",
+        "tailwind-haskell": "tailwind-haskell_5",
+        "unionmount": "unionmount_5"
+      },
+      "locked": {
+        "lastModified": 1651699367,
+        "narHash": "sha256-f+whlGwxzv5Lcem+rxBgIgnkU+KcckogtWbRwZ6nM4I=",
+        "owner": "srid",
+        "repo": "emanote",
+        "rev": "2b6558fde2999ec22f645cb95322995b780f09f1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "emanote",
+        "type": "github"
+      }
+    },
+    "emanote_6": {
+      "inputs": {
+        "ema": "ema_6",
+        "flake-compat": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-compat"
+        ],
+        "flake-utils": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-utils"
+        ],
+        "heist": "heist_6",
+        "ixset-typed": "ixset-typed_6",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "nixpkgs"
+        ],
+        "pandoc-link-context": "pandoc-link-context_6",
+        "pathtree": "pathtree_6",
+        "tailwind-haskell": "tailwind-haskell_6",
+        "unionmount": "unionmount_6"
+      },
+      "locked": {
+        "lastModified": 1651699367,
+        "narHash": "sha256-f+whlGwxzv5Lcem+rxBgIgnkU+KcckogtWbRwZ6nM4I=",
+        "owner": "srid",
+        "repo": "emanote",
+        "rev": "2b6558fde2999ec22f645cb95322995b780f09f1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "emanote",
+        "type": "github"
+      }
+    },
+    "emanote_7": {
+      "inputs": {
+        "ema": "ema_7",
         "flake-compat": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -1708,8 +2208,8 @@
           "ema",
           "flake-utils"
         ],
-        "heist": "heist_5",
-        "ixset-typed": "ixset-typed_5",
+        "heist": "heist_7",
+        "ixset-typed": "ixset-typed_7",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -1718,10 +2218,10 @@
           "ema",
           "nixpkgs"
         ],
-        "pandoc-link-context": "pandoc-link-context_5",
-        "pathtree": "pathtree_5",
-        "tailwind-haskell": "tailwind-haskell_5",
-        "unionmount": "unionmount_5"
+        "pandoc-link-context": "pandoc-link-context_7",
+        "pathtree": "pathtree_7",
+        "tailwind-haskell": "tailwind-haskell_7",
+        "unionmount": "unionmount_7"
       },
       "locked": {
         "lastModified": 1651699367,
@@ -2008,6 +2508,118 @@
         "type": "github"
       }
     },
+    "flake-compat_23": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648199409,
+        "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_24": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641205782,
+        "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_25": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641205782,
+        "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_26": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627913399,
+        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_27": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648199409,
+        "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_28": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641205782,
+        "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_29": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641205782,
+        "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
     "flake-compat_3": {
       "flake": false,
       "locked": {
@@ -2024,6 +2636,22 @@
         "type": "github"
       }
     },
+    "flake-compat_30": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627913399,
+        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
     "flake-compat_4": {
       "flake": false,
       "locked": {
@@ -2526,6 +3154,66 @@
       }
     },
     "flake-utils_34": {
+      "locked": {
+        "lastModified": 1648297722,
+        "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_35": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_36": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_37": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_38": {
       "locked": {
         "lastModified": 1631561581,
         "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
@@ -2540,13 +3228,13 @@
         "type": "github"
       }
     },
-    "flake-utils_35": {
+    "flake-utils_39": {
       "locked": {
-        "lastModified": 1623875721,
-        "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=",
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
         "type": "github"
       },
       "original": {
@@ -2570,6 +3258,126 @@
         "type": "github"
       }
     },
+    "flake-utils_40": {
+      "locked": {
+        "lastModified": 1648297722,
+        "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_41": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_42": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_43": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_44": {
+      "locked": {
+        "lastModified": 1631561581,
+        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_45": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_46": {
+      "locked": {
+        "lastModified": 1631561581,
+        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_47": {
+      "locked": {
+        "lastModified": 1623875721,
+        "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
     "flake-utils_5": {
       "locked": {
         "lastModified": 1642700792,
@@ -2747,6 +3555,40 @@
         "type": "github"
       }
     },
+    "flat_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641898475,
+        "narHash": "sha256-D7jJ4t0T1ZvXbO61r3HQj77hZ5hWF/P1L8X9+MnfD6c=",
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      }
+    },
+    "flat_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641898475,
+        "narHash": "sha256-D7jJ4t0T1ZvXbO61r3HQj77hZ5hWF/P1L8X9+MnfD6c=",
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      }
+    },
     "foundation": {
       "flake": false,
       "locked": {
@@ -2849,6 +3691,40 @@
         "type": "github"
       }
     },
+    "foundation_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1635711016,
+        "narHash": "sha256-5TRuljpwt50DLjyFjiFj6quFncu8RT0d8/0jlzsenuc=",
+        "owner": "haskell-foundation",
+        "repo": "foundation",
+        "rev": "0bb195e1fea06d144dafc5af9a0ff79af0a5f4a0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell-foundation",
+        "repo": "foundation",
+        "rev": "0bb195e1fea06d144dafc5af9a0ff79af0a5f4a0",
+        "type": "github"
+      }
+    },
+    "foundation_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1635711016,
+        "narHash": "sha256-5TRuljpwt50DLjyFjiFj6quFncu8RT0d8/0jlzsenuc=",
+        "owner": "haskell-foundation",
+        "repo": "foundation",
+        "rev": "0bb195e1fea06d144dafc5af9a0ff79af0a5f4a0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell-foundation",
+        "repo": "foundation",
+        "rev": "0bb195e1fea06d144dafc5af9a0ff79af0a5f4a0",
+        "type": "github"
+      }
+    },
     "ghc-8.6.5-iohk": {
       "flake": false,
       "locked": {
@@ -2866,6 +3742,40 @@
         "type": "github"
       }
     },
+    "ghc-8.6.5-iohk_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1600920045,
+        "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=",
+        "owner": "input-output-hk",
+        "repo": "ghc",
+        "rev": "95713a6ecce4551240da7c96b6176f980af75cae",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "ref": "release/8.6.5-iohk",
+        "repo": "ghc",
+        "type": "github"
+      }
+    },
+    "ghc-8.6.5-iohk_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1600920045,
+        "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=",
+        "owner": "input-output-hk",
+        "repo": "ghc",
+        "rev": "95713a6ecce4551240da7c96b6176f980af75cae",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "ref": "release/8.6.5-iohk",
+        "repo": "ghc",
+        "type": "github"
+      }
+    },
     "ghc-8.6.5-iohk_2": {
       "flake": false,
       "locked": {
@@ -3114,6 +4024,38 @@
         "type": "github"
       }
     },
+    "gitignore-nix_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1611672876,
+        "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=",
+        "owner": "hercules-ci",
+        "repo": "gitignore.nix",
+        "rev": "211907489e9f198594c0eb0ca9256a1949c9d412",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "gitignore.nix",
+        "type": "github"
+      }
+    },
+    "gitignore-nix_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1611672876,
+        "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=",
+        "owner": "hercules-ci",
+        "repo": "gitignore.nix",
+        "rev": "211907489e9f198594c0eb0ca9256a1949c9d412",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "gitignore.nix",
+        "type": "github"
+      }
+    },
     "hackage": {
       "flake": false,
       "locked": {
@@ -3242,6 +4184,70 @@
         "type": "github"
       }
     },
+    "hackage-nix_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644369434,
+        "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "644a0d702abf84cdec62f4e620ff1034000e6146",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
+    "hackage-nix_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644369434,
+        "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "644a0d702abf84cdec62f4e620ff1034000e6146",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
+    "hackage_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644887696,
+        "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
+    "hackage_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1633396333,
+        "narHash": "sha256-mq7OoYa7ODDoKzUxR8xuEtQ0F0LO9I5uZG9DTZY+A/U=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "0b33cf7ca5f152a6b3acda375433a6bc86f8d3e7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
     "hackage_2": {
       "flake": false,
       "locked": {
@@ -3357,11 +4363,11 @@
     "hackage_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1633396333,
-        "narHash": "sha256-mq7OoYa7ODDoKzUxR8xuEtQ0F0LO9I5uZG9DTZY+A/U=",
+        "lastModified": 1644887696,
+        "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "0b33cf7ca5f152a6b3acda375433a6bc86f8d3e7",
+        "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5",
         "type": "github"
       },
       "original": {
@@ -3453,6 +4459,72 @@
         "type": "github"
       }
     },
+    "haskell-language-server_14": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1645014262,
+        "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_15": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1643835246,
+        "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "1.6.1.1",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_16": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1645014262,
+        "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_17": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1643835246,
+        "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "1.6.1.1",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
     "haskell-language-server_2": {
       "flake": false,
       "locked": {
@@ -3636,8 +4708,7 @@
         "hpc-coveralls": "hpc-coveralls_6",
         "nix-tools": "nix-tools_6",
         "nixpkgs": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -3693,7 +4764,7 @@
         "hpc-coveralls": "hpc-coveralls_7",
         "nix-tools": "nix-tools_7",
         "nixpkgs": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -3750,7 +4821,7 @@
         "nix-tools": "nix-tools_8",
         "nixpkgs": [
           "plutarch-safe-money",
-          "plutarch-numeric",
+          "liqwid-plutarch-extra",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -3793,6 +4864,119 @@
         "type": "github"
       }
     },
+    "haskell-nix_16": {
+      "inputs": {
+        "HTTP": "HTTP_9",
+        "cabal-32": "cabal-32_9",
+        "cabal-34": "cabal-34_9",
+        "cabal-36": "cabal-36_8",
+        "cardano-shell": "cardano-shell_9",
+        "flake-utils": "flake-utils_39",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9",
+        "hackage": "hackage_9",
+        "hpc-coveralls": "hpc-coveralls_9",
+        "nix-tools": "nix-tools_9",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "nixpkgs-2003": "nixpkgs-2003_9",
+        "nixpkgs-2105": "nixpkgs-2105_9",
+        "nixpkgs-2111": "nixpkgs-2111_16",
+        "nixpkgs-unstable": "nixpkgs-unstable_9",
+        "old-ghc-nix": "old-ghc-nix_9",
+        "stackage": "stackage_9"
+      },
+      "locked": {
+        "lastModified": 1644944726,
+        "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=",
+        "owner": "L-as",
+        "repo": "haskell.nix",
+        "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "L-as",
+        "ref": "master",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
+    "haskell-nix_17": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1629380841,
+        "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
+    "haskell-nix_18": {
+      "inputs": {
+        "HTTP": "HTTP_10",
+        "cabal-32": "cabal-32_10",
+        "cabal-34": "cabal-34_10",
+        "cabal-36": "cabal-36_9",
+        "cardano-shell": "cardano-shell_10",
+        "flake-utils": "flake-utils_45",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_10",
+        "hackage": "hackage_10",
+        "hpc-coveralls": "hpc-coveralls_10",
+        "nix-tools": "nix-tools_10",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch-numeric",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "nixpkgs-2003": "nixpkgs-2003_10",
+        "nixpkgs-2105": "nixpkgs-2105_10",
+        "nixpkgs-2111": "nixpkgs-2111_18",
+        "nixpkgs-unstable": "nixpkgs-unstable_10",
+        "old-ghc-nix": "old-ghc-nix_10",
+        "stackage": "stackage_10"
+      },
+      "locked": {
+        "lastModified": 1644944726,
+        "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=",
+        "owner": "L-as",
+        "repo": "haskell.nix",
+        "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "L-as",
+        "ref": "master",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
+    "haskell-nix_19": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1629380841,
+        "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
     "haskell-nix_2": {
       "inputs": {
         "HTTP": "HTTP_2",
@@ -3970,7 +5154,7 @@
         "hpc-coveralls": "hpc-coveralls_5",
         "nix-tools": "nix-tools_5",
         "nixpkgs": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -4015,26 +5199,26 @@
     },
     "haskellNix": {
       "inputs": {
-        "HTTP": "HTTP_9",
-        "cabal-32": "cabal-32_9",
-        "cabal-34": "cabal-34_9",
-        "cardano-shell": "cardano-shell_9",
-        "flake-utils": "flake-utils_35",
-        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9",
-        "hackage": "hackage_9",
-        "hpc-coveralls": "hpc-coveralls_9",
-        "nix-tools": "nix-tools_9",
+        "HTTP": "HTTP_11",
+        "cabal-32": "cabal-32_11",
+        "cabal-34": "cabal-34_11",
+        "cardano-shell": "cardano-shell_11",
+        "flake-utils": "flake-utils_47",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_11",
+        "hackage": "hackage_11",
+        "hpc-coveralls": "hpc-coveralls_11",
+        "nix-tools": "nix-tools_11",
         "nixpkgs": [
           "purescript-bridge",
           "haskellNix",
           "nixpkgs-2105"
         ],
-        "nixpkgs-2003": "nixpkgs-2003_9",
+        "nixpkgs-2003": "nixpkgs-2003_11",
         "nixpkgs-2009": "nixpkgs-2009",
-        "nixpkgs-2105": "nixpkgs-2105_9",
-        "nixpkgs-unstable": "nixpkgs-unstable_9",
-        "old-ghc-nix": "old-ghc-nix_9",
-        "stackage": "stackage_9"
+        "nixpkgs-2105": "nixpkgs-2105_11",
+        "nixpkgs-unstable": "nixpkgs-unstable_11",
+        "old-ghc-nix": "old-ghc-nix_11",
+        "stackage": "stackage_11"
       },
       "locked": {
         "lastModified": 1633435111,
@@ -4135,6 +5319,40 @@
         "type": "github"
       }
     },
+    "heist_6": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649279862,
+        "narHash": "sha256-YPD7Qv1ZcXM4uAlsZ2P/2CKen4H2OY3VHHGluYFVulg=",
+        "owner": "srid",
+        "repo": "heist",
+        "rev": "085c7ab88b73079de27c8def27d67f03853fde05",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "emanote-release--ghc9",
+        "repo": "heist",
+        "type": "github"
+      }
+    },
+    "heist_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649279862,
+        "narHash": "sha256-YPD7Qv1ZcXM4uAlsZ2P/2CKen4H2OY3VHHGluYFVulg=",
+        "owner": "srid",
+        "repo": "heist",
+        "rev": "085c7ab88b73079de27c8def27d67f03853fde05",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "emanote-release--ghc9",
+        "repo": "heist",
+        "type": "github"
+      }
+    },
     "hercules-ci-effects": {
       "inputs": {
         "nixpkgs": "nixpkgs_6"
@@ -4243,6 +5461,42 @@
         "type": "github"
       }
     },
+    "hercules-ci-effects_7": {
+      "inputs": {
+        "nixpkgs": "nixpkgs_38"
+      },
+      "locked": {
+        "lastModified": 1647711660,
+        "narHash": "sha256-ZoV/oAH8g4NYeTzC7OCZnlM7l0hNBs0nUHf4l1+lmDc=",
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "rev": "d17e41cfb454d07f5d8d3b667bf45b079d868541",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "type": "github"
+      }
+    },
+    "hercules-ci-effects_8": {
+      "inputs": {
+        "nixpkgs": "nixpkgs_44"
+      },
+      "locked": {
+        "lastModified": 1647711660,
+        "narHash": "sha256-ZoV/oAH8g4NYeTzC7OCZnlM7l0hNBs0nUHf4l1+lmDc=",
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "rev": "d17e41cfb454d07f5d8d3b667bf45b079d868541",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "type": "github"
+      }
+    },
     "hpc-coveralls": {
       "flake": false,
       "locked": {
@@ -4259,6 +5513,38 @@
         "type": "github"
       }
     },
+    "hpc-coveralls_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1607498076,
+        "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=",
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430",
+        "type": "github"
+      },
+      "original": {
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "type": "github"
+      }
+    },
+    "hpc-coveralls_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1607498076,
+        "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=",
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430",
+        "type": "github"
+      },
+      "original": {
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "type": "github"
+      }
+    },
     "hpc-coveralls_2": {
       "flake": false,
       "locked": {
@@ -4489,6 +5775,40 @@
         "type": "github"
       }
     },
+    "hs-memory_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1636757734,
+        "narHash": "sha256-DIlt0NpFUx8IUeTcgZNBJWWfyNaKv5ZKYw1K9aLvxBs=",
+        "owner": "vincenthz",
+        "repo": "hs-memory",
+        "rev": "3cf661a8a9a8ac028df77daa88e8d65c55a3347a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "vincenthz",
+        "repo": "hs-memory",
+        "rev": "3cf661a8a9a8ac028df77daa88e8d65c55a3347a",
+        "type": "github"
+      }
+    },
+    "hs-memory_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1636757734,
+        "narHash": "sha256-DIlt0NpFUx8IUeTcgZNBJWWfyNaKv5ZKYw1K9aLvxBs=",
+        "owner": "vincenthz",
+        "repo": "hs-memory",
+        "rev": "3cf661a8a9a8ac028df77daa88e8d65c55a3347a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "vincenthz",
+        "repo": "hs-memory",
+        "rev": "3cf661a8a9a8ac028df77daa88e8d65c55a3347a",
+        "type": "github"
+      }
+    },
     "hspec": {
       "flake": false,
       "locked": {
@@ -4602,6 +5922,38 @@
         "type": "github"
       }
     },
+    "hspec-golden_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648755064,
+        "narHash": "sha256-5a6BksZx00o2iL0Ei/L1Kkou2BsnsIagN+tTmqYyKfs=",
+        "owner": "stackbuilders",
+        "repo": "hspec-golden",
+        "rev": "4b0ad56b2de0254a7b1e0feda917656f78a5bcda",
+        "type": "github"
+      },
+      "original": {
+        "owner": "stackbuilders",
+        "repo": "hspec-golden",
+        "type": "github"
+      }
+    },
+    "hspec-golden_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648755064,
+        "narHash": "sha256-5a6BksZx00o2iL0Ei/L1Kkou2BsnsIagN+tTmqYyKfs=",
+        "owner": "stackbuilders",
+        "repo": "hspec-golden",
+        "rev": "4b0ad56b2de0254a7b1e0feda917656f78a5bcda",
+        "type": "github"
+      },
+      "original": {
+        "owner": "stackbuilders",
+        "repo": "hspec-golden",
+        "type": "github"
+      }
+    },
     "hspec-hedgehog": {
       "flake": false,
       "locked": {
@@ -4698,6 +6050,38 @@
         "type": "github"
       }
     },
+    "hspec-hedgehog_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1602603478,
+        "narHash": "sha256-XnS3zjQ7eh3iBOWq+Z/YcwrfWI55hV6k8LsZ8qm/qOc=",
+        "owner": "parsonsmatt",
+        "repo": "hspec-hedgehog",
+        "rev": "eb617d854542510f0129acdea4bf52e50b13042e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "parsonsmatt",
+        "repo": "hspec-hedgehog",
+        "type": "github"
+      }
+    },
+    "hspec-hedgehog_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1602603478,
+        "narHash": "sha256-XnS3zjQ7eh3iBOWq+Z/YcwrfWI55hV6k8LsZ8qm/qOc=",
+        "owner": "parsonsmatt",
+        "repo": "hspec-hedgehog",
+        "rev": "eb617d854542510f0129acdea4bf52e50b13042e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "parsonsmatt",
+        "repo": "hspec-hedgehog",
+        "type": "github"
+      }
+    },
     "hspec_2": {
       "flake": false,
       "locked": {
@@ -4783,6 +6167,40 @@
         "type": "github"
       }
     },
+    "hspec_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649095108,
+        "narHash": "sha256-cPmt4hvmdh727VT6UAL8yFArmm4FAWeg3K5Qi3XtU4g=",
+        "owner": "srid",
+        "repo": "hspec",
+        "rev": "44f2a143e10c93df237af428457d0e4b74ae270a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "askAncestors",
+        "repo": "hspec",
+        "type": "github"
+      }
+    },
+    "hspec_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649095108,
+        "narHash": "sha256-cPmt4hvmdh727VT6UAL8yFArmm4FAWeg3K5Qi3XtU4g=",
+        "owner": "srid",
+        "repo": "hspec",
+        "rev": "44f2a143e10c93df237af428457d0e4b74ae270a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "askAncestors",
+        "repo": "hspec",
+        "type": "github"
+      }
+    },
     "iohk-nix": {
       "flake": false,
       "locked": {
@@ -4863,6 +6281,70 @@
         "type": "github"
       }
     },
+    "iohk-nix_14": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1643251385,
+        "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
+    "iohk-nix_15": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
+    "iohk-nix_16": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1643251385,
+        "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
+    "iohk-nix_17": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
     "iohk-nix_2": {
       "flake": false,
       "locked": {
@@ -5071,6 +6553,38 @@
         "type": "github"
       }
     },
+    "ixset-typed_6": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1639657838,
+        "narHash": "sha256-pI2dzJfkR10CHDEX6TV2E01pqcGkj7kheROw05MRTR8=",
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "rev": "6cf16f77ae173311742623e5f0b308a21b337aa7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "type": "github"
+      }
+    },
+    "ixset-typed_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1639657838,
+        "narHash": "sha256-pI2dzJfkR10CHDEX6TV2E01pqcGkj7kheROw05MRTR8=",
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "rev": "6cf16f77ae173311742623e5f0b308a21b337aa7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "type": "github"
+      }
+    },
     "lint-utils": {
       "inputs": {
         "flake-utils": "flake-utils_4",
@@ -5101,7 +6615,7 @@
       "inputs": {
         "flake-utils": "flake-utils_11",
         "nixpkgs": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "emanote",
           "ema",
@@ -5127,8 +6641,7 @@
       "inputs": {
         "flake-utils": "flake-utils_17",
         "nixpkgs": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "emanote",
           "ema",
@@ -5154,7 +6667,7 @@
       "inputs": {
         "flake-utils": "flake-utils_23",
         "nixpkgs": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -5179,6 +6692,59 @@
     "lint-utils_5": {
       "inputs": {
         "flake-utils": "flake-utils_29",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch",
+          "emanote",
+          "ema",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1650427214,
+        "narHash": "sha256-9m66rRSSM614ocRXNPAArwnrS6zzCQYYhd3nw8g4QUg=",
+        "ref": "overengineered",
+        "rev": "5555def5a25c5437834c06cbe79b3945916ec59f",
+        "revCount": 28,
+        "type": "git",
+        "url": "https://gitlab.homotopic.tech/nix/lint-utils.git"
+      },
+      "original": {
+        "ref": "overengineered",
+        "type": "git",
+        "url": "https://gitlab.homotopic.tech/nix/lint-utils.git"
+      }
+    },
+    "lint-utils_6": {
+      "inputs": {
+        "flake-utils": "flake-utils_35",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1650427214,
+        "narHash": "sha256-9m66rRSSM614ocRXNPAArwnrS6zzCQYYhd3nw8g4QUg=",
+        "ref": "overengineered",
+        "rev": "5555def5a25c5437834c06cbe79b3945916ec59f",
+        "revCount": 28,
+        "type": "git",
+        "url": "https://gitlab.homotopic.tech/nix/lint-utils.git"
+      },
+      "original": {
+        "ref": "overengineered",
+        "type": "git",
+        "url": "https://gitlab.homotopic.tech/nix/lint-utils.git"
+      }
+    },
+    "lint-utils_7": {
+      "inputs": {
+        "flake-utils": "flake-utils_41",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -5247,8 +6813,8 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_9",
-        "plutarch": "plutarch_4"
+        "nixpkgs-2111": "nixpkgs-2111_13",
+        "plutarch": "plutarch_6"
       },
       "locked": {
         "lastModified": 1653534226,
@@ -5281,6 +6847,38 @@
         "type": "github"
       }
     },
+    "nix-tools_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644395812,
+        "narHash": "sha256-BVFk/BEsTLq5MMZvdy3ZYHKfaS3dHrsKh4+tb5t5b58=",
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "rev": "d847c63b99bbec78bf83be2a61dc9f09b8a9ccc1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "type": "github"
+      }
+    },
+    "nix-tools_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627889534,
+        "narHash": "sha256-9eEbK2nrRp6rYGQoBv6LO9IA/ANZpofwAkxMuGBD45Y=",
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "rev": "15d2e4b61cb63ff351f3c490c12c4d89eafd31a1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "type": "github"
+      }
+    },
     "nix-tools_2": {
       "flake": false,
       "locked": {
@@ -5396,11 +6994,11 @@
     "nix-tools_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1627889534,
-        "narHash": "sha256-9eEbK2nrRp6rYGQoBv6LO9IA/ANZpofwAkxMuGBD45Y=",
+        "lastModified": 1644395812,
+        "narHash": "sha256-BVFk/BEsTLq5MMZvdy3ZYHKfaS3dHrsKh4+tb5t5b58=",
         "owner": "input-output-hk",
         "repo": "nix-tools",
-        "rev": "15d2e4b61cb63ff351f3c490c12c4d89eafd31a1",
+        "rev": "d847c63b99bbec78bf83be2a61dc9f09b8a9ccc1",
         "type": "github"
       },
       "original": {
@@ -5442,6 +7040,38 @@
         "type": "github"
       }
     },
+    "nixpkgs-2003_10": {
+      "locked": {
+        "lastModified": 1620055814,
+        "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-20.03-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2003_11": {
+      "locked": {
+        "lastModified": 1620055814,
+        "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-20.03-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2003_2": {
       "locked": {
         "lastModified": 1620055814,
@@ -5602,6 +7232,38 @@
         "type": "github"
       }
     },
+    "nixpkgs-2105_10": {
+      "locked": {
+        "lastModified": 1642244250,
+        "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0fd9ee1aa36ce865ad273f4f07fdc093adeb5c00",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.05-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2105_11": {
+      "locked": {
+        "lastModified": 1630481079,
+        "narHash": "sha256-leWXLchbAbqOlLT6tju631G40SzQWPqaAXQG3zH1Imw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "110a2c9ebbf5d4a94486854f18a37a938cfacbbb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.05-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2105_2": {
       "locked": {
         "lastModified": 1639202042,
@@ -5716,11 +7378,11 @@
     },
     "nixpkgs-2105_9": {
       "locked": {
-        "lastModified": 1630481079,
-        "narHash": "sha256-leWXLchbAbqOlLT6tju631G40SzQWPqaAXQG3zH1Imw=",
+        "lastModified": 1642244250,
+        "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "110a2c9ebbf5d4a94486854f18a37a938cfacbbb",
+        "rev": "0fd9ee1aa36ce865ad273f4f07fdc093adeb5c00",
         "type": "github"
       },
       "original": {
@@ -5764,11 +7426,11 @@
     },
     "nixpkgs-2111_11": {
       "locked": {
-        "lastModified": 1653319070,
-        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
+        "lastModified": 1652364845,
+        "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
+        "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193",
         "type": "github"
       },
       "original": {
@@ -5795,6 +7457,38 @@
       }
     },
     "nixpkgs-2111_13": {
+      "locked": {
+        "lastModified": 1653305485,
+        "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "4cfde57fa833868781e0ba743a628d683adf96a8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_14": {
+      "locked": {
+        "lastModified": 1644510859,
+        "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0d1d5d7e3679fec9d07f2eb804d9f9fdb98378d3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_15": {
       "locked": {
         "lastModified": 1653319070,
         "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
@@ -5810,7 +7504,39 @@
         "type": "github"
       }
     },
-    "nixpkgs-2111_14": {
+    "nixpkgs-2111_16": {
+      "locked": {
+        "lastModified": 1644510859,
+        "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0d1d5d7e3679fec9d07f2eb804d9f9fdb98378d3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_17": {
+      "locked": {
+        "lastModified": 1653319070,
+        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_18": {
       "locked": {
         "lastModified": 1644510859,
         "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=",
@@ -5908,11 +7634,11 @@
     },
     "nixpkgs-2111_7": {
       "locked": {
-        "lastModified": 1653319070,
-        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
+        "lastModified": 1652298859,
+        "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
+        "rev": "051448e41537c3463ae776d46115d01afb6c498d",
         "type": "github"
       },
       "original": {
@@ -5940,11 +7666,11 @@
     },
     "nixpkgs-2111_9": {
       "locked": {
-        "lastModified": 1653305485,
-        "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=",
+        "lastModified": 1653319070,
+        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "4cfde57fa833868781e0ba743a628d683adf96a8",
+        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
         "type": "github"
       },
       "original": {
@@ -5970,6 +7696,38 @@
         "type": "github"
       }
     },
+    "nixpkgs-unstable_10": {
+      "locked": {
+        "lastModified": 1644486793,
+        "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1882c6b7368fd284ad01b0a5b5601ef136321292",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-unstable_11": {
+      "locked": {
+        "lastModified": 1628785280,
+        "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-unstable_2": {
       "locked": {
         "lastModified": 1639239143,
@@ -6084,11 +7842,11 @@
     },
     "nixpkgs-unstable_9": {
       "locked": {
-        "lastModified": 1628785280,
-        "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=",
+        "lastModified": 1644486793,
+        "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb",
+        "rev": "1882c6b7368fd284ad01b0a5b5601ef136321292",
         "type": "github"
       },
       "original": {
@@ -6510,6 +8268,101 @@
         "type": "github"
       }
     },
+    "nixpkgs_34": {
+      "locked": {
+        "lastModified": 1650882267,
+        "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      }
+    },
+    "nixpkgs_35": {
+      "locked": {
+        "lastModified": 1647350163,
+        "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      }
+    },
+    "nixpkgs_36": {
+      "locked": {
+        "lastModified": 1649456639,
+        "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      }
+    },
+    "nixpkgs_37": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs_38": {
+      "locked": {
+        "lastModified": 1647297614,
+        "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs_39": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1628785280,
+        "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs_4": {
       "locked": {
         "lastModified": 1649456639,
@@ -6526,6 +8379,101 @@
         "type": "github"
       }
     },
+    "nixpkgs_40": {
+      "locked": {
+        "lastModified": 1650882267,
+        "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      }
+    },
+    "nixpkgs_41": {
+      "locked": {
+        "lastModified": 1647350163,
+        "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      }
+    },
+    "nixpkgs_42": {
+      "locked": {
+        "lastModified": 1649456639,
+        "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      }
+    },
+    "nixpkgs_43": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs_44": {
+      "locked": {
+        "lastModified": 1647297614,
+        "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs_45": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1628785280,
+        "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs_5": {
       "locked": {
         "lastModified": 1648219316,
@@ -6623,6 +8571,40 @@
         "type": "github"
       }
     },
+    "old-ghc-nix_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631092763,
+        "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=",
+        "owner": "angerman",
+        "repo": "old-ghc-nix",
+        "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "angerman",
+        "ref": "master",
+        "repo": "old-ghc-nix",
+        "type": "github"
+      }
+    },
+    "old-ghc-nix_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631092763,
+        "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=",
+        "owner": "angerman",
+        "repo": "old-ghc-nix",
+        "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "angerman",
+        "ref": "master",
+        "repo": "old-ghc-nix",
+        "type": "github"
+      }
+    },
     "old-ghc-nix_2": {
       "flake": false,
       "locked": {
@@ -6844,6 +8826,40 @@
         "type": "github"
       }
     },
+    "pandoc-link-context_6": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650932770,
+        "narHash": "sha256-/WzE4O23B1OcL3WF8Saz5TRQj0tGH7FtbgRLRson2Mc=",
+        "owner": "srid",
+        "repo": "pandoc-link-context",
+        "rev": "85bd204339aafd309b8a3dd99ebffa6a50776cb6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "pandoc-link-context",
+        "type": "github"
+      }
+    },
+    "pandoc-link-context_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650932770,
+        "narHash": "sha256-/WzE4O23B1OcL3WF8Saz5TRQj0tGH7FtbgRLRson2Mc=",
+        "owner": "srid",
+        "repo": "pandoc-link-context",
+        "rev": "85bd204339aafd309b8a3dd99ebffa6a50776cb6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "pandoc-link-context",
+        "type": "github"
+      }
+    },
     "pathtree": {
       "inputs": {
         "flake-compat": "flake-compat_4",
@@ -6944,6 +8960,46 @@
         "type": "github"
       }
     },
+    "pathtree_6": {
+      "inputs": {
+        "flake-compat": "flake-compat_24",
+        "flake-utils": "flake-utils_36",
+        "nixpkgs": "nixpkgs_35"
+      },
+      "locked": {
+        "lastModified": 1649011952,
+        "narHash": "sha256-RuNIoPXx0xy5TZ81JH33V8EqXWX5erv8gepM0Aaeat8=",
+        "owner": "srid",
+        "repo": "pathtree",
+        "rev": "d60f22b356f79663aca3f5fde9f23bb4a1412963",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "repo": "pathtree",
+        "type": "github"
+      }
+    },
+    "pathtree_7": {
+      "inputs": {
+        "flake-compat": "flake-compat_28",
+        "flake-utils": "flake-utils_42",
+        "nixpkgs": "nixpkgs_41"
+      },
+      "locked": {
+        "lastModified": 1649011952,
+        "narHash": "sha256-RuNIoPXx0xy5TZ81JH33V8EqXWX5erv8gepM0Aaeat8=",
+        "owner": "srid",
+        "repo": "pathtree",
+        "rev": "d60f22b356f79663aca3f5fde9f23bb4a1412963",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "repo": "pathtree",
+        "type": "github"
+      }
+    },
     "plutarch": {
       "inputs": {
         "Shrinker": "Shrinker",
@@ -6988,6 +9044,36 @@
         "type": "github"
       }
     },
+    "plutarch-context-builder": {
+      "inputs": {
+        "haskell-nix": [
+          "plutarch-context-builder",
+          "plutarch",
+          "haskell-nix"
+        ],
+        "nixpkgs": [
+          "plutarch-context-builder",
+          "plutarch",
+          "nixpkgs"
+        ],
+        "nixpkgs-2111": "nixpkgs-2111_7",
+        "plutarch": "plutarch_3"
+      },
+      "locked": {
+        "lastModified": 1653337595,
+        "narHash": "sha256-ROikMJPvL1CpKrd/bPLImiDZp3t3pCMlbJC1iDk7cqE=",
+        "ref": "main",
+        "rev": "980a565b89e9aa893129d26ab01f98e1f65e94c4",
+        "revCount": 13,
+        "type": "git",
+        "url": "ssh://git@github.com/Liqwid-Labs/plutarch-context-builder"
+      },
+      "original": {
+        "ref": "main",
+        "type": "git",
+        "url": "ssh://git@github.com/Liqwid-Labs/plutarch-context-builder"
+      }
+    },
     "plutarch-numeric": {
       "inputs": {
         "haskell-nix": [
@@ -7000,8 +9086,8 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_7",
-        "plutarch": "plutarch_3"
+        "nixpkgs-2111": "nixpkgs-2111_9",
+        "plutarch": "plutarch_4"
       },
       "locked": {
         "lastModified": 1653523611,
@@ -7032,8 +9118,8 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_13",
-        "plutarch": "plutarch_6"
+        "nixpkgs-2111": "nixpkgs-2111_17",
+        "plutarch": "plutarch_8"
       },
       "locked": {
         "lastModified": 1653523611,
@@ -7050,6 +9136,35 @@
         "url": "ssh://git@github.com/Liqwid-Labs/plutarch-numeric"
       }
     },
+    "plutarch-quickcheck": {
+      "inputs": {
+        "haskell-nix": [
+          "plutarch-quickcheck",
+          "plutarch",
+          "haskell-nix"
+        ],
+        "nixpkgs": [
+          "plutarch-quickcheck",
+          "plutarch",
+          "nixpkgs"
+        ],
+        "nixpkgs-2111": "nixpkgs-2111_11",
+        "plutarch": "plutarch_5"
+      },
+      "locked": {
+        "lastModified": 1653434038,
+        "narHash": "sha256-0eAtAVkD3MKkLCmHbI1NncaEK73UmweWtrYKOuwMLWY=",
+        "owner": "liqwid-labs",
+        "repo": "plutarch-quickcheck",
+        "rev": "853a1135a401660c87771e698334d5b15b77e031",
+        "type": "github"
+      },
+      "original": {
+        "owner": "liqwid-labs",
+        "repo": "plutarch-quickcheck",
+        "type": "github"
+      }
+    },
     "plutarch-safe-money": {
       "inputs": {
         "haskell-nix": [
@@ -7063,8 +9178,8 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_11",
-        "plutarch": "plutarch_5",
+        "nixpkgs-2111": "nixpkgs-2111_15",
+        "plutarch": "plutarch_7",
         "plutarch-numeric": "plutarch-numeric_2"
       },
       "locked": {
@@ -7148,7 +9263,7 @@
         "hspec-hedgehog": "hspec-hedgehog_3",
         "iohk-nix": "iohk-nix_6",
         "nixpkgs": [
-          "plutarch-numeric",
+          "plutarch-context-builder",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -7161,13 +9276,13 @@
       "locked": {
         "lastModified": 1652353304,
         "narHash": "sha256-DeSwiDyJeI9had5OCxLiGtYeDl07Vic0cR8RETBLY9k=",
-        "owner": "Liqwid-Labs",
+        "owner": "Plutonomicon",
         "repo": "plutarch",
         "rev": "ae2059f11f24d47bedeaa18749d01711cddab0bc",
         "type": "github"
       },
       "original": {
-        "owner": "Liqwid-Labs",
+        "owner": "Plutonomicon",
         "ref": "staging",
         "repo": "plutarch",
         "type": "github"
@@ -7192,8 +9307,7 @@
         "hspec-hedgehog": "hspec-hedgehog_4",
         "iohk-nix": "iohk-nix_8",
         "nixpkgs": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
+          "plutarch-numeric",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -7237,7 +9351,7 @@
         "hspec-hedgehog": "hspec-hedgehog_5",
         "iohk-nix": "iohk-nix_10",
         "nixpkgs": [
-          "plutarch-safe-money",
+          "plutarch-quickcheck",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -7282,7 +9396,7 @@
         "iohk-nix": "iohk-nix_12",
         "nixpkgs": [
           "plutarch-safe-money",
-          "plutarch-numeric",
+          "liqwid-plutarch-extra",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -7307,6 +9421,95 @@
         "type": "github"
       }
     },
+    "plutarch_7": {
+      "inputs": {
+        "Shrinker": "Shrinker_7",
+        "cardano-base": "cardano-base_7",
+        "cardano-crypto": "cardano-crypto_7",
+        "cardano-prelude": "cardano-prelude_7",
+        "cryptonite": "cryptonite_7",
+        "emanote": "emanote_6",
+        "flat": "flat_7",
+        "foundation": "foundation_7",
+        "haskell-language-server": "haskell-language-server_14",
+        "haskell-nix": "haskell-nix_16",
+        "hercules-ci-effects": "hercules-ci-effects_7",
+        "hs-memory": "hs-memory_7",
+        "hspec": "hspec_7",
+        "hspec-golden": "hspec-golden_7",
+        "hspec-hedgehog": "hspec-hedgehog_7",
+        "iohk-nix": "iohk-nix_14",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "plutus": "plutus_8",
+        "protolude": "protolude_7",
+        "sized-functors": "sized-functors_7",
+        "th-extras": "th-extras_7"
+      },
+      "locked": {
+        "lastModified": 1652353304,
+        "narHash": "sha256-DeSwiDyJeI9had5OCxLiGtYeDl07Vic0cR8RETBLY9k=",
+        "owner": "Liqwid-Labs",
+        "repo": "plutarch",
+        "rev": "ae2059f11f24d47bedeaa18749d01711cddab0bc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Liqwid-Labs",
+        "ref": "staging",
+        "repo": "plutarch",
+        "type": "github"
+      }
+    },
+    "plutarch_8": {
+      "inputs": {
+        "Shrinker": "Shrinker_8",
+        "cardano-base": "cardano-base_8",
+        "cardano-crypto": "cardano-crypto_8",
+        "cardano-prelude": "cardano-prelude_8",
+        "cryptonite": "cryptonite_8",
+        "emanote": "emanote_7",
+        "flat": "flat_8",
+        "foundation": "foundation_8",
+        "haskell-language-server": "haskell-language-server_16",
+        "haskell-nix": "haskell-nix_18",
+        "hercules-ci-effects": "hercules-ci-effects_8",
+        "hs-memory": "hs-memory_8",
+        "hspec": "hspec_8",
+        "hspec-golden": "hspec-golden_8",
+        "hspec-hedgehog": "hspec-hedgehog_8",
+        "iohk-nix": "iohk-nix_16",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch-numeric",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "plutus": "plutus_9",
+        "protolude": "protolude_8",
+        "sized-functors": "sized-functors_8",
+        "th-extras": "th-extras_8"
+      },
+      "locked": {
+        "lastModified": 1652353304,
+        "narHash": "sha256-DeSwiDyJeI9had5OCxLiGtYeDl07Vic0cR8RETBLY9k=",
+        "owner": "Liqwid-Labs",
+        "repo": "plutarch",
+        "rev": "ae2059f11f24d47bedeaa18749d01711cddab0bc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Liqwid-Labs",
+        "ref": "staging",
+        "repo": "plutarch",
+        "type": "github"
+      }
+    },
     "plutus": {
       "inputs": {
         "cardano-repo-tool": "cardano-repo-tool",
@@ -7502,6 +9705,62 @@
         "type": "github"
       }
     },
+    "plutus_8": {
+      "inputs": {
+        "cardano-repo-tool": "cardano-repo-tool_8",
+        "gitignore-nix": "gitignore-nix_8",
+        "hackage-nix": "hackage-nix_8",
+        "haskell-language-server": "haskell-language-server_15",
+        "haskell-nix": "haskell-nix_17",
+        "iohk-nix": "iohk-nix_15",
+        "nixpkgs": "nixpkgs_39",
+        "pre-commit-hooks-nix": "pre-commit-hooks-nix_8",
+        "sphinxcontrib-haddock": "sphinxcontrib-haddock_8",
+        "stackage-nix": "stackage-nix_8"
+      },
+      "locked": {
+        "lastModified": 1645203653,
+        "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=",
+        "owner": "L-as",
+        "repo": "plutus",
+        "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "L-as",
+        "ref": "ghc9",
+        "repo": "plutus",
+        "type": "github"
+      }
+    },
+    "plutus_9": {
+      "inputs": {
+        "cardano-repo-tool": "cardano-repo-tool_9",
+        "gitignore-nix": "gitignore-nix_9",
+        "hackage-nix": "hackage-nix_9",
+        "haskell-language-server": "haskell-language-server_17",
+        "haskell-nix": "haskell-nix_19",
+        "iohk-nix": "iohk-nix_17",
+        "nixpkgs": "nixpkgs_45",
+        "pre-commit-hooks-nix": "pre-commit-hooks-nix_9",
+        "sphinxcontrib-haddock": "sphinxcontrib-haddock_9",
+        "stackage-nix": "stackage-nix_9"
+      },
+      "locked": {
+        "lastModified": 1645203653,
+        "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=",
+        "owner": "L-as",
+        "repo": "plutus",
+        "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "L-as",
+        "ref": "ghc9",
+        "repo": "plutus",
+        "type": "github"
+      }
+    },
     "pre-commit-hooks-nix": {
       "flake": false,
       "locked": {
@@ -7614,6 +9873,38 @@
         "type": "github"
       }
     },
+    "pre-commit-hooks-nix_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1624971177,
+        "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=",
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "type": "github"
+      }
+    },
+    "pre-commit-hooks-nix_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1624971177,
+        "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=",
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "type": "github"
+      }
+    },
     "protolude": {
       "flake": false,
       "locked": {
@@ -7716,10 +10007,44 @@
         "type": "github"
       }
     },
+    "protolude_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1637276813,
+        "narHash": "sha256-/mgR1Vyp1WYBjdkbwQycrf6lcmOgUFcYUZIMhVgYhdo=",
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      }
+    },
+    "protolude_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1637276813,
+        "narHash": "sha256-/mgR1Vyp1WYBjdkbwQycrf6lcmOgUFcYUZIMhVgYhdo=",
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      }
+    },
     "purescript-bridge": {
       "inputs": {
         "easy-ps": "easy-ps",
-        "flake-utils": "flake-utils_34",
+        "flake-utils": "flake-utils_46",
         "haskellNix": "haskellNix",
         "nixpkgs": [
           "purescript-bridge",
@@ -7757,7 +10082,9 @@
         ],
         "nixpkgs-2111": "nixpkgs-2111_5",
         "plutarch": "plutarch_2",
+        "plutarch-context-builder": "plutarch-context-builder",
         "plutarch-numeric": "plutarch-numeric",
+        "plutarch-quickcheck": "plutarch-quickcheck",
         "plutarch-safe-money": "plutarch-safe-money",
         "purescript-bridge": "purescript-bridge"
       }
@@ -7864,6 +10191,40 @@
         "type": "github"
       }
     },
+    "sized-functors_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1620614934,
+        "narHash": "sha256-pVJbEGF4/lvXmWIypwkMQBYygOx3TQwLJbMpfdYovdY=",
+        "owner": "JonasDuregard",
+        "repo": "sized-functors",
+        "rev": "fe6bf78a1b97ff7429630d0e8974c9bc40945dcf",
+        "type": "github"
+      },
+      "original": {
+        "owner": "JonasDuregard",
+        "repo": "sized-functors",
+        "rev": "fe6bf78a1b97ff7429630d0e8974c9bc40945dcf",
+        "type": "github"
+      }
+    },
+    "sized-functors_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1620614934,
+        "narHash": "sha256-pVJbEGF4/lvXmWIypwkMQBYygOx3TQwLJbMpfdYovdY=",
+        "owner": "JonasDuregard",
+        "repo": "sized-functors",
+        "rev": "fe6bf78a1b97ff7429630d0e8974c9bc40945dcf",
+        "type": "github"
+      },
+      "original": {
+        "owner": "JonasDuregard",
+        "repo": "sized-functors",
+        "rev": "fe6bf78a1b97ff7429630d0e8974c9bc40945dcf",
+        "type": "github"
+      }
+    },
     "sphinxcontrib-haddock": {
       "flake": false,
       "locked": {
@@ -7976,6 +10337,38 @@
         "type": "github"
       }
     },
+    "sphinxcontrib-haddock_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1594136664,
+        "narHash": "sha256-O9YT3iCUBHP3CEF88VDLLCO2HSP3HqkNA2q2939RnVY=",
+        "owner": "michaelpj",
+        "repo": "sphinxcontrib-haddock",
+        "rev": "f3956b3256962b2d27d5a4e96edb7951acf5de34",
+        "type": "github"
+      },
+      "original": {
+        "owner": "michaelpj",
+        "repo": "sphinxcontrib-haddock",
+        "type": "github"
+      }
+    },
+    "sphinxcontrib-haddock_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1594136664,
+        "narHash": "sha256-O9YT3iCUBHP3CEF88VDLLCO2HSP3HqkNA2q2939RnVY=",
+        "owner": "michaelpj",
+        "repo": "sphinxcontrib-haddock",
+        "rev": "f3956b3256962b2d27d5a4e96edb7951acf5de34",
+        "type": "github"
+      },
+      "original": {
+        "owner": "michaelpj",
+        "repo": "sphinxcontrib-haddock",
+        "type": "github"
+      }
+    },
     "stackage": {
       "flake": false,
       "locked": {
@@ -8104,6 +10497,70 @@
         "type": "github"
       }
     },
+    "stackage-nix_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1597712578,
+        "narHash": "sha256-c/pcfZ6w5Yp//7oC0hErOGVVphBLc5vc4IZlWKZ/t6E=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "e32c8b06d56954865725514ce0d98d5d1867e43a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
+    "stackage-nix_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1597712578,
+        "narHash": "sha256-c/pcfZ6w5Yp//7oC0hErOGVVphBLc5vc4IZlWKZ/t6E=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "e32c8b06d56954865725514ce0d98d5d1867e43a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
+    "stackage_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644887829,
+        "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
+    "stackage_11": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1633224172,
+        "narHash": "sha256-Hw2jWJiS6ky0D5BhSyaw5PItzmTpRni4BUcCJmbESWk=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "948c9bde3d0b3aa452e0b19c34ae6385ac563160",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
     "stackage_2": {
       "flake": false,
       "locked": {
@@ -8219,11 +10676,11 @@
     "stackage_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1633224172,
-        "narHash": "sha256-Hw2jWJiS6ky0D5BhSyaw5PItzmTpRni4BUcCJmbESWk=",
+        "lastModified": 1644887829,
+        "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=",
         "owner": "input-output-hk",
         "repo": "stackage.nix",
-        "rev": "948c9bde3d0b3aa452e0b19c34ae6385ac563160",
+        "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68",
         "type": "github"
       },
       "original": {
@@ -8337,6 +10794,48 @@
         "type": "github"
       }
     },
+    "tailwind-haskell_6": {
+      "inputs": {
+        "flake-compat": "flake-compat_25",
+        "flake-utils": "flake-utils_37",
+        "nixpkgs": "nixpkgs_36"
+      },
+      "locked": {
+        "lastModified": 1649519562,
+        "narHash": "sha256-IVZ4D7JkSCn0sjeTw5b0s2TTIU+g4hk78u1znXY4JjQ=",
+        "owner": "srid",
+        "repo": "tailwind-haskell",
+        "rev": "f5bfc15da3ee6e74a077579fb10269bb450fa5cb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "tailwind-haskell",
+        "type": "github"
+      }
+    },
+    "tailwind-haskell_7": {
+      "inputs": {
+        "flake-compat": "flake-compat_29",
+        "flake-utils": "flake-utils_43",
+        "nixpkgs": "nixpkgs_42"
+      },
+      "locked": {
+        "lastModified": 1649519562,
+        "narHash": "sha256-IVZ4D7JkSCn0sjeTw5b0s2TTIU+g4hk78u1znXY4JjQ=",
+        "owner": "srid",
+        "repo": "tailwind-haskell",
+        "rev": "f5bfc15da3ee6e74a077579fb10269bb450fa5cb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "tailwind-haskell",
+        "type": "github"
+      }
+    },
     "th-extras": {
       "flake": false,
       "locked": {
@@ -8439,6 +10938,40 @@
         "type": "github"
       }
     },
+    "th-extras_7": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641329261,
+        "narHash": "sha256-+K91xH/zew66ry0EAV5FaEIAHUZdJ3ngD9GzCJiUq7k=",
+        "owner": "mokus0",
+        "repo": "th-extras",
+        "rev": "787ed752c1e5d41b5903b74e171ed087de38bffa",
+        "type": "github"
+      },
+      "original": {
+        "owner": "mokus0",
+        "repo": "th-extras",
+        "rev": "787ed752c1e5d41b5903b74e171ed087de38bffa",
+        "type": "github"
+      }
+    },
+    "th-extras_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641329261,
+        "narHash": "sha256-+K91xH/zew66ry0EAV5FaEIAHUZdJ3ngD9GzCJiUq7k=",
+        "owner": "mokus0",
+        "repo": "th-extras",
+        "rev": "787ed752c1e5d41b5903b74e171ed087de38bffa",
+        "type": "github"
+      },
+      "original": {
+        "owner": "mokus0",
+        "repo": "th-extras",
+        "rev": "787ed752c1e5d41b5903b74e171ed087de38bffa",
+        "type": "github"
+      }
+    },
     "unionmount": {
       "inputs": {
         "flake-compat": "flake-compat_6",
@@ -8543,6 +11076,48 @@
         "repo": "unionmount",
         "type": "github"
       }
+    },
+    "unionmount_6": {
+      "inputs": {
+        "flake-compat": "flake-compat_26",
+        "flake-utils": "flake-utils_38",
+        "nixpkgs": "nixpkgs_37"
+      },
+      "locked": {
+        "lastModified": 1649012450,
+        "narHash": "sha256-m0qlPd3jxjyDEkd7cQKLX0GT9a00qnvygec9GCBZ1hc=",
+        "owner": "srid",
+        "repo": "unionmount",
+        "rev": "27584567d9182c12018f988db899593a896f86ff",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "unionmount",
+        "type": "github"
+      }
+    },
+    "unionmount_7": {
+      "inputs": {
+        "flake-compat": "flake-compat_30",
+        "flake-utils": "flake-utils_44",
+        "nixpkgs": "nixpkgs_43"
+      },
+      "locked": {
+        "lastModified": 1649012450,
+        "narHash": "sha256-m0qlPd3jxjyDEkd7cQKLX0GT9a00qnvygec9GCBZ1hc=",
+        "owner": "srid",
+        "repo": "unionmount",
+        "rev": "27584567d9182c12018f988db899593a896f86ff",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "unionmount",
+        "type": "github"
+      }
     }
   },
   "root": "root",
diff --git a/flake.nix b/flake.nix
index 38fc890..567c634 100644
--- a/flake.nix
+++ b/flake.nix
@@ -22,6 +22,11 @@
   inputs.plutarch-safe-money.url =
     "git+ssh://git@github.com/Liqwid-Labs/plutarch-safe-money?ref=main";
 
+  # Testing 
+  inputs.plutarch-quickcheck.url =
+    "github:liqwid-labs/plutarch-quickcheck";
+  inputs.plutarch-context-builder.url =
+    "git+ssh://git@github.com/Liqwid-Labs/plutarch-context-builder?ref=main";
   # Follows jhodgdev's forks of apropos and apropos-tx, as these
   # are not constrained to `base ^>= 4.14`. Once these are merged
   # to their respective master branches, we should change the
@@ -36,6 +41,7 @@
   inputs.apropos.inputs.nixpkgs.follows =
     "plutarch/haskell-nix/nixpkgs-unstable";
 
+  # Purescript
   inputs.purescript-bridge.url =
     "github:mlabs-haskell/purescript-bridge?rev=8e6251e8b1f489748f5bbd9ca6384bcf8cefbbef";
 
@@ -89,6 +95,14 @@
               src = inputs.plutarch-safe-money;
               subdirs = [ "." ];
             }
+            {
+              src = inputs.plutarch-quickcheck;
+              subdirs = [ "." ];
+            }
+            {
+              src = inputs.plutarch-context-builder;
+              subdirs = [ "." ];
+            }            
             {
               src = inputs.apropos-tx;
               subdirs = [ "." ];
@@ -136,6 +150,8 @@
 
               # testing
               ps.tasty-quickcheck
+              ps.plutarch-quickcheck
+              ps.plutarch-context-builder 
               ps.apropos-tx
               ps.apropos
               ps.apropos