Fix wording in Ivory user guide

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