equality GADT is now in base, use that

also bump the version

Eelco, this is not completely done, as some XX need to be filled in. I'd gladly do all of this.

Are you still maintaining this package?