New Abstractions For Quantum Computing