Testing framework for Standard ML, BDD style