merged type: BetweenStep and InStep and its variable betweenStep and inStep.

They are exclusive, so the state can express with one variable.