Fix wording in Ivory user guide

Fix some minor issues in the “Module Definitions” and “Exporting”
sections.