[firedrake] Projecting function to finer mesh