I think you’re overcomplicating this. Why not re-use Final for this? It already infers Literals, so the leap wouldn’t be that far.
Anyways, I feel like this is beyond the scope of this PEP and should probably be its own thread in the Ideas section if you wish to discuss this further.