Fix identifier-binding docs and types

Closes PR 14262

Please merge to v6.0.1

pkgs/racket-pkgs/racket-doc/scribblings/reference/stx-comp.scrbl

@@ -102,7 +102,7 @@ is @racket[#f].}
                        symbol?
                        module-path-index?
                        symbol?
-                       (or/c 0 1)
+                       exact-nonnegative-integer?
                        (or/c exact-integer? #f)
                        (or/c exact-integer? #f)))]{
 
@@ -152,8 +152,9 @@ Returns one of three kinds of values, depending on the binding of
         @racket[_source-mod] and @racket[_nominal-source-mod] are the
         same.}
 
-        @item{@racket[_source-phase] is @racket[1] if the source
+        @item{@racket[_source-phase] is an exact non-negative integer
-        definition is for-syntax, @racket[0] otherwise.}
+        representing the source phase. For example, it is @racket[1] if the source
+        definition is for-syntax.}
 
         @item{@racket[_import-phase] is @racket[0] if the binding
         import of @racket[_nominal-source-mode] is a plain
@@ -184,7 +185,7 @@ transformer, so that @racket[identifier-binding] is consistent with
                        symbol?
                        module-path-index?
                        symbol?
-                       (or/c 0 1)
+                       exact-nonnegative-integer?
                        (or/c exact-integer? #f)
                        (or/c exact-integer? #f)))]{
 
@@ -198,7 +199,7 @@ Same as @racket[(identifier-binding id-stx (add1 (syntax-local-phase-level)))].}
                        symbol?
                        module-path-index?
                        symbol?
-                       (or/c 0 1)
+                       exact-nonnegative-integer?
                        (or/c exact-integer? #f)
                        (or/c exact-integer? #f)))]{
 
@@ -212,7 +213,7 @@ Same as @racket[(identifier-binding id-stx (sub1 (syntax-local-phase-level)))].}
                        symbol?
                        module-path-index?
                        symbol?
-                       (or/c 0 1)
+                       exact-nonnegative-integer?
                        (or/c exact-integer? #f)
                        (or/c exact-integer? #f)))]{
 

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))))]