What kinds? What’s the best process to do program synthesis? The more I write programs by hand the more I think it should probably be a first-class design consideration for new programming languages