Make EnumerationArray::size() not static