Made auto-available traits be prelude based.

[orizi]

This change is 

[gilbens-starkware]

Reviewed 24 of 24 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @orizi)

---

crates/cairo-lang-semantic/src/resolve/mod.rs line 772 at r1 (raw file):

        }
        // Last resort, use the `prelude` module as the base module.
        // Last resort, use the `prelude` module as the base module.

Remove

Code quote:

// Last resort, use the `prelude` module as the base module.

[orizi]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @gilbens-starkware)

---

crates/cairo-lang-semantic/src/resolve/mod.rs line 772 at r1 (raw file):

Previously, gilbens-starkware (Gil Ben-Shachar) wrote…

Remove

Done.