Results 17 issues of Emily Herbert

Per the discussion on #830, we will eventually want to have a Sway prelude akin to the Rust prelude (https://doc.rust-lang.org/std/prelude/index.html).

enhancement
compiler
big

Once #1824 goes in, we will have the option to support recursive functions. But, in order to do so, we will need to make changes to the IR and codegen....

enhancement
big
compiler: ir
P: medium
blocked

I definitely fumbled around for an hour before I realized that I have to clone the repo before trying the install instructions...

Anything that is `TypedTraitFn` should be in the DE.

compiler: frontend

Resolving types is the work of the type engine so this PR moves it from `Root` to `TypeEngine`.

code quality
compiler: frontend

- closes #948

enhancement
language feature
compiler: frontend

Currently the `is_constant` field on `TypedExpression` is not read or used anywhere. We should either use it, remove it. https://github.com/FuelLabs/sway/blob/17d61c9ff348e812d2f25122836b173c7c350927/sway-core/src/semantic_analysis/ast_node/expression/typed_expression.rs#L34

compiler: frontend