A type error slicer for Standard ML