How is `Symbol` special?

Thanks for this correction, too. I also corrected it in my post above. But why do we have

the field equality in MySymbol when Symbol is a mutable type? Is Symbol the same mutable/immutable hybrid as String? Both types have a lot of similarity, so I guess this would not be too surprising.