Front end needs a mechanism for tracing type inference

[stereotype441]

As noted in https://dart-review.googlesource.com/42400, we have lost the ability to trace the intermediate types used in type inference. This makes it much harder to investigate bugs such as #32238 and #32305, since temporary prints have to be added throughout the type inference algorithm, rather than making a single line change to turn type inference tracing on.