StructureExpander now uses the snapshot as the base for the slice entry's definition, and allows the diff to override it.