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