TR type for pretty-format is incorrect

`typed-racket/base-env/base-env.rkt` has it performing a side-effect rather than what it does, which is return a string.