Polish docs and add examples

- apply HLint suggestions
- enhance docs of `Fold` and `FoldM`
- examples for `pretraverse` and `premap`.
Merge pull request #27 from markus1189/docs

Polish docs and add examples