Top-Down Inductive Synthesis With Higher-Order Functions