Adding ADT SortedVector; client patch will follow.