Let $xyz have arbitrary dimension

[frothga]

Any code that assumes a specific size of $xyz should be generalized to always check size.

The C backend will be more difficult to change, because it eliminates all variable-sized matrices in favor of hard-coded fixed-size matrices.