Sketch implementation of VectorFunctionSpace

Vector function spaces require much more symbolic manipulation, so this
sketch implementation is useful in raising some of the issues we have.