Refactor Array

Main changes:
RemoveAt, InsertAt - Private API.
Capacity - It can now shrink and enlarge - however there is no public API to enlarge.

Most internals re-factored to use RemoveAt, InsertAt - avoids a lot
of duplication and ensures proper clean-up when objects were being removed.

Fix issue 13128.

Fix array bounds

Improve documentation.

Fix issue 13128.