Special type that exposes methods commit, finalize and abort to simplify working with arrays. Is used in modify functions.