What is the most appropriate practical meaning of tanqīḥ?

Imam Najm al-Din al-Nasafi and the Method of Commentary

• Only replacing difficult words
• Eliminating objections without distinction
• Expanding the number of headings
• Isolating the real issue from irrelevant branches