Safe.Coerce

Adds role declaration to allow coercing HashMap k v to Hashmap k w, if v is coercible to w.
Note that HashMap j v is not safely coercible to HashMap k v, because the Hashable instances on j and k might disagree.