Complete redesign.  I've made a small language for describing domains, and a small synthesis algorithm for generating domain selectors from a small number of positive examples.  In the new version, there's only one candidate selector at any given time, rather than many candidate selectors from which the user can choose, and the one selector is refined as the user gives more examples.