Continued work on implemetning letrec