pulling in the bool.rkt module from racket

lang/bool.rkt

@@ -0,0 +1,21 @@
+#lang s-exp "kernel.rkt"
+
+(provide true false false?
+         boolean=?
+         symbol=?)
+
+(define true #t)
+(define false #f)
+
+(define (false? v) (eq? v #f))
+
+(define (boolean=? x y)
+  (unless (and (boolean? x) (boolean? y))
+    (raise-type-error 'boolean=? "boolean" (if (boolean? x) 1 0) x y))
+  (eq? x y))
+
+(define (symbol=? x y)
+  (unless (and (symbol? x) (symbol? y))
+    (raise-type-error 'symbol=? "symbol" (if (symbol? x) 1 0) x y))
+  (eq? x y))
+

lang/kernel.rkt

@@ -23,8 +23,6 @@
          syntax-parameterize)
 
 ;; constants
-(define true #t)
-(define false #f)
 (define pi racket:pi)
 (define e (racket:exp 1))
 
@@ -70,9 +68,7 @@
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Provides
-(provide true
+(provide pi
-         false
-         pi
          e
          null
          #%plain-module-begin

lang/whalesong.rkt

@@ -11,6 +11,7 @@
          "private/traced-app.rkt"
          "private/shared.rkt"
          "check-expect/check-expect.rkt"
+         "bool.rkt"
          (for-syntax racket/base))
 
 ;; Programs written in Whalesong will have tracing enabled by default.
@@ -22,6 +23,7 @@
          (rename-out [traced-app #%app]
                      [my-module-begin #%module-begin])
          shared
+         (all-from-out "bool.rkt")
          (except-out (all-from-out "check-expect/check-expect.rkt")
                      run-tests))