Add a type for EMPTY-VECTOR.