ivory loops: fix comments.
ivory-stdlib: add arrayCopy function.