Match ML mistakes by their types