cddr
cddr : ((cons Z (cons Y (listof X))) -> (listof X))
purpose:
to select the rest of the rest of a list
Intermediate Student Language