sss/eff: incorporate type-aligned
sss/eff: use Void i/o () to denote no effects

() is not the same as Void, in that () *does* have a constructor. '()'
has a single constructor and as such 'Eff ()' only means that no effects
are left to handle by convention. 'Void' on the other hand has no
constructors and as such because there really is no way to create a
value of type Void, 'Eff Void' indeed does denote the scenario where no
effects are left to be handled.
sss/free: add FreeView + Free

defining (and exposing) under the hierarchy
Control.Monad.Free.Reflection to force us to use the version from
<https://github.com/ekmett/free/blob/categories/src/Control/Monad/Free/Reflection.hs>
once the categories branch is merged and deployed for the 'free'
package.
sss/free: add docs + clean types/constructors

- TCQueue -> TCQ
- 'FC f' replaced by 'Kleisli (Free f)'
- FMExp -> FreeExp
- FM -> Free
- (>>>=) -> (^>>=) and has been made top-level
- added docs to functions
sss/eff: update Eff to depend on Reflection

- the type of 'Eff' has collapsed into that of 'VE'. as such 'VE' is no
  longer needed and has been removed.

- since we're no longer utilizing Codensity, the signature of 'send' has
  been simplified

- because the types 'VE' and 'Eff' are the same, admin has been reduced
  to 'id' and as such has been removed