Rearrange Haskell things

* TallyHo.All => TallyHo.hs
* Change constraints on demo conduit
  - use MonadBaseControl instead of MonadTrans
  - this allows nesting of arbitrary depth
* Correct the cabal file