Add mix dialyze task.
Add type specs.