Hacking on Feldspar.Vector.MultiDim and .Shape to get them into better shape.

The Shape module is shaping up nicely now. MultiDim has quite some way to go.
It currently typechecks but that's only because I've commented out quite a few
things.