Add implicit declarations for undeclared variables used in assignment expressions

[stephen-zhao]

e.g.
let y := x + 8;
should not throw a "not in context" error. The x should be implicitly declared.

Moreover, e.g.
let z := x + 3;
should refer to the same x as the previous "let y..." expression, so the x should be implicitly declared in the surrounding scope.