Checkpoint: recursive count

This checkpoint's pattern — recurse on the index, add 1 conditionally in the return expression — is the exact shape of several released exam recursion items. Get the empty-remainder base case right and the rest is arithmetic.