Added verified monads

This adds a typeclass of verified monads, which obey the monad laws in the same style as verified verified semigroups or monoids from Prelude.Algebra.
Good point! I will update my Verified repository, although I think I will use (>>=) instead of do-notation.