Wow, that was a nice recap of the historical discussions.
Thank you :-)
FWIW, if a workable frozenset literal were proposed, I would
have no objections.
Their original use case was be useable
as elements of other sets (for sets of sets)
or as dictionary keys (to implement graph structures).
Later, it became clear that it would be useful for code-optimization
to treat frozensets as constants that are built when a function
is defined, rather than later when it is invoked.
In the future, frozen sets may obtain other desirable properties.
For example, I'm still evaluating whether to store the
key/hash entries in a dense array and storing only indicies
in a collision table. For regular sets, the dense array needs
to over-allocate in order to grow efficiently. In contrast,
a frozenset could free the excess memory and become
very compact (about a third of the current size).
If that ever comes to fruition, then a frozenset literal would
be nice because of its compactness as compared to regular sets.