Enable effects library.
Move current execution state into History.
Rename History module ExecState.
Unify edge following with type class.
Separate execution history into separate module.
Add missing accessors.
Rename ExecState -> Current.
Move move summaries to history.
Add state getters.
Add representation of players.
Update package description.
Fixes after change to Idris parser.