Added a function to return all the transitive bindings implied by adding a binding to a list of bindings.