MonadPlusAdapter now derives from MonadAdapter

Also added LiftM4 and LiftM5 wrappers to Maybe