Clean up the .cabal file.
Add some Semiring instances.