Rename typers modules.
Implement a polymorphic typer.