`iterate` should have an iterator notation

[lukaszcz]

So that we could write something like:

iterate n (seed, acc := initialSeed, []) {
  let seed' := random seed
  in
  (seed', seed' :: acc)
}