No, that is correct. VectorFunctionSpace is a dolfin class, while VectorElement is the right name in ufl.
No, that is correct. VectorFunctionSpace is a dolfin class, while VectorElement is the right name in ufl.