Warning messages prettyprinted
Added MonadPlus/Alternative warnings, refactored, cleanup
Refactored