Option.concat

Added concatenation to the Option monad.