(Data) Abstraction Nexus

Original Morris paper?
custodial
Permanent abstraction
in Scheme, too
in OCaml
See ‘brands’ and ‘siblings’ here for clues to provide abstraction in Keykos. The brand is the mark by which siblings recognize each-other and establish a back-channel over which to communicate about unabstracted values.

Abstraction overlaps with synergy.