[Python-ideas] Re: addition of "nameof" operator