Simplify type signature, cabal file so that we now have the HGB library, and also correct a mistake in the doc