Update Mission: digital-world.rkt: port to typed version