Use an enum instead of strings for array iterator's type.
Remove the array kind atoms, as we use an enum now.