Make room for (nonsquare) MatrixVar; add preliminary example for robust application