An AI-first program synthesis framework built around a new programming language