I'd remove the ``$tpe`` from the displaying, as I fear this could get fairly complex/long, e.g, function types. One additional reason for doing so is that we should make user pay for the computation only if they actually select the "Expand type" quick fix, and not if they select a different one, e.g., extract local.