ZZ: RING
/**/ type(5); INT /**/ type(RingElem(ZZ, 5)); RINGELEM /**/ P ::= ZZ/(101)[x,y,z]; -- coeffs in quotient ring