cons

cons : (x (listof x) -> (listof x))

purpose:
to construct a list

Reductions:
(cons v v) e--> cons: second argument must be of type <list>
where v is not empty, and v is not (cons ...)