Progmodel readthrough. Add todo and minor fixes

Rewrites the programming model section to fit with the introduction part.
which can be used? Wut. Perhaps something 'that can be used to launch the kernel at a later point' Used as insertion point. something else.