dead code removal
work in progress: avoid writing special-case AST traversal code for built-in functions
inline built-in operators when generating the IR representation
remove binary and unary operators from the RefTracking AST
handle ArrayAlloc and ArrayInitOne via the External interface instead of explosing them in the AST
minor documentation tweaks