Returns a DKnowledge with types that are subtypes of given Type.
Returns first type from DKnowledge.
Returns first type from DKnowledge. Throws exception when there are None.
The sequence of types.
The sequence of types. It is the caller responsibility to make sure they are distinct.
Represents knowledge about the set of possible types.
The lowest common ancestor of input types