cadr (lambda (l) (car (cdr l)))
list (lexpr (l) l)
1+ (lambda (x) (+ x 1))
1- (lambda (x) (- x 1))