oops
fix after value refactoring
detect recursive lambdas in more cases

a lambda can also be recursive if the body of the letrec is an
application of the lambda's name but does not use the name in the
operands.