debugged let and let* predicates. letrec is not working correctly yet