… messages

This error formatting framework displays a tree of implicit parameters
that correspond to the resolution chain between an error's call site and
the offending implicit.

Several additional improvements for error formatting are provided as
well, like colored diffs of found/required error types, which are based
on a set of pure data types extracted from the compiler internals,
available to plugin developers through the AnalyzerPlugin API.