Putting types back to arrayUtilities.

  - groupBy seems to cause unsoundness.
Fixing scoping error.

  - Global vars (annotated) are new block-scoped.

  - ArrayUtilities benchmark passes as whole (except two methods)