(I'd quite like to put this in 5.1; the contents only being displayed in unsure-types is obviously a bug).
IndexedContainer::toString() did this, but the tooltips use DeclarationNavigationContext::htmlIdentifiedType() which didn't.
This led to the rather odd situation where unsure-types had *more* information:
a = b = 1, 2 b = "string" a # 'tuple' b # 'unsure (tuple of ( int ), str)'
There's still quite a lot of duplication in this function, and with the toString() methods, that should be addressed at some point.
Incidentally, make the actual number of types used match the comment.