Models and environments TODO [ ] Add a description of aldenv's models [ ] Describe how environments extend models