Polish docs and add examples

List of changes:

- apply HLint suggestions
- enhance docs of `Fold` and `FoldM`:
  - explain type parameters `a` and `b`
  - description of fields
- examples for `pretraverse` and `premap`.

[![24pullrequests](http://24pullrequests.com/assets/logo-625222452ffc0d57272decb6f851a7fe.png)](http://24pullrequests.com)

Best,
Markus