A quick comment on this one, before work begins on implementing it. This proposal involves the creation of 8+ new dependency types, none of which have been discussed in detail as far as I can tell.
Pending rigourous analysis of the implications of this proposal, I think it's fluff. It sounds like a good idea, but it's really just housecleaning without any specific goal in mind. -1 Adam K