Dynamic type checking incorrectly transfers types

[Sam-Strand]

When overriding meta methods, Dynamic type checking incorrectly transfers types

[semyon422]

Add ---@operator unm: alpha after ---@class alpha

[Sam-Strand]

Thanks for the answer, I missed this nuance in the manual