updated rosette/base/module.rkt to be compatible with the change in letrec semantics in Racket 6.1