better naming for equivalence move functions
explicit Existing Instance *and* Coercion after typeclasses, for clarity