added monadic Maybe[T] type with extension methods

added tests for Maybe[T] type(s)