Type System Foundations for Super-Charged Semantic Code Search by Ishan Bhanuka #FnConf 2025