Added `Vector type.