The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS