Uniquify binder names when leaving executor

This mimics the evaluator more closely and prevents shadowing bugs.
Merge pull request #1501 from david-christiansen/uniquify-executor

Uniquify binder names when leaving executor