Bayan al-taqrir confirms an existing meaning; tafsir explains an unclear one; taghyir changes scope through a condition or exception; darurah clarifies through a necessary circumstance or silence; tabdil replaces a previous ruling through abrogation.
كُلُّهُمْ أَجْمَعُونَ
All of them, all together.
This reinforces generality, while details of prayer clarify a brief command. Conditions and exceptions raise questions about their connection to the statement. Abrogation is not merely another label for clarification or specification.