Add some monad experiments

- Monad Chain to log Strings
- (B)Intree with payload at every node does not seem to be a natural monad
- essential functions returning Chain