Linear.V: Port to GHC 7.8 type nats
Linear.Affine: Use DeriveTraversable instead of GNTD

Otherwise roles get in the way
Merge pull request #20 from bgamari/master

A few fixes for GHC 7.8