STRIP-CDRS

(strip-cdrs x) has a guard of (alistp x), and returns the list
obtained by walking through the list x and collecting up all
second components (cdrs). This function is implemented in a
tail-recursive way, despite its logical definition.