https://medium.com/@gulbeysadi/carbon-lang-by-google-first-look-variables-and-their-types-p3-21c20e99a274