Solved, FTW!

Only, stuck in the paper eval of exercise 1.41... Not yet been able to
properly work out why (((double (double double) inc) 5) evaluates to 21
(i.e. 5 was incremented 16 times--i.e. why does (double (double double)
inc) produce 2^3*[argument]?)