[firedrake] boundary conditions on a mixed function space