Helper mechanism for defining sequences of states that go one by one and have a common default unmatched state.