Simple Types for Probabilistic Termination. - Willem Heijltjes; Georgina Majury (CSL, 2025)