Add files in English

* "Building richer computations"
* "Implementing the state monad"
* "Conclusions"