Lenses and indexed state

Since I just added `IxCont`, I felt like I should also implement `IxState`, and in the process I realized that the prior implementation of lenses was kind of ad-hoc, so I replaced it with a more capable implementation based on algebroids of the indexed store comonad (not implemented separately for now).