Extending the lambda-calculus with unbind and rebind