Deprecate & unimplicitize lifted Apply/Applicative LazyOptionT; new ap satisfies laws.
Deprecate & unimplicitize lifted Apply/Applicative OptionT and #ap; new Monad#ap satisfies laws.
Merge pull request #582 from S11001001/topic/optiont-ap-bind-legal-7.0

7.0: Make OptionT/LazyOptionT monad legal in ap/bind consistency