I like the idea of wrapping forms in (seq ...) explicitly. This makes the program read more closely to the declaration of a state machine, with smaller sections

I like the idea of wrapping forms in (seq ...) explicitly. This makes the program read more closely to the declaration of a state machine, with smaller sections that represent state transitions (and are, most likely, expected to be atomic).