That’s not really “the definition”. Different type systems can express different properties about objects, and there are absolutely cases that something changes

That’s not really “the definition”. Different type systems can express different properties about objects, and there are absolutely cases that something changes about a type. E.g. in structural typing, adding a new field will change the type to a subtype. Will it make any structural typed language non-static?