Fix typos and doctest failures; change categories for p-adic rings and fields to PrincipalIdealDomains() and Fields().