plt/racket — pull request #253 by shekari (2013-02-19 16:30:34+00:00)
Title: Reduce usage of check-below.

This pushes almost all uses of check below into tc-expr and
tc-expr/check. This means that the optimizer sees more precise types
and can make more optimizations.