Pair and list constructor
(cons x y) is a pair whose first component is x and second component is y. If y is a list, then (cons x y) is a list that has an additional element x on the front.
