Move /+/ into NatVec.
boxes as monads over indexed sets