I wonder if you could do something like prototype in dynamic (original, if you will) racket and then release in typed racket for performance/safety reasons.
I think that was one of the purposes of Rackets typesystem, to fit idiomatic Racket code well enough that you wouldn't have to rewrite most of it to introduce static typing to a Racket program.