[firedrake] 1+1 dimensional hierarchical meshes and function spaces