Unify extension field arithmetic

[Pratyush]

A lot of arithmetic and other implementation logic is shared across the field extension. This PR unifies this code under a single implementation without sacrificing any flexbility.