Module documentation.
Rename unsafe-constructs Cabal flag to unsafe.
Remove redundant LANGUAGE pragmas.
Remove redundant type signature comments in export list.

Comments are not type checked, so any type signature that appears there
will quickly become out of date without anyone noticing necessarily.
It's redundant info anyways.
Merge pull request #3 from tweag/code-cleanups

Code cleanups