Update realm-of-racket: digital-world.rkt: add contracts