add tests to run with the dialyzer and typer