[Bootstrap] natively-type a variable
[Bootstrap] remove an unused variable
Cache a constant expressions
[grammar] use some more native types