To help people make the transition from older versions of Alloy, such as in the book, and Alloy 6, it would be helpful to explain how one would desugar the new features into the older syntax without the new features. For example, I suspect that uses of var can be desugared into adding a time column and making other localized changes. An alternative would be to point people to where examples of the new features are and explain how those examples would be (or are already) written in the older syntax.
To help people make the transition from older versions of Alloy, such as in the book, and Alloy 6, it would be helpful to explain how one would desugar the new features into the older syntax without the new features. For example, I suspect that uses of var can be desugared into adding a time column and making other localized changes. An alternative would be to point people to where examples of the new features are and explain how those examples would be (or are already) written in the older syntax.