Better display of metavariable types in :t