Version 1.3: Addition of an translator interface, and changes due to this. Typo fixes to documentation v0.6.1-DRAFT.