SMS dit: Modernizing SMT-Based Type Error Localization