Zero initialisation used to only work for ints. It now works for all types.
Changed how the loop iterator is handled when creating the loop. A phi-node is no longer necessary.