Anders, Could you modify the wrapper code generated by FFC to include
FunctionSpaces as arguments? I modified the code in
dolfin/ale/Poisson*.h by hand.
It would reduce the number of Form constructors if the FFC generated
wrapper code would create a vector of FunctionSpaces.