differentiable-function.hxx: fix some types.