small repair on the grammar

Compared to the original version, I made some adaptation, repairing something that did not made much sense (and was kind of inconsistent). That's to do with statements. the intention this year is to use ; as separator between statements but not as terminator. That was specified properly only for procedure declarations, but not for conditionals and while-loops.

I repaired that and update the documentation. Martin