Pātuhitia tēnei: Advances in Proof-Theoretic Semantics