Added comments into dromoi.sml