Progmodel readthrough. Add todo and minor fixes

Rewrites the programming model section to fit with the introduction part.
will not be stored to memory / will not be executed / will not affect state.

I the first suggestion, as the result actually is calculated, but discarded.