Explicitly document Vector as Collection extension

Document Vector extension of Collection and Collection.extend