highlight type expressions in error messages