Extensible environments. More powerful than necessary, but will be necessary if scoped variables and mixins are added to the language.