Minor config tweaks
Add draft of "The Indexed State Monad"