Explanations and examples for IterT and CoiterT

I've added some documentation for the (co)iterative (co)monads, and a couple of motivational examples. More specifically, a fractal renderer for `IterT`, and a numerical method for `CoiterT`.