Ex 1.4
If b is positive the two arguments is added together, else they are subtracted.
Ex 1.5
Applicative-order: infinite loop when evaluating p.
Normal-order: 0, p is never evaluated.
Ex 1.6
In contrast to the special form if, all arguments to new-if will be evaluated no matter what the predicate evaluates to. Thus sqrt-iter will loop infinately.