Binding rework
Variable scoping by definedness.