Resolves a (possibly union) linked-entry skeleton into the corresponding
Entry type, distributing over the union so that EntryLink<A | B> becomes
Entry<A> | Entry<B> instead of collapsing fields to the keys common to
every member. Entry itself is intentionally non-distributive to remain
inferrable in getEntry/getEntries, so distribution is applied here at the
link-resolution boundary where the linked skeleton is already known.
Resolves a (possibly union) linked-entry skeleton into the corresponding
Entrytype, distributing over the union so thatEntryLink<A | B>becomesEntry<A> | Entry<B>instead of collapsingfieldsto the keys common to every member.Entryitself is intentionally non-distributive to remain inferrable ingetEntry/getEntries, so distribution is applied here at the link-resolution boundary where the linked skeleton is already known.