Merge pull request #2 from egisatoshi/develop

Fixed type mistakes
Bump leo_commons
Support dialyzer
Refactor
Change the rule
Refine specs