diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 105d5143..d170fcf7 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -1342,7 +1342,7 @@
           -Symbol
           -Module-Path-Index
           -Symbol
-          (Un (-val 0) (-val 1))
+          -Nat
           (-opt -Integer)
           (-opt -Integer))))]
 [identifier-transformer-binding
@@ -1352,7 +1352,7 @@
           -Symbol
           -Module-Path-Index
           -Symbol
-          (Un (-val 0) (-val 1))
+          -Nat
           (-opt -Integer)
           (-opt -Integer))))]
 [identifier-template-binding
@@ -1362,7 +1362,7 @@
           -Symbol
           -Module-Path-Index
           -Symbol
-          (Un (-val 0) (-val 1))
+          -Nat
           (-opt -Integer)
           (-opt -Integer))))]
 [identifier-label-binding
@@ -1372,7 +1372,7 @@
           -Symbol
           -Module-Path-Index
           -Symbol
-          (Un (-val 0) (-val 1))
+          -Nat
           (-opt -Integer)
           (-opt -Integer))))]