This pull request activates hygiene for 'let' bindings. argument bindings come soon

There are a bunch of commits here, but I believe they're all well-labeled and focused. As I'm leaving now-ish, I'm going to beg for quick review.