Zaslat SMS: Program Synthesis for Quantum Applications