Αποστολή με SMS: Inductive Synthesis of Functional Programs