chore: replace nested matches in noirc_abi

[TomAFrench]

Description

Problem*

Reduces diff for #1651

Summary*

In noirc_abi we often require some knowledge about the value being used as well as the expected type which it is supposed to be. We currently handle this by using nested match statements however this is a little unwieldy.

This PR replaces these with a single level match statement over a tuple of (value, type).

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.