Document the dependency propagation classes
From @gefjon :
ideally I'd like to see a description of each of the direction-OPERATION classes that describes how it propagates dependencies.
Rather than hold up the existing doc fixes MR, just caching this for further work.