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