Convenient name for `AlgebraicField & ElementaryFunctions`

The natural place to write many generic algorithms is the protocol composition `AlgebraicField & ElementaryFunctions`, as it provides all the basic arithmetic operations including negation and division, as well as powers, roots, and transcendental functions.

To facilitate and encourage this practice, we should provide a convenient name for that composition.

Start by reading the definitions of AlgebraicField and ElementaryFunctions and the existing generic algorithm APIs that use their composition. Determine the proposed convenient name and confirm that it can represent both protocols' operations; done means the named composition is available for use by generic algorithms, with relevant tests passing.

Written by the indexing model from the issue text.