TypeValidator now relies on static_typer.