Added support for 'for' loop.

We still need to check that the iteration variable 'i'
in

  for i := e1 to e2 do e3

is not assigned to in e3.