Add roles declarations to allow safe coercions

[kl0tl]

This allows terms of type Lazy a to be coerced to type Lazy 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 thunks for instance.