Interface check in `NonlinearSystem`

[michakraus]

The interface check in the NonlinearSystem constructor is a bit problematic:

applicable(F, f, x, NullParameters()) || error("The function needs to have the following signature: F(y, x, params).")

If the function F expects actual parameters, it may restrict their type to something else than NullParameters.