Update the-nature-of-code: nature-bang.rkt: port to typed racket