car, cdr, cons
eq?, eqv?
cond expressions