More about traits.
Add references to modules.
Remove mentions of HOF.
Update an example.
Introduce enums.