Library for automatic unit testing of Standard ML modules