equality GADT is now in base, use that

also bump the version