Identifies that an array-type field should be considered immutable. Note
that for an array to be considered immutable, its component type must
also be immutable.
#33 Let's prevent modifications to arrays having this annotation,
somehow. Perhaps we can create an aspect that will throw an exception
should something try to write into the array. See