Variables are now scoped to the definition (or lambda) in which they are bound.
Local definitions do not effect outer definitions.
Local definitions "shadows" the outer definitions.