Add _sympy_... methods that construct Domains

[mkoeppe]

In SymPy, the set Integers and the domain ZZ are two separate objects.

https://docs.sympy.org/latest/modules/polys/domainsref.html

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/31949