What is meant by the the following terms in Al-Tahir Ibn Ashur's Tafsir: al-ihtibak, al-masdaq, al-laff wa al-nashr, and al-tadhyil?

Ihtibak (Symmetry/Chiasmus): Deleting from the beginning what has a counterpart at the end, and deleting from the end what has a counterpart at the beginning. It is named after al-habk, which means tightening, firming, and improving the effect of craftsmanship in a garment.

Al-Laff wa an-Nashr (Folding and Unfolding/Distribution): Mentioning multiple things, either in detail or summarized, then mentioning what pertains to each individual item without explicit designation, relying on the listener to assign to each what suits it due to the clarity of the situation.

At-Tadheel (Reinforcement/Elaboration): When a sentence comes in the discourse to confirm what preceded it.

These are the rhetorical terms mentioned.