[Typer] Type checker