chore(ssa refactor): Use types from ssa ir directly in acir context

[kevaundray]

Description

An example of what #1529 could look like

Problem*

Resolves

Summary*

This PR sets out to

Example

Before:

After:

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[kevaundray]

This is still in the experimental phase and we need to be a bit careful because previously we were semantically saying that only integers can have a bit size, wheras now this allows field elements to have a fixed bit size too. The relevance being that we don't want to be able to do a comparison with a field element. This should be caught by the frontend though

[joss-aztec]

I'm a bit unsure about the direction of this PR. GH-1529 argues we can allow ACIR gen do less work in regards to type tracking, but it appears to be doing more.

[kevaundray]

Made a quick Proof of concept (not mergable) that shows the impact of removing tracking for blackbox functions

[joss-aztec]

Made a quick Proof of concept (not mergable) that shows the impact of removing tracking for blackbox functions

Got a link?

#1539