Undo/Redo

Undo/redo functionality should be generally modeled through explicit events instead of “removing” events from the event history.

Example

// TODO (contribution welcome)