Typer: Add (impure) backtracking to typer
merlin-typers: Add type backtracking to recovery mechanism
Fix backtracking points