Typed-racket impl of Booleans
Untyped Racket impl of Arith w/ Bools and Nats