[Typer] [Git][monnier/typer][master] * src/lexp.ml (hc): Reimplement using a *weak* set