Added more complicated types back into Monad
Added javadoc for the Monad class, clean up examples
Explicitly set Monad to dynamic typing, removed Comprehension import which breaks Intellij
Removed simplified type signatures on Monad