Sketch of pullback. Needs more thought
Beginnings of vector finite element.