Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 prose; 2026-06-19 AFFIRMATION + status

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 prose; 2026-06-19 AFFIRMATION + status #792