Foundations for Quantum Programming | Cosign