Compilable: BitVector args, const tmpVars, control-if
Support for native functions.
Include stmt for native func decls
arg expressions and explicits casts; native code.
overloaded native func; new immediate type struct
read/write methods for new immediate type struct
Zero-size quarks OK; getBitSize() adjusts for constants.