clean up toysolver.cabal a little