A rearchitecture of how variable binding works.