modified the API of Env: add_binding