Improve BindingContract documentation