diff --git a/lib.nix b/lib.nix
index b888d9d6..86adfe37 100644
--- a/lib.nix
+++ b/lib.nix
@@ -5,52 +5,40 @@
 }: let
   nixlib = inputs.nixpkgs.lib;
   inherit (nixlib.modules) mkOrder mkOverride defaultOverridePriority;
-  inherit (nixlib.strings) splitString toLower;
-  inherit (nixlib.lists) imap0 elemAt findFirst foldl;
-  inherit (nixlib.attrsets) mapAttrs listToAttrs nameValuePair;
-  inherit (nixlib.strings) hasPrefix hasInfix removePrefix substring fixedWidthString replaceStrings concatMapStringsSep stringToCharacters match toInt;
-  inherit (nixlib.trivial) flip toHexString bitOr;
-
-  toHexStringLower = v: toLower (toHexString v);
-
-  hexCharToInt = let
-    hexChars = ["0" "1" "2" "3" "4" "5" "6" "7" "8" "9" "a" "b" "c" "d" "e" "f"];
-    pairs = imap0 (flip nameValuePair) hexChars;
-    idx = listToAttrs pairs;
-  in
-    char: idx.${char};
-  hexToInt = str: foldl (value: chr: value * 16 + hexCharToInt chr) 0 (stringToCharacters (toLower str));
+  inherit (nixlib.attrsets) mapAttrs listToAttrs;
+  inherit (inputs.self.lib.Std) List Str Regex UInt Opt;
 
   eui64 = mac: let
-    parts = map toLower (splitString ":" mac);
-    part = elemAt parts;
+    parts = List.map Str.toLower (Regex.splitOn ":" mac);
+    part = List.index parts;
     part0 = part: let
-      nibble1' = hexCharToInt (substring 1 1 part);
-      nibble1 = bitOr 2 nibble1';
-      nibble0 = substring 0 1 part;
+      nibble1' = UInt.FromHexDigit (Str.index part 1);
+      nibble1 = UInt.or' 2 nibble1';
+      nibble0 = Str.index part 0;
     in
-      nibble0 + (fixedWidthString 1 "0" (toHexStringLower nibble1));
+      nibble0 + UInt.toHexLower nibble1;
   in "${part0 (part 0)}${part 1}:${part 2}ff:fe${part 3}:${part 4}${part 5}";
 
   parseUrl = url: let
-    parts = match ''^([^:]+)://(\[[0-9a-fA-F:]+]|[^/:\[]+)(|:[0-9]+)(|/.*)$'' url;
-    port' = elemAt parts 2;
-  in assert parts != null; rec {
+    parts' = Regex.match ''^([^:]+)://(\[[0-9a-fA-F:]+]|[^/:\[]+)(|:[0-9]+)(|/.*)$'' url;
+    parts = parts'.value;
+    port' = List.index parts 2;
+  in assert Opt.isJust parts'; rec {
     inherit url parts;
-    scheme = elemAt parts 0;
-    host = elemAt parts 1;
-    port = if port' != "" then toInt (removePrefix ":" port') else null;
+    scheme = List.index parts 0;
+    host = List.index parts 1;
+    port = if port' != "" then UInt.Parse (Str.removePrefix ":" port') else null;
     hostport = host + port';
-    path = elemAt parts 3;
+    path = List.index parts 3;
   };
 
   userIs = group: user: builtins.elem group (user.extraGroups ++ [user.group]);
 
-  mkWinPath = replaceStrings ["/"] ["\\"];
-  mkBaseDn = domain: concatMapStringsSep "," (part: "dc=${part}") (splitString "." domain);
-  mkAddress6 = addr: if hasInfix ":" addr && ! hasPrefix "[" addr then "[${addr}]" else addr;
+  mkWinPath = Str.replace ["/"] ["\\"];
+  mkBaseDn = domain: Str.concatMapSep "," (part: "dc=${part}") (Regex.splitOn "\\." domain);
+  mkAddress6 = addr: if Str.hasInfix ":" addr && ! Str.hasPrefix "[" addr then "[${addr}]" else addr;
 
-  coalesce = findFirst (v: v != null) null;
+  coalesce = values: Opt.default null (List.find (v: v != null) values);
   mapListToAttrs = f: l: listToAttrs (map f l);
 
   overrideOptionDefault = 1500;
@@ -99,7 +87,6 @@ in {
     domain = "gensokyo.zone";
     inherit treeToModulesOutput userIs
       eui64 parseUrl mkWinPath mkBaseDn mkAddress6
-      toHexStringLower hexToInt hexCharToInt
       mapListToAttrs coalesce
       mkAlmostOptionDefault mkAlmostDefault mkAlmostForce mapOverride mapOptionDefaults mapAlmostOptionDefaults mapDefaults
       overrideOptionDefault overrideAlmostOptionDefault overrideDefault overrideAlmostDefault overrideNone overrideAlmostForce overrideForce overrideVM
@@ -111,7 +98,7 @@ in {
     inherit inputs;
     inherit (inputs) self;
     inherit (inputs.self) overlays;
-    inherit (inputs.self.lib) tree meta lib systems;
+    inherit (inputs.self.lib) tree meta lib systems std Std;
   };
   generate = import ./generate.nix {inherit inputs tree;};
 }
diff --git a/modules/nixos/minecraft-bedrock.nix b/modules/nixos/minecraft-bedrock.nix
index f38cf24e..0c8f5c3d 100644
--- a/modules/nixos/minecraft-bedrock.nix
+++ b/modules/nixos/minecraft-bedrock.nix
@@ -1,6 +1,6 @@
 let
   allowListModule = {config, name, gensokyo-zone, lib, ...}: let
-    inherit (gensokyo-zone.lib) hexToInt;
+    inherit (gensokyo-zone.Std) UInt;
     inherit (lib.options) mkOption;
     inherit (lib.modules) mkOptionDefault;
     inherit (builtins) typeOf;
@@ -26,7 +26,7 @@ let
     };
     config = let
       xuid = {
-        string = toString (hexToInt config.xuid);
+        string = toString (UInt.FromHex config.xuid);
         int = toString config.xuid;
       }.${typeOf config.xuid};
     in {
diff --git a/modules/system/host.nix b/modules/system/host.nix
index ae5e76c0..b43749f8 100644
--- a/modules/system/host.nix
+++ b/modules/system/host.nix
@@ -3,6 +3,7 @@
   config,
   meta,
   std,
+  Std,
   lib,
   inputs,
   ...
@@ -104,7 +105,7 @@ in {
       inherit (config) system modules specialArgs;
     }) config.builder);
     specialArgs = {
-      inherit name inputs std meta;
+      inherit name inputs std Std meta;
       inherit (inputs.self.lib) gensokyo-zone;
       systemType = config.folder;
       system = config;
diff --git a/modules/system/proxmox/network.nix b/modules/system/proxmox/network.nix
index b2f3ff6e..391de1b2 100644
--- a/modules/system/proxmox/network.nix
+++ b/modules/system/proxmox/network.nix
@@ -1,5 +1,6 @@
-{config, lib, inputs, ...}: let
-  inherit (inputs.self.lib.lib) unmerged eui64 toHexStringLower mkAlmostOptionDefault mapAlmostOptionDefaults;
+{config, gensokyo-zone, lib, Std, ...}: let
+  inherit (Std) UInt;
+  inherit (gensokyo-zone.lib) unmerged eui64 mkAlmostOptionDefault mapAlmostOptionDefaults;
   inherit (lib.options) mkOption mkEnableOption;
   inherit (lib.modules) mkIf mkMerge mkDefault mkOptionDefault;
   inherit (lib.attrsets) attrValues;
@@ -154,7 +155,7 @@
         name = mkIf system.proxmox.container.enable (mkAlmostOptionDefault "eth9");
         bridge = mkAlmostOptionDefault "vmbr9";
         address4 = mkAlmostOptionDefault "10.9.1.${toString index}/24";
-        address6 = mkAlmostOptionDefault "fd0c::${toHexStringLower index}/64";
+        address6 = mkAlmostOptionDefault "fd0c::${UInt.toHexLower index}/64";
         macAddress = mkIf (system.proxmox.network.interfaces.net0.macAddress or null != null && hasPrefix "BC:24:11:" system.proxmox.network.interfaces.net0.macAddress) (mkAlmostOptionDefault (
           replaceStrings [ "BC:24:11:" ] [ "BC:24:19:" ] system.proxmox.network.interfaces.net0.macAddress
         ));
@@ -163,7 +164,7 @@
           domains = mkDefault [ ]; # int.${domain}?
           linkConfig.RequiredForOnline = false;
           ipv6AcceptRAConfig = {
-            Token = mkOptionDefault "static:::${toHexStringLower index}";
+            Token = mkOptionDefault "static:::${UInt.toHexLower index}";
             DHCPv6Client = mkOptionDefault false;
           };
           networkConfig = {
diff --git a/systems/default.nix b/systems/default.nix
index 9d7df1b8..4eaab915 100644
--- a/systems/default.nix
+++ b/systems/default.nix
@@ -1,7 +1,7 @@
 {inputs}: let
   # The purpose of this file is to set up the host module which allows assigning of the system, e.g. aarch64-linux and the builder used with less pain.
   lib = inputs.self.lib.nixlib;
-  inherit (inputs.self.lib) meta std;
+  inherit (inputs.self.lib) meta std Std;
   inherit (lib.modules) evalModules;
   inherit (std) set;
   hostConfigs = set.map (name: path:
@@ -11,7 +11,7 @@
         meta.modules.system
       ];
       specialArgs = {
-        inherit name inputs std meta;
+        inherit name inputs std Std meta;
         inherit (inputs.self.lib) gensokyo-zone;
       };
     })