replace Wrap usage with Terminal

nt/CHECK_LIST.md

@@ -1,6 +1,3 @@
-- [ ] implement naive Tip/Terminal type
-- [ ] remove all dependency on Wrap type (it's already gone anyways...)
-- [ ] /primitives/bootstrap/parse/parse.nix should be able to terminate on Tip/Terminal elements
 - [ ] mix should do a deeply nested merge, not a surface level merge
 - [ ] implement isomorphisms (especially from primitives to NixTypes)
 

nt/mix/mixture.nix

@@ -33,8 +33,8 @@ in {
           protected = [];
         };
         # XXX: TODO: are these needed?
-        # options = Wrap {};
+        # options = Terminal {};
-        # config = Wrap {};
+        # config = Terminal {};
       };
 
     descendentInputs = mkInputs mixture.protected;

nt/primitives/nt.nix

@@ -31,7 +31,7 @@
 
   inherit
     (this.types)
-    Wrap
+    Terminal
     ;
 
   recdef = def: let
@@ -40,8 +40,8 @@
     Self;
 
   classDecl = {
-    derive = Wrap [];
+    derive = Terminal [];
-    ops = Wrap {};
+    ops = Terminal {};
   };
 
   unwrapBuilder = builder: Self: