Add DOT markup for state machine diagrams
Rename unwieldy all-caps enum types