cdr
cdr : ((cons Y (listof X)) -> (listof X))
purpose:
to select the rest of a non-empty list
Beginning Student with List Abbreviations Language