> You traverse the subgraph. Replace "visit" with "traverse". I had Pony's definition of `iso` in mind, but you describe the more general case where backpointers are already included! Nice! DAGs become sendable too.
> Reference counting is alias control. Yes, refcounting is simply superior. It seems that the dynamic check is the most efficient way.