[firedrake] Normal to curved surface