A bit more fuel for the bikesheding aspect of this:

Subtree borrowing.

(Single ownership stemming from main is a tree of owners; each path specifies some subtree)

(Btw. I enjoyed reading it)