Balázs Tóth, Martin Desharnais-Schäfer, Jasmin Blanchette: Adding Sorts to an Isabelle Formalization of Superposition. CPP 2026: 104-116