More complete undo coverage

e.g. operations on the binder tree, such a Merge, do not appear to have an Undo.

Thanks - Sophie