when would a frozenset be needed?

[buran]

FrozenMapCopy does not actually change when modifications are applied,

I think you misunderstood this part, it's the other way around - the frozenmap does not reflect the changes in FrozenMapCOpy

[FrozenMappCopy] are mutable, although any mutations on them do not affect the frozenmap instances they were created from;