Fixing deep copying of terms in previous commit

Turns out that one cannot head-normalize during a deep copy
since that might prevent the binding state from being undone.