of last conses to return. Added the TAILP-NIL cleanup with clarifies the behavior of TAILP when the first arg is atomic.