Stav dette: Program Synthesis for Quantum Applications