RT DW A1 Guo, Zheng. T1 Type-Directed Program Synthesis for Complex APIs