refactor namespace of polynomial-related modules
clean up Data.AlgebraicNumber.Real a bit
pretty printer should parenthesize a coefficient when it is a ecomposite expression
add PrettyCoeff instance for AReal