Fix Feldspar/Vector/Unbox.
It depends on MultiDim and in particular the Pull constructor which
had its arguments reversed
Make MultiDim run on ghc 7.4
The associated constraint Vec in ShapeMap needs an explicit kind signature
in order to typecheck on ghc 7.4
Fix type signature of matrix multiplication