diff --git a/bench/action/bubble/module.ens b/bench/action/bubble/module.ens
index e75c26adf..87abdd57a 100644
--- a/bench/action/bubble/module.ens
+++ b/bench/action/bubble/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/bench/action/dictionary/module.ens b/bench/action/dictionary/module.ens
index 108397695..b28788571 100644
--- a/bench/action/dictionary/module.ens
+++ b/bench/action/dictionary/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/bench/action/dictionary/source/dictionary-nt.nt b/bench/action/dictionary/source/dictionary-nt.nt
index 1241bba2b..4e2a6009e 100644
--- a/bench/action/dictionary/source/dictionary-nt.nt
+++ b/bench/action/dictionary/source/dictionary-nt.nt
@@ -14,7 +14,7 @@ define make-big-dict(size: int): dictionary(int, int) {
   grow(Dict.empty(), size, function (acc, _) {
     let key = random(1000000) in
     let val = random(1000000) in
-    intdict::insert(key, val, acc)
+    intdict::insert(acc, key, val)
   })
 }
 
@@ -23,7 +23,7 @@ define random-lookup-sum(count: int, d: &dictionary(int, int)): unit {
     grow(0, count, function (acc, _) {
       let key = random(1000000) in
       let val on key =
-        match intdict::lookup(key, d) {
+        match intdict::lookup(d, key) {
         | Left(_) =>
           0
         | Right(v) =>
diff --git a/bench/action/intmap/module.ens b/bench/action/intmap/module.ens
index 6df59aff7..f31066453 100644
--- a/bench/action/intmap/module.ens
+++ b/bench/action/intmap/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/bench/action/intmap/source/intmap-nt.nt b/bench/action/intmap/source/intmap-nt.nt
index 9f4f0926b..5fca53184 100644
--- a/bench/action/intmap/source/intmap-nt.nt
+++ b/bench/action/intmap/source/intmap-nt.nt
@@ -10,7 +10,7 @@ define make-big-dict(size: int): intmap(int) {
   grow(IntMap.empty(), size, function (acc, _) {
     let key = random(1000000) in
     let val = random(1000000) in
-    insert(key, val, acc)
+    insert(acc, key, val)
   })
 }
 
@@ -19,7 +19,7 @@ define random-lookup-sum(count: int, d: &intmap(int)): unit {
     grow(0, count, function (acc, _) {
       let key = random(1000000) in
       let val on key =
-        match lookup(*key, d) {
+        match lookup(d, *key) {
         | Left(_) =>
           0
         | Right(v) =>
diff --git a/book/src/manual-installation.md b/book/src/manual-installation.md
index ccc2f05f1..a95953734 100644
--- a/book/src/manual-installation.md
+++ b/book/src/manual-installation.md
@@ -11,8 +11,8 @@ Add the below to your `.bashrc`, `.zshrc`, etc.
 
 ```sh
 # this sets the core module (or "prelude") that is used in `neut create`
-export NEUT_CORE_MODULE_URL="https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst"
-export NEUT_CORE_MODULE_DIGEST="9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4"
+export NEUT_CORE_MODULE_URL="https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst"
+export NEUT_CORE_MODULE_DIGEST="GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk"
 ```
 
 Then, get the compiler:
diff --git a/install.sh b/install.sh
index f4db988f0..086e20c72 100644
--- a/install.sh
+++ b/install.sh
@@ -142,8 +142,8 @@ printf $BLUE "note: "
 echo "please restart your shell after adding the following environment variables to your shell config:"
 
 echo ""
-echo "export NEUT_CORE_MODULE_URL=\"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst\""
-echo "export NEUT_CORE_MODULE_DIGEST=\"9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4\""
+echo "export NEUT_CORE_MODULE_URL=\"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst\""
+echo "export NEUT_CORE_MODULE_DIGEST=\"GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk\""
 
 if command -v apt-get >/dev/null 2>&1; then
   echo "export NEUT_CLANG=$CLANG"
diff --git a/test/meta/module.ens b/test/meta/module.ens
index 64fa7ad1f..0a7fe9378 100644
--- a/test/meta/module.ens
+++ b/test/meta/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/adder/module.ens b/test/misc/adder/module.ens
index 519040964..63a7dc4c9 100644
--- a/test/misc/adder/module.ens
+++ b/test/misc/adder/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/args/module.ens b/test/misc/args/module.ens
index 3efdfc7fa..ad1e2f455 100644
--- a/test/misc/args/module.ens
+++ b/test/misc/args/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/calc/module.ens b/test/misc/calc/module.ens
index 48d68b1cb..6ac44357d 100644
--- a/test/misc/calc/module.ens
+++ b/test/misc/calc/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/check/module.ens b/test/misc/check/module.ens
index cd0b503f5..1bdeb7ae3 100644
--- a/test/misc/check/module.ens
+++ b/test/misc/check/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/codata-basic/module.ens b/test/misc/codata-basic/module.ens
index 642086e2f..6d4e65ada 100644
--- a/test/misc/codata-basic/module.ens
+++ b/test/misc/codata-basic/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/complex-cancel/module.ens b/test/misc/complex-cancel/module.ens
index ff71fee92..a3c561684 100644
--- a/test/misc/complex-cancel/module.ens
+++ b/test/misc/complex-cancel/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/ex-falso/module.ens b/test/misc/ex-falso/module.ens
index 4d1b8c51e..ebe742b4d 100644
--- a/test/misc/ex-falso/module.ens
+++ b/test/misc/ex-falso/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/fact/module.ens b/test/misc/fact/module.ens
index 079eb01c0..57b734710 100644
--- a/test/misc/fact/module.ens
+++ b/test/misc/fact/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/file/module.ens b/test/misc/file/module.ens
index 8323857da..236e4b4db 100644
--- a/test/misc/file/module.ens
+++ b/test/misc/file/module.ens
@@ -13,9 +13,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/fix-and-free-vars/module.ens b/test/misc/fix-and-free-vars/module.ens
index b485eb30b..40b0b63ee 100644
--- a/test/misc/fix-and-free-vars/module.ens
+++ b/test/misc/fix-and-free-vars/module.ens
@@ -13,9 +13,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/fold-tails/module.ens b/test/misc/fold-tails/module.ens
index 86c30a5f8..1d182d234 100644
--- a/test/misc/fold-tails/module.ens
+++ b/test/misc/fold-tails/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/fold-tails/source/fold-tails.nt b/test/misc/fold-tails/source/fold-tails.nt
index 013890c89..e624cb64e 100644
--- a/test/misc/fold-tails/source/fold-tails.nt
+++ b/test/misc/fold-tails/source/fold-tails.nt
@@ -83,12 +83,9 @@ define main(): unit {
   let _ = !yss in
   let !zs =
     // [26, ..., 1]
-    map(
-      function (l) {
-        head(l)
-      },
-      !yss,
-    )
+    for-each(!yss, function (l) {
+      head(l)
+    })
   in
   let _ = !zs in
   let _ = !zs in
diff --git a/test/misc/foreign/module.ens b/test/misc/foreign/module.ens
index 3a00b0507..5e573a693 100644
--- a/test/misc/foreign/module.ens
+++ b/test/misc/foreign/module.ens
@@ -20,9 +20,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/hello/module.ens b/test/misc/hello/module.ens
index 7af502aa6..02b6a9579 100644
--- a/test/misc/hello/module.ens
+++ b/test/misc/hello/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/lambda-list/module.ens b/test/misc/lambda-list/module.ens
index 072669b95..b87c3e6e5 100644
--- a/test/misc/lambda-list/module.ens
+++ b/test/misc/lambda-list/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/loop-and-resource/module.ens b/test/misc/loop-and-resource/module.ens
index 56dba3037..c04dbb8bb 100644
--- a/test/misc/loop-and-resource/module.ens
+++ b/test/misc/loop-and-resource/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/multi-targets/module.ens b/test/misc/multi-targets/module.ens
index 19ede2060..e56968b68 100644
--- a/test/misc/multi-targets/module.ens
+++ b/test/misc/multi-targets/module.ens
@@ -12,9 +12,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/mutable/module.ens b/test/misc/mutable/module.ens
index f8cb6f5e3..4d566e444 100644
--- a/test/misc/mutable/module.ens
+++ b/test/misc/mutable/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/nat-fact/module.ens b/test/misc/nat-fact/module.ens
index fa69f4ca3..622aacebc 100644
--- a/test/misc/nat-fact/module.ens
+++ b/test/misc/nat-fact/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/nat-list/module.ens b/test/misc/nat-list/module.ens
index 1f5755423..cd08a4515 100644
--- a/test/misc/nat-list/module.ens
+++ b/test/misc/nat-list/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/print-float/module.ens b/test/misc/print-float/module.ens
index c81cf5278..cecbf4c41 100644
--- a/test/misc/print-float/module.ens
+++ b/test/misc/print-float/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/misc/static-file/module.ens b/test/misc/static-file/module.ens
index 4eeda5af7..0f7a3b58a 100644
--- a/test/misc/static-file/module.ens
+++ b/test/misc/static-file/module.ens
@@ -12,9 +12,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/binary-search-tree/module.ens b/test/pfds/binary-search-tree/module.ens
index fba4f031b..7ba9a43ed 100644
--- a/test/pfds/binary-search-tree/module.ens
+++ b/test/pfds/binary-search-tree/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/binomial-heap/module.ens b/test/pfds/binomial-heap/module.ens
index 37df541e3..9df12cdbd 100644
--- a/test/pfds/binomial-heap/module.ens
+++ b/test/pfds/binomial-heap/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/custom-stack/module.ens b/test/pfds/custom-stack/module.ens
index 963303857..bf3c28303 100644
--- a/test/pfds/custom-stack/module.ens
+++ b/test/pfds/custom-stack/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
     },
   },
diff --git a/test/pfds/finite-map/module.ens b/test/pfds/finite-map/module.ens
index de4fb9064..ff2dcb9d0 100644
--- a/test/pfds/finite-map/module.ens
+++ b/test/pfds/finite-map/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/leftist-heap/module.ens b/test/pfds/leftist-heap/module.ens
index 677ba2b58..3b9b5a9f0 100644
--- a/test/pfds/leftist-heap/module.ens
+++ b/test/pfds/leftist-heap/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/naive-queue/module.ens b/test/pfds/naive-queue/module.ens
index d609843ee..2aa1c19bc 100644
--- a/test/pfds/naive-queue/module.ens
+++ b/test/pfds/naive-queue/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/pairing-heap/module.ens b/test/pfds/pairing-heap/module.ens
index a9993d411..56f815c5c 100644
--- a/test/pfds/pairing-heap/module.ens
+++ b/test/pfds/pairing-heap/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/random-access-list/module.ens b/test/pfds/random-access-list/module.ens
index 3a8cc52ea..daef16c69 100644
--- a/test/pfds/random-access-list/module.ens
+++ b/test/pfds/random-access-list/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/red-black-tree/module.ens b/test/pfds/red-black-tree/module.ens
index 9a466d54f..e4c0a6a82 100644
--- a/test/pfds/red-black-tree/module.ens
+++ b/test/pfds/red-black-tree/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/splay-heap/module.ens b/test/pfds/splay-heap/module.ens
index 2c92ffefb..8f0256e08 100644
--- a/test/pfds/splay-heap/module.ens
+++ b/test/pfds/splay-heap/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/pfds/stack/module.ens b/test/pfds/stack/module.ens
index 55b66505a..87868be37 100644
--- a/test/pfds/stack/module.ens
+++ b/test/pfds/stack/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
     },
   },
diff --git a/test/pfds/stream/module.ens b/test/pfds/stream/module.ens
index 749a1ccb1..afba2ae47 100644
--- a/test/pfds/stream/module.ens
+++ b/test/pfds/stream/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
     },
   },
diff --git a/test/statement/define/module.ens b/test/statement/define/module.ens
index 1c2c637f5..c194131a4 100644
--- a/test/statement/define/module.ens
+++ b/test/statement/define/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/statement/import-names/module.ens b/test/statement/import-names/module.ens
index e67da8f2e..7ced32f42 100644
--- a/test/statement/import-names/module.ens
+++ b/test/statement/import-names/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/statement/resource-basic/module.ens b/test/statement/resource-basic/module.ens
index 26cfdb318..315ae2e29 100644
--- a/test/statement/resource-basic/module.ens
+++ b/test/statement/resource-basic/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/statement/variant-struct/module.ens b/test/statement/variant-struct/module.ens
index 34353aea6..57a6d29b4 100644
--- a/test/statement/variant-struct/module.ens
+++ b/test/statement/variant-struct/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/flow/module.ens b/test/term/flow/module.ens
index 0a122dae8..0e6029fa0 100644
--- a/test/term/flow/module.ens
+++ b/test/term/flow/module.ens
@@ -12,9 +12,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/noema/module.ens b/test/term/noema/module.ens
index 824ec98f7..d13c9576c 100644
--- a/test/term/noema/module.ens
+++ b/test/term/noema/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/pi/module.ens b/test/term/pi/module.ens
index 1ee73fa8c..2921fd426 100644
--- a/test/term/pi/module.ens
+++ b/test/term/pi/module.ens
@@ -13,9 +13,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/prim/module.ens b/test/term/prim/module.ens
index 7828fb190..89a4adfd1 100644
--- a/test/term/prim/module.ens
+++ b/test/term/prim/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/rune/module.ens b/test/term/rune/module.ens
index 2cbaa3ff3..a3bf8f5a2 100644
--- a/test/term/rune/module.ens
+++ b/test/term/rune/module.ens
@@ -6,9 +6,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/tau/module.ens b/test/term/tau/module.ens
index 6b533a557..bf074c1a3 100644
--- a/test/term/tau/module.ens
+++ b/test/term/tau/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/unary/module.ens b/test/term/unary/module.ens
index d35bbd684..df6d5462b 100644
--- a/test/term/unary/module.ens
+++ b/test/term/unary/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/var/module.ens b/test/term/var/module.ens
index 75fba7df4..bc7b8a60f 100644
--- a/test/term/var/module.ens
+++ b/test/term/var/module.ens
@@ -12,9 +12,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/variant/module.ens b/test/term/variant/module.ens
index a5c19b48c..9bfb6f80f 100644
--- a/test/term/variant/module.ens
+++ b/test/term/variant/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },
diff --git a/test/term/with/module.ens b/test/term/with/module.ens
index 8c96f4f39..88481ec9f 100644
--- a/test/term/with/module.ens
+++ b/test/term/with/module.ens
@@ -9,9 +9,9 @@
   },
   dependency {
     core {
-      digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
+      digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
       mirror [
-        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
+        "https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
       ],
       enable-preset true,
     },