Preserve identifiers in binders where possible, analogous to the support
for destructing existentials in !479.

Fixes #336.