NAT: A native function is internally represented by a tree with 2 children: the name of the function and (a pointer to) the corresponding native function in the implementation language (i.e. a Pico function).