Add functionality to AdicPolynomials

Add traits representing combinations of adics, e.g. AdicSeries, AdicFunction

Use BigInt structures and num traits in adic

Investigate roots of unity and Witt vectors to prepare for finite extensions