Update the-nature-of-code: random.rkt: rewriten in Typed Racket