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.