Inductive Synthesis of Functional Programs