separate declaration and initialization of variables
example uninitialized-variable
add example list-of-tuples
example mutual-recursion
examples logical-operators and gcd