Translate 'Implementing the state monad'

Translate 'Implementing the state monad'
This will fix #7.