feat(data/countable): add countable typeclass (#15280) Also add a few new operations on equivs.
countable
equiv