[Typer] Locally indexed