relationships between the type levels are typed by the «conforms», «impl-conforms», and «realises» relations are transitive, connection from implementation type to provided type is created via a corresponding complete type (all interfaces of the implementation type).
define whether an implementation conforms to a complete or provided type. if a complete type is a refinement of a provided type
relationships are discussed in more detail in the following.