%
% lists (binary trees) with constructor and projection
% 


% pairing and projections
car(cons(X,Y))=X.
cdr(cons(X,Y))=Y.
cons(car(X),cdr(X))=X.