0.7.0.0

• Remove unlawful MonadLogic (Writer T w m) instances.
• Fix MonadReader r (LogicT m) instance.
• Move lnot into MonadLogic class.

0.6.0.3

• Comply with MonadFail proposal.