Merlin_recover: forbid empty recover stack
Fix pa_lwt translation
WIP: track changes in typer environnement