Switched matrix multiplication to use the finite support of the traced out dimension rather than representability.

* This makes (sparse x sparse) * (sparse x sparse) multiplication work correctly