Another DI tutorial checkpoint.

Got to the point where we've described dependencies using tiedye.
However, there seems little point in describing the current low-level
provider interface since we're going to add another layer on top for
simpler declaration of groups of providers and then this part would
need to get rewritten anyway.