Seol mar théacs é seo: Advances in Proof-Theoretic Semantics