Added code for conditional and iterative statements (the immediate
recursive calls will at a later point have to be converted into a
tree-walker architecture to factor out delay and visualization). More
code should be added from this point to capture the remaining statements
and the declarations.

Also fixed the arithmetic and boolean expressions. Apparently, recursion
is still a mystery...