Document that Vector indices are ascending

Fixes #4
Finalize most of the prelude DRY update