this is the idea -- change the type of `dimensions` to `Vec[Matrix[S]]`.
Let's see next if that plays out well
add name to constant matrices.
getting there - probably we should drop `shapeInfo` altogether and just
process `dimConst`
stop here for a moment; we need two variable-impl's, one for recursive
1D, one for the rest
upgrading demo (not yet finished)