Letrec and LetStar functionality implemented