RFR(L) 8026054: New type profiling points: type of return values at calls

[Roland Westrelin]

> It seems we'd have to redesign the class hierarchy for virtual methods to work.  Leave it as it is for now.  Maybe we can think about it for 9.

Ok. Thanks for looking at this.

Roland.