Add a construction of the residue ring of an EnatValuedRing

[alexjbest]

so that we can use proofs about singularity vs discriminant when discussion local singular points