[firedrake] trying to set up nonlinear problem