plt/racket — pull request #683 by shekari (2014-06-22 20:52:17+00:00)
Title: Simplify typechecking of tc-let

The main commit is the second one, the first is a previous PR in review and and the third is cleanup to avoid a bug uncovered by the second.