feat: general extensions via polynomial division

[Autoparallel]

Idea

We have Ext2<F> which allows us to build a degree 2 extension over a FiniteField given an irreducible polynomial. However, this is quite hard coded, and we could improve this interface along with the ExtensionField trait by using our Polynomials which have implement Rem.

Tasks

To get this done, let's break this up into a few small tasks.

• Replace the implementation of Ext2 with a Polynomial as a field instead of [F; 2] where multiplication can be done modulo an irreducible Polynomial.
• NEEDS MORE INFORMATION Adjust traits as necessary and consider a general Ext<N, F> wrapper to house Nth extensions over some field F.

---

At the moment, I don't know more specific tasks. I will take a look in the codebase and take more notes here as it unfolds.