"Abstraction for models of elements which must be qualified 
 by an instance to order to be evaluated, including:
 
 * [[Attribute]]s (a Qualified `Value`), 
 * [[Method]]s  (a Qualified `Function`), 
 * [[MemberClass|member classes]]  (a Qualified `Class`) and,
 * [[MemberClassConstructor|member constructors]]  (a constructor of a Qualified `Class`).
 
 To qualify a `Qualified` metamodel instance in a type-safe way you 
 simply invoke it. Alternatively use [[bind]] if the qualifying instance's 
 type is unknown until runtime.
"
since("1.2.0")
shared sealed interface Qualified<out Kind=Anything, in Container=Nothing> 
        satisfies Kind(Container) {
    
    "Type-unsafe container binding, to be used when the container type is unknown until runtime.
     
     A null argument is only permitted for `static` members (which 
     have no container instance). In all other cases a non-null container is required.
     
     This has the same behaviour as invoking this `Member` directly, but exchanges compile-time type
     safety with runtime checks."
    throws(`class IncompatibleTypeException`, "If the container is not assignable to this member's container")
    shared formal Kind bind(Anything container);
}