Command, State, Middleware and Memento: the patterns that give you undo, valid transitions, composable pipelines and saved state.