[firedrake] Adaptive refining