Move discussion of Kan extensions back to Chapter 4.  Partially reverts @8afb392.