C.29:13.5 - Obstructions to compositionality

Adapt the obstructions and failures-of-compositionality perspective into LostStructure and StopCondition: a lens can be useful precisely because it exposes where transfer fails, not only where it succeeds. In plain language, a good lens does not only say “this transfer holds”; it also names the boundary where transfer stops.