[firedrake] Nullspace & VectorSpaceBasis