The most problematic implication would be that classes with destructors will form a hierarchy separate from Object.
What for? As i understand object's dtor does nothing, so for any class we can determine, if dtor is empty. I don't see a problem here.
Cycles and locks for RC are the biggest problems, if you ask me. Also, what about arrays and maps?
