diff --git a/collects/typed-scheme/private/base-types-new.ss b/collects/typed-scheme/private/base-types-new.ss
index dd8ff7ae49..fabc660af6 100644
--- a/collects/typed-scheme/private/base-types-new.ss
+++ b/collects/typed-scheme/private/base-types-new.ss
@@ -44,3 +44,6 @@
 [MPair (-poly (a b) (-mpair a b))]
 [Boxof (-poly (a) (make-Box a))]
 [Continuation-Mark-Set -Cont-Mark-Set]
+[False (-val #f)]
+[True (-val #t)]
+[Null (-val null)]
diff --git a/collects/typed-scheme/private/base-types.ss b/collects/typed-scheme/private/base-types.ss
index af91b029b4..1d79709269 100644
--- a/collects/typed-scheme/private/base-types.ss
+++ b/collects/typed-scheme/private/base-types.ss
@@ -43,3 +43,6 @@
 [Pair (-poly (a b) (-pair a b))]
 [Boxof (-poly (a) (make-Box a))]
 [Continuation-Mark-Set -Cont-Mark-Set]
+[False (-val #f)]
+[True (-val #t)]
+[Null (-val null)]