Typed Racket impl of Arith w/ Bools and Nats