polys: Introduced DomainElement trait
polys: Split and cleaned up Domain.convert()
polys: Cleaned up __eq__ and __ne__ in sympy.polys.domains
polys: Use symbols instead of strings in test_domains.py
polys: Finalized implementation of set_ring() and set_field()