Each native type can be defined within a code block:
Note, many types have a default value.
TODO: what about lists, arrays, ... etc...
Instead of leading with the type, you can simply say "let" and allow the translator to precisely infer the type.
A local variable can be annotated as readonly, meaning it can not be assigned.
Note: readonly and let do not mix at this time... TODO