[Typer] [Git][monnier/typer][alice] 2 commits: add hc equality & lexp id in hash