Nestmates

[John Rose]

On Jan 22, 2016, at 1:03 AM, Peter Levart <peter.levart at gmail.com> wrote:
> 
> a symmetric configuration where each nest-mate lists all nest-mates in a single Nest attribute

That uses storage quadratic in the number of nestmates.  A big price for beauty!
Better to go with transitive closure on a graph (linear storage).
That takes us straight to a simple star graph, which is why we have a NestTop.

Fun fact:  If the nestmate relation is an equivalence relation, any class can
be the top.  This means that a compiler could put the bulky nestmate list
into a small synthetic class, at least in principle.  (Might look surprising
under reflection.)

— John