Fully agree. Your semantics of "expounder" and "expounded" spans is much more coherent. It's a new modality, but I think it has a lot of potential: I love expl

Fully agree. Your semantics of "expounder" and "expounded" spans is much more coherent. It's a new modality, but I think it has a lot of potential: I love explanations with "multiple levels" in general...