A semantic POP-style framework for structuring AI-assisted programs