[Typer] Low-level Typer?