[racket] Puzzled about type inference

On 2014-10-02 18:48:32 -0500, Robby Findler wrote:
> I've just pushed a change to check syntax that picks up tooltip syntax
> properties in syntax objects that it sees. See the docs for
> mouse-over-tooltips.

Thanks to Robby's very nice addition, I've made TR log type and type
error tooltips for DrRacket.

Since I took some screenshots for #racket, might as well share them:
  http://i.imgur.com/o4Qyqrw.png
  http://i.imgur.com/tZc3Wbe.png

Anyhow, this is pushed to git now so let me know if you find bugs.

Cheers,
Asumu