Merge pull request #53 from inaka/elbrujohalcon.dialyzer

More dialyzing!
More type and spec improvements
Now even the blog is dialyzed