Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing