Fleshed out much of the necessary infrastructure to transition over to the comonad composition framework. Made some notes about law-satisfaction details for ComonadApply of Indexed things. To elegantly support ZipperN instances for Indexed zippers, needed to use FieldN classes from Control.Lens. I'll do my best to keep the lensification from getting too out of hand; it shouldn't be necessary for very much else.