Pošalji tekstualnu poruku: Modernizing SMT-Based Type Error Localization