diffgeom::tensors
type Vector<T> = Tensor<T, ContravariantIndex>;
A vector type (rank 1 contravariant tensor)