typedef vector types