"Exposes the instances directly reachable from a given instance."
shared sealed interface References/*<Instance>*/
// could be generic
satisfies {<ReachableReference/*<Instance>*/->Anything>*} {
"The instance"
shared formal Anything/*<Instance>*/ instance;
"The references that are reachable from the [[instance]]."
shared formal Iterable<ReachableReference/*<Instance>*/> references;
}