Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing (Logical Methods in Computer Science, 2024)