Remove redundant imports.
Add explicit type to lambda generation.

This should be removed in the near future, to allow for fully
polymorphic lambdas and proper inference. I'm leaving it in here so that
I don't change too much during this conversion.
Migrate `inline/send' to Rep.
Switch projection representation to take Names.
Fix fallout from projection -> Name conversion.
Fix tuple/record assignment issues in `reify/bind'.
Ensure `reify/case-of's temp declaration is present.
Fix minor lint warnings.