parse and generate do-expressions
make call bind tighterly than unary ops
call C-wise
parse+generate with-expressions
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
generate global mutability