Dialyzer and Typer targets.
Basic type annotations for outside library.