Reformat cabal file
Add lower and upper bounds to dependencies