feat(corelib): OptionTrait::ok_or_else

[julio4]

Transforms the Option<T> into a Result<T, E>, mapping Option::Some(v) to
Result::Ok(v) and Option::None to Result::Err(err()).

Also add missing tests for OptionTrait::ok_or

Examples

assert_eq!(Option::Some('foo').ok_or_else(|| 0), Result::Ok('foo'));

let option: Option<felt252> = Option::None;
assert_eq!(option.ok_or_else(|| 0), Result::Err(0));

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed all commit messages.
Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @julio4)

---

corelib/src/option.cairo line 208 at r1 (raw file):

        +Destruct<E>,
        impl func: core::ops::FnOnce<F, ()>[Output: E],
        +Drop<func::Output>,

Suggestion:

        E,
        F,
        +core::ops::FnOnce<F, ()>[Output: E],
        +Destruct<E>,
        +Drop<F>,

[enitrat]

@julio4 can you add the module-level docs, in the # Methods Overview for the new functions you introduce in the Option (or Result) please 🙏

Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @julio4 and @orizi)

[julio4]

corelib/src/option.cairo line 208 at r1 (raw file):

        +Destruct<E>,
        impl func: core::ops::FnOnce<F, ()>[Output: E],
        +Drop<func::Output>,

Done.

[orizi]

Reviewed 1 of 2 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

---

a discussion (no related file):
@TomerStarkware for 2nd eye.

[TomerStarkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

[orizi]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

---

a discussion (no related file):
just waiting for @enitrat 's approval.

[enitrat]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

[orizi]

Reviewed 2 of 2 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)