Text this: Inductive Synthesis of Functional Programs