Letrec completed

Named let and small touches on letrec need to be completed. Currently
causes and infinite loop.