Rename unexecute() to undo()