The KVector Type represents linear combinations of k-blades.
All Blades in a given KVector have the same grade.
This is the main object in Grassmann Algebra.
KVectors essentially extends the algebras and Types defined in Blades with the + operator. This allows for a vector space of Blades.
Most operators that act on Blades can act on KVectors. Notable exceptions are the inner product ⋅ and geometric product *.
These can not, in general, operate on KVectors as they could result in a mixed grade vector. The KVectors algebra is not closed under such operators. For mixed grades you need Multivectors.
See the documentation of Blades for more information.