Add choice-eff.rkt
Add state-eff.rkt
Rename state.rkt to state-monad.rkt