Specify one problem for Homework 8
Get rid of infinite loop when the upper bound for `count` is negative
Use lowercase identifier to indicate that the definition is in the meta-language; remove the restriction to `Fun` on the expression passed to `callcc`