attempts at fixing various bugs with quotients of polynomial rings and Laurent polynomial rings
xxx
factor produces *some* answer for quotient rings
temp disable use of liftable to avoid bug