For Generalised Algebraic Theories, Two Sorts Are Enough. - Samy Avrillon; Ambrus Kaposi; Ambroise Lafont; Niyousha Najmaei; Johann Rosain (CoRR, 2026)