cons

cons : (X (listof X) -> (listof X))

purpose:
to construct a list

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