Cabal file updates.
Add a bit more documentation.
Experimenting with GGP-style automatic conversion.