[TIDOC-1265] Add Alloy Example
[TIDOC-1256] Fix wording
[TIDOC-1256] Fix typo
Merge pull request #4682 from bhatfield/tidoc-1256

[TIDOC-1256] Add Alloy Example