Properties of `Matrix.rank` / `Matrix.cRank`

[Properties of rank - Wikipedia](https://en.wikipedia.org/wiki/Rank_(linear_algebra)#Properties)

Especially important is sub-additivity: `(A + B).rank ≤ A.rank + B.rank`