Convert Synthtax to a dynamically type language

[iamvickynguyen]

The goal is to learn how type inference works under the hood.
Low priority