TEMP: remove Null type

nt/primitives/bootstrap/parse/parse.nix

@@ -1,4 +1,4 @@
-# XXX: TODO: use the custom Null type instance instead of the Wrap type
+# XXX: TODO: use the Maybe/Null type instance instead of the Wrap type
 {this, ...}: let
   inherit
     (builtins)

nt/primitives/bootstrap/types/bootstrap.nix

@@ -2,7 +2,6 @@
 # WARNING: this file is strictly for bootstrapping nt
 {bootstrap, ...} @ inputs:
 bootstrap inputs [
-  ./null.nix
   ./maybe.nix
   ./wrap.nix
 ]

nt/primitives/bootstrap/types/null.nix

@@ -1,27 +0,0 @@
-# XXX: TODO: replace Null with the naive Maybe type
-{this, ...}: let
-  inherit
-    (this)
-    ntTrapdoorKey
-    ;
-  inherit
-    (this.trapdoor)
-    mkTrapdoorSet
-    ;
-in {
-  # NOTE: This is not good for writing type safe code
-  # NOTE: it is however efficient for bootstrapping the primitives
-  Null =
-    # WARNING: Null skips implementing a Type altogether
-    # WARNING: Null is an orphaned Type instance
-    mkTrapdoorSet ntTrapdoorKey {
-      default = {};
-      unlock = {
-        instance = true;
-        sig = "nt::Null";
-        derive = [];
-        ops = {};
-        req = {};
-      };
-    };
-}