implementing ad-hoc representation for rational numbers (in-progress)
Moved monoize to Algebra.Ring.Polynomial
Implementing general signature-based algorithm (WIP)