Clean up TODO
Describe 'produce' as a simple approach to effects
Add 'produce' term and denotational interpretation
Unparse produce
Define operational semantics for produce
Add basic produce interaction
Add old effect system ideas

Later, when dealing with effect handlers, these may still be applicable.