Add rough outline

This is my suggestion. It is not completely aligned with your older braindump email.

- Do we really need to go into monads in any detail? It's kind of just taking up time and space?
- General gymnastics replaced by Atkey discussion

Feedback!