The Cornell Program Synthesizer: a syntax-directed programming environment