Make the first step towards new variable semantics.

Global variable assignment will now print a deprecation warning unless
it uses the "!global" flag. In a future release, it will assign to a
local variable instead.

Closes #473