Fix up cabal file
First pass, implementing +-*/ and some accessory typeclasses for CF