Generic or Kind-Agnostic linear system solvers

Absolutely @kimala, that’s exactly what I was trying to suggest here

The advantage of the interface block is compile-time path resolution, rather than the runtime resolution that you would have with a polymorphic version