Consider a type that holds the invariant of the transitive closure of ancestors being computed

[luxas]

Describe the improvement you'd like to request

Followup from @victornicolet in https://github.com/cedar-policy/cedar/pull/2449/changes#r3545012807

Describe alternatives you've considered

No response

Additional context

No response

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this internal improvement
• ⚠️ This feature might incur a breaking change