Document Text.Grammarkov.
Use Logic monad to ensure fair interleaving.
Implement state space exploration.
Implement following a random path through the state space.
Improve documentation.
Add data type for Markov models and documentation.