In what sense is `owned` "a wrapper"? And why does that cause problems with "nesting"?
You are now in crazy-talk-land... "deepDestroy"? destroying 'ptr' automatically? What's wrong with B/D anyway? Please read their paper again, their design does not mention any of this crazy stuff. They wrote a full compiler with their design without much trouble. Now compare that to using RC for a compiler: Once you're done, the compiler will be slow and it will be hard to maintain the "no cycles allowed" invariant manually.
