https://123dok.org/document/wyelm5eq-extending-the-lambda-calculus-with-unbind-and-rebind.html