final tests for Typer