Text this: Inductive synthesis of structurally recursive functional programs from non-recursive expressions.