[TIDOC-1127] Add Alloy example
[TIDOC-1127] Fix example
[TIDOC-1127] Fix formatting
[TIDOC-1127] Address comment
[TIDOC-1127] Fix styling
[TIDOC-1127] Correct instructions
Merge pull request #106 from bhatfield/tidoc-1127

[TIDOC-1127] Add Alloy example