[firedrake] GenericVector