Updated cabal settings
Minor edits to documentation.