cdar
cdar : ((cons (cons z (listof y)) (listof x)) -> (listof y))
purpose:
to select the rest of a non-empty list in a list
Beginning Student Language