diffgeom::tensors
type Covector<T> = Tensor<T, CovariantIndex>;
A covector type (rank 1 covariant tensor)