Added scalac options to build.sbt
Added a few combinators to Monad trait