strict mode

Strict mode, not unlike javascript's strict mode, enforces all external symbols to be well defined:

x y z := y*y+u error in strict mode if u is not explicitly defined before as global u or let u.

Maybe bad idea to even allow non-strict declarations in the first place?