diff --git a/nt/primitives/util/enforce.nix b/nt/primitives/util/enforce.nix
index 9f10ed6..3d149f9 100644
--- a/nt/primitives/util/enforce.nix
+++ b/nt/primitives/util/enforce.nix
@@ -28,7 +28,7 @@ in rec {
   enfIsClassSig = msg: sig:
     isClassSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Typeclass signature";
 
-  enfIsTypeSig = msg: sig:
+  enfTypeSig = msg: sig:
     isTypeSig sig || throw "${msg}: given value \"${toString sig}\" of primitive nix type \"${typeOf sig}\" is not a valid Type signature";
 
   enfIsNT = msg: T:
diff --git a/nt/primitives/util/trapdoor.nix b/nt/primitives/util/trapdoor.nix
index 5cda0dc..64c1d75 100644
--- a/nt/primitives/util/trapdoor.nix
+++ b/nt/primitives/util/trapdoor.nix
@@ -10,7 +10,7 @@
     (this)
     enfHasAttr
     enfHasAttr'
-    enfIsType
+    enfType
     ;
 
   masterkey = "_''traps''_";
@@ -50,11 +50,11 @@ in rec {
 
   openTrapdoorSet = key: xs: xs.${key};
 
-  # TODO: implement a function called enfIsTypeAny (for cases like this where it might be function or set)
+  # TODO: implement a function called enfTypeAny (for cases like this where it might be function or set)
   openTrapdoor = key: T:
     if isFunction T
     then openTrapdoorFn key T
     else
-      assert enfIsType "set" T "openTrapdoor";
+      assert enfType "set" T "openTrapdoor";
         openTrapdoorSet key T;
 }