Add number theory (taking a MathAdaptor) class with polynomial/modulo methods

Tests will follow (but no lost bitcoins yet).