refactoring and documentation update of jeolm.dtx