Code sync, notably w.r.t. destruct/1 replacing delete/1.