Implementation of DJB's redo in common lisp