Type systems don't deal with variables. Type systems deal with interactions between values. Maybe those values are inline, maybe they are stored in variables.

Type systems don't deal with variables. Type systems deal with interactions between values. Maybe those values are inline, maybe they are stored in variables. You don't imply anything from an assignment other than the variable now has or is pointing to the new value. This is the same in every programming language. The only difference is that some programming languages gatekeep what you can assign to a variable based on types.