replace cl-labels with letrec
more replaces
fix Boolean type, finish 4.22