1.1:
10
12
8
8
6
a
b
24
4
16
6
16
1.4:
Use the sign of b to determine whether to add or subtract it, hence
the effect of adding b's absolute value.
1.5:
In an applicative order interpreter, the y in the second half of the
if condition won't be expanded, so the result will be 0. In a normal
order interpreter, attempting to expand the function test will result
in an error.
1.6:
Without a special instruction to short-circuit the 'else', the new-if
expands an endless loop of good-enough? tests.