fix unwitting semantic change: make Letrec('x, omega, ...) loop