Unified backend for objectives, gradients, Jacobians and Hessians?

At the moment we do not check if an e.g. optimizer has a `HessianFunction` if it has a `GradientFunction`. So we could have manual derivatives in one case (`GradientFunction`) and automatic ones in another case (`HessianAutodiff`). Should we leave it that way?