Added mapF.

And redefined remove-recursive-objects in terms of mapF.
OAAO Theorem proved.