Do Type Annotations Help Students Improve Python Program Development Efficiency? - Wentian Xie; Sufan Zhang; Ziyuan Wang (QRS Companion, 2025)