Progmodel readthrough. Add todo and minor fixes

Rewrites the programming model section to fit with the introduction part.
This is a lie, we cannot mask loads and stores.