fixed error in format function in datatypes.sml