Support for partial localization at prime
Added support for PolynomialRing over FakeLocalRing