[firedrake] Mapping nodal values from parent to extruded mesh