Update the-nature-of-code: digital-world.rkt, random-walks.rkt: controller% in functional model