naming conventions for equivalences
I prefer "exact _" to "typeclasses eauto"
recommend avoiding match annotations
eauto with typeclass_instances
Merge pull request #467 from mikeshulman/style

naming conventions for equivalences