And I'm actually wondering if we need this at all.

Isn't there a way to get the symbol of a ``Type``? (``termSymbol``?) Need to pick on @dragos brain :-)