Added a few warnings and removed few methods
Removed the lift methods in favor of the zip one

Also added few helpers for the Output monad