Support a size() method on arrays

The justification is for arrays / Java collections interoperability.