[Lang] Support annotated assignment

[woooodyye]

Related issue = #2610

[netlify]

✔️ Deploy Preview for jovial-fermat-aa59dc canceled.

🔨 Explore the source changes: 638fb92

🔍 Inspect the deploy log: https://app.netlify.com/sites/jovial-fermat-aa59dc/deploys/61ae6f0c4f2ad30008d6befc

[strongoier]

Hi @woooodyye. Which PR is the version you would like to get reviewed, this or #3701?

[woooodyye]

hi, can I get this PR draft reviewed ? I think #3701 has formatting issues. Thanks. @strongoier

[strongoier]

Great!

[strongoier]

/format

[woooodyye]

please ignore the review request

[woooodyye]

Right Now. Since annotations are not considered as variables, we need to explicitly define a primitive type as a value for the primitive types to be considered as variables.

For Instance:
a: ti.i32 = 1
would not work.

Instead, we need to do something like

my_int = ti.i32
a : my_int = 1

Note: the primitive type you declare doesn't necessarily need to be the type annotation you want to use, It's totally fine to do

my_int = ti.i32
a : ti.f32 = 1.
b : ti.f64 = 2
.......

The whole point of this my_int = ti.i32 declaration statement is to introduce ti.primitivetypes into the global variables.

[strongoier]

Great work! Only some nits.

[strongoier]

LGTM!