Return type references appear multiple times in InfoTree

[intjftw]

When getting the InfoTree for a function, the return type field displays the same reference to the type multiple times. Perhaps it would be nice to display the references only once.