Fix getfield_tfunc for constant TypeName

[yuyichao]

The field should be either Symbol or Int. Ref #37423

Unlike #37423, in additional to worse type info in inference,
the missing type check here can actually cause type inference error
due to errors in user code.

[martinholters]

In #37293, I've just moved the check

            if !(isa(nv,Symbol) || isa(nv,Int))
                return Bottom
            end

further up which subsumes this. But #37293 is more than just a bugfix, so we probably want to merge and backport this, even if #37293 can then safely revert it.

[yuyichao]

Updated the fix to be similar to #37293