Complete Functional Synthesis