cddar
cddar : ((cons (cons W (cons Z (listof Y))) (listof X)) -> (listof Y))
purpose:
to select the rest of the rest of the first list of a list
Beginning Student Language