use prettyclass package for human-friendly printing of polynomials
avoid manipulating monic monomials where possible, because I may change those API in future
move Data.AlgebraicNumber to Data.AlgebraicNumber.Real
add Pretty instance of AReal
optimize comparison of algebraic reals a bit