refactor(*): create directory field_theory/finite (#4212)
facts on finite fields needed facts on polynomials
facts on polynomials wanted to use things about finite fields
this PR reorganises some of the imports
at the moment it also contributes a bit of new stuff,
and depends on two other PRs that add new stuff.
