Tangent bundle, vector space and Submanifold definition
Tensor algebra abstract type interoperability setup