Add remaining vector methods that are in aptos::move

[ksolana]

aptos-move has several vector methods that we should add. At a certain point we'd rebase their branch onto ours.

https://github.com/aptos-labs/move/blob/main/language/move-stdlib/sources/vector.move https://github.com/aptos-labs/move/blob/main/language/move-stdlib/src/natives/vector.rs

[nvjle]

Note: The link above is a copy of the baseline standard repository version of move-stdlib. The enhanced Aptos version is here: https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/framework/move-stdlib

[jcivlin]

This would require supporting Aptos extended Move, which includes some new syntax, in particular, supporting function params, and map-like iterator.

In general compilation vs stdlib (or any "lib") requires support of the named address resolution and (source) dependency resolution.