[racket] Everything type-checks; on to benchmarking and optimization

On 2014-02-28 11:23:58 -0500, Vincent St-Amour wrote:
> The "typed-untyped interaction" section of the TR guide does mention the
> overhead of contracts. I'll add mentions elsewhere in the docs (probably
> in the caveats and optimization sections).

Would it help if the "important caveat" bit in that section was moved to
the top of the section rather than at the very end?

Cheers,
Asumu