LeadingModule now checks for RP!.LeadingIdeal

and AffineDegree now uses LeadingModule as a last choice
(this makes AffineDegree computable with MAGMA)
HilbertPoincareSeries and HilbertPolynomial now support IsDivisionRingForHomalg