Problem sets for Standard ML