use Linear.V ( Dim ) instead of TypeNats (until ghc 7.8 comes out)
remove commas from .cabal modules