[Typer] Hash consing