letrec now has all the defs become a list with (var *undefined)