I've made some progress with boxing-fighting in matrix inversion. I've managed to limit code overhead for a few lines per type, and pack LU-decomposition and matrix inversion in less than 300 lines, but I still do not fill happy about how it looks. Boxing is still a major pain.