naming conventions for equivalences

Perhaps also mention that `eauto with typeclass_instances` will also usually work.