Merge pull request #5 from bens/master

Kind polymorphic :=
move change to new version
much more comprehensive travis testing
drop $OPTS
Work around lack of PolyKinds for Category in GHC 7.6 by using subst and refl not (.) and id
drop purported 7.0.4 support