Polish docs and add examples

- apply HLint suggestions
- enhance docs of `Fold` and `FoldM`
- examples for `pretraverse` and `premap`.