Factory method to create an Option.
Some wrapping the value given by the provider if the predicate holds, None otherwise.