Features:

* Geometric algebra is handled by the type system.
* Wedge product.
* Geometric product.
* Addition and subtraction.
* Basic implementation of Bivector.