TypEr is a tool that displays and automatically inserts type annotations in Erlang code. It uses Dialyzer to infer variable types.