Add sections on interoperability

[BenBrock]

Define precisely how a user should outfit a type to fulfill MatrixRange and MutableMatrixRange, etc. (Also do a proof-of-concept, e.g. with mdspan and nwgraph.)

Also, define precisely how a user should outfit a type to fulfill Monoid.