Changed the while, repeat and for (both generic and numeric) syntaxes.
Decoupled syntax and semantics.
Added more semantic definitions to the documentation.
Defined more semantics in the documentation.