i don't like first/rest; car and cdr are about pairs, not about lists which is an implicit type (like strings in C).