An Iterator walking the goals wrapped by a Block, unfolding the Tuple its arguments are folded into (if any), left to right.