There's clearly a connection here to geometric [Clifford] algebra but I don't quite know how to state it other than "vector algebra is messy because it confuses groups and torsors while geometric algebra deconfuses the two."

Also it appears that recognizing torsors is analogous to being rigorous with types. Or perhaps typeclasses.