nightly-2024-06-05: chore: loosen trait bounds on impls depending on `AcirField` (#5115)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This PR is some code-organisation after #5114, rather than having a
single big impl with an `AcirField` bound we can break these down into
smaller impls with looser bounds.

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.