Beginnings of removing EvCoercible
Get rid of EvCoercible

and use EvCoercion to describe the evidence for Coercible instances.