Title: A type-based framework for locating errors in constraint logic programs