Explore if generics can be simplified thanks to Rust 1.79

[adampetro]

Rust 1.79 stabilized the associated item bounds syntax. Given how extensively this project uses generics, we should see if this change allows for any simplifications anywhere, such as unnecessary associated types that were used for enforcing bounds.