unit testing framework for StandardML and SML#