Modernizing SMT-Based Type Error Localization - Kopinsky, Max (arXiv.org)