proposal: merge Bindings and Definitions