Implement Shirokov's arbitrary metric inverse

[hugohadfield]

This should hopefully allow us to extend the current linalg free inverse method to arbitrary algebras, details in this paper: https://arxiv.org/pdf/2005.04015.pdf

[hugohadfield]

Specifically Theorem 4 on page 16 looks like the section we might think about implementing