More dialyzing!

- redis is gone… for now
- sumo_doc.hrl is gone… forever
- ``sumo`` was split into ``sumo`` and ``sumo_internal``
- types have been moved to ``sumo`` and added everywhere
- some specs were added