Fix TH name lookup for symbolic tycons (#23525)
As proposed in #23525 (closed), this adds a third branch to the logic in thRdrNameGuesses
that classifies the possible namespaces a given name could exist in. The new branch covers symbolic names that don't start with :
, which may be type constructors (but not data constructors) or term variables (but not type variables).