(LETREC MAPADD
  (MAPADD LAMBDA (LST)
  	(MAPCAR ADD1 LST))
  (MAPCAR LAMBDA (FUN LST)
    (IF (EQ LST (QUOTE NIL)) (QUOTE NIL)
        (CONS (FUN (CAR LST)) (MAPCAR FUN (CDR LST)))))
  (ADD1 LAMBDA (X) (ADD (QUOTE 1) X))
  (SUB1 LAMBDA (X) (SUB X (QUOTE 1))))&