Added some comments into agonas2.sml