Document first-class environments.