Full Type Inference

[Sunjay Varma]

Currently, we require every variable to have an explicit type annotation. This can get quite tedious and add a lot of extra noise to programs.

Support:

let foo = 8;

Derive the type from the usage of variables in expressions and function types.