adding more ops to Traversable, but not sure about my SequenceOps for sequence
added MonadPlus
added MonadPlus tests
added MonadPlus laws tests which required >> added to Monad
refactored