Context-driven synthesis. Satisfies #17