[firedrake] Internal dirichlet boundary conditions