Fix wording in Ivory user guide

Fix some minor issues in the “Module Definitions” and “Exporting”
sections.
Merge pull request #2 from ehamberg/master

Fix some minor issues in the Ivory user guide