DirichletBC set to boundary normal

You can project the FacetNormal to be Function, as shown in:

and use it directly in your Dirichlet boundary condition