Documentation and cabal file update

Dependencies fixed