[core] Updated documentation
[core] Forcing inlining of embedT
[core] Introducing new specific unsafe lift operations

liftBindLike
    :: (m a -> (b -> m c) -> m d)
    -> Throws e m a
    -> (b -> Throws e m c)
    -> Throws e m d

liftFlipBindLike
    :: ((a -> m b) -> m c -> m d)
    -> (a -> Throws e m b) -> Throws e m c -> Throws e m d

liftKleisliLike
    :: ((a -> m a') -> (b -> m b') -> c -> m c')
    -> (a -> Throws e m a')
    -> (b -> Throws e m b')
    -> c -> Throws e m c'