Define Discrete State Transitions using the State ADT by Ian Hofmann-Hicks