Pattern: Undo / Redo

Build undo/redo functionality with a history stack state machine.

Undo/redo is a classic stack pattern that maps naturally to a state machine with history states and a stack context.