Pātuhitia tēnei: Modernizing SMT-Based Type Error Localization