Fix matching of rvalues with destructors

Fixes #4542.
Remove copy bindings from patterns.
Replace NDM with proper FIXME