add new letrec spec