refactor to Kleisli
refactor MoveStates
write overall state while applying migrations
organize in packages
introduce reporting
factor out ActionTypes
introduce DescribeAction
v0.3
v0.4-SNAPSHOT