Update cabal files
Add package with quickcheck instances (not used yet)