added verified monads
merge fix
added verified functors/applicatives
verified monads are applicatives
Merge pull request #1695 from japesinator/verified_monads

Added verified monads