Show type-mismatch hole results as lightweight fragments (without presenting types)

[Eyal Lotem]

Consider also showing the inner fragment mismatched type for the currently selected result