Pātuhitia tēnei: Program Synthesis for Quantum Applications