Module algebra
glucose
Bivectors and Roters are not abstracted over their dimension because I don’t know how I will probably fix this in the future!