~ Remove import Internal from Storage.
~ Minor changes.
~ Move session types to separate module.

This is Yet Another Refactoring:

* Get rid of GHC Stage Restriction;
* Unliterate rest of code (less clutter);
* import Exchange in internals to avoid Discovery module.
~ Unliterate sessions module.
- Remove discovery module.