A very frequent use for a result of typeOf is obtaining an underlying type symbol. Another thing that comes up occasionally at stack overflow is a request to add facilities for reification of symbols.

This naturally suggests that our reflection API would benefit from a method called symbolOf that can take a term or type argument and return an underlying symbol.