Refactor: documented WorkingTranslator; fixed other comments.