Support letrec*