CreateHomalgRing now accepts a list of "finalizer" functions
declared AddRationalParameters
declared and installed UnivariatePolynomial for a (coefficients) list and a string
installed \* between FFEs and homalg ring elements