Added SortedVector
Added several misc. libraries.
More imports and several C++11 cleanups.