[firedrake] Interpolating data to Function