Progmodel readthrough. Add todo and minor fixes

Rewrites the programming model section to fit with the introduction part.
is written => has been converted to the demolicious programming paradigm