Special# Domain-specific machinery, imported by the example builders but usable on its own. Quantum optimal transport Pauli algebra