statically correct version built on Isabelle/11cf810b8f600
reduce parse_spans to dummy + remove unused header_edits
wip pide