chore: review Array operations argument order

[kim-em]

This PR modifies the order of arguments for higher-order Array functions, preferring to put the Array last (besides positional arguments with defaults). This is more consistent with the List API, and is more flexible, as dot notation allows two different partially applied versions.

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 3a408e0e54de9a6859a1bd9c53c7adf4d1a28e37 --onto 456e6d2b791bbc560b304b28a60f35db7072c306. (2024-11-12 04:52:00)