std::function has some unfortunate characteristics regarding both size and performance. We should at least avoid having it in the public API interface (currently as the alias BindingEvaluationFunction), so that it can be changed at a later point if the need arises.
Ideally, we also remove it from the implementation.