A large number of changes, including:
- new Alloy instances with an e-mail application example
- changes to the text
- cleanup in the Alloy code