Slices indexed by spans

Tags: Indexed category 1, Span, bicategory, Milewski-Vertechi dependent optics