added Letrec to closLang, compiler proof cheated