core: allow general letrec for Tetra fragment so we can check lambda lifted recursive functions