Bivectors and Rotors

[kvark]

I've had an exciting read of http://marctenbosch.com/quaternions/, and one of the basis points they are making is that normals (like other bivectors) aren't in the same space as vectors. This is precisely the semantics we are trying to express here in mint's type system, so it would be great to expose the bi-vector and rotor types.