> Some GA libraries[1][2] define types for the different kind of objects (grades) That's nice! This reminds of me things like, linear algebra libraries that w

> Some GA libraries[1][2] define types for the different kind of objects (grades) That's nice! This reminds of me things like, linear algebra libraries that will type-check matrices so that a 2x2 matrix can't be added to a 2x3 matrix (but then you can have a dynamic matrix that will error only in runtime), like https://nalgebra.org/ https://nalgebra.org/ and others.