first
first : ((cons Y (listof X)) -> Y)
purpose:
to select the first item of a non-empty list
Intermediate Student with Lambda Language