Richard Musil writes:
The implementation can be an additional attribute on an identifier
That's not an implementation yet. From the point of view of the Python program, an identifier is an entry in a namespace. To describe an implementation of something that acts on identifiers, you need to say what namespaces are subject to this action, and what happens when the action might "cross" namespaces.