Support for composing large, interacting, complicated state machines
Derive macros for muchin model state