Add roles declarations to allow safe coercions

[kl0tl]

This allows terms of type Effect a to be coerced to type Effect b when Coercible a b holds, hence allowing the zero cost coerce instead of map wrap and map unwrap to introduce and eliminate newtypes under effects for instance. Ditto for all the uncurried effectful functions types.