[Typer] Syntax problem in Typer