global references have pointer type
factorize out globalType
have more built-in named integer types
add (?)
print global variables
allow externally-defined symbols, recognize more constants, not catch constants in closure, unbreak global generation
print global constants
set global mutability