Apply x+(-y) ⇒ x-y simplification even when x and y are permuted

Incidentally, this fixes an issue in DataTree::operator=(), where this would
cause to the copy to have a different number of nodes than the original.