Architecture: More high-level documentation and diagrams.

Specifically, I'm adding a high-level MDD (simplified for clarity).

I'm also adding a diagram of the object relations among our manager types. (There are also communications that happen via channels, but those aren't discussed here.) That part closes #624 (closed).

There is probably more to say here, but this should form a scaffold we can build on.