Expand Equiv subtypes to include case classes up to arity 22

[jdegoes]

Equiv should have subtypes that witness equality between nested tuples and "case classes" of arity up to 22. More details and a prototype in a different project can be found here