Added PolyKinds pragma to allow GEq and GCompare instances for things of kind other than (* -> *).
bumped version number and added GHC version guards to enable PolyKinds

(requires 7.8+ in order to be able to generate proper typeable instances)

Conflicts:
	dependent-sum.cabal