Emacs already implements exactly what they are proposing: an undo operation is just another action added to the chain of states, which can itself be undone.