Better letrec compilation

If possible, makes a letrec-bound lambda into a bare L4 function