The Structure and Interpretation of Quantum Programs