Investigate having a FixedMatrix with different types for different columns

[pleroy]

This came up in the review of #4409, see this comment. It might make it possible to avoid the homogeneization/dehomogeneization that occurs in various places.

Note that we have some algebra on tuples in geometry/cartesian_product.hpp, we might be able to use some of that.