[racket] thank you for typed racket

I'm sure Matthias knows that you can *intend* whatever you want, but
once a language is put in public, people can use it however they like.

So: are we henceforth forbidden from praising Sam for his work unless
we can demonstrate that the work would have been *impossible* in any
other language?  (Poor Sam.)

Shriram