Update CHANGELOG for unbound implicits
Highlight differing implicits in errors

But only if there are otherwise no visible differences in the error