[Typer] [Git][monnier/typer][alice] 2 commits: remove susbt hash table