Customizable folds and traversals; some fixes

Customizing parts of the traversal is ill-defined if type-synonyms are used to designate those subparts (one should always be able to replace a type with it's type synonym without change in semantics). A hopefully informative error will be thrown in that case.

Also, I added some links in the cabal file to make it easier for others to reach this GitHub page.