(doc) Update docs for Alloy move.

Update the README and the source code comments for the Alloy move.

Closes #122.