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

[TIDOC-1256](3_1_X) Add Alloy example