§2.3.(c) Typing

A lifting translation statically expects a specific role class. This expected role class must have a playedBy clause (either directly, or inherited (explicitly or implicitly) from a super role), to which the given base type is conform.