Based on public code for CanCan in Motoko.
- Representing domain-specific entities as Motoko data, in Motoko (finite) maps.
- Representing unique Ids with entity-specific types.
- Representing entity-entity binary relationships with Motoko data structures.