[sgdpk]

I will read this a bit later, but is the idea to extended the structure of the tangent space and make it a full geometric algebra?