Style checker for Standard ML