introduce basic support for products

instead of sums only
fix sign() and _abs() behavior of Nat and Poly
write down user visible Changes in meantime