Numeric doesn't extend Field anymore.

Aside from some other minor fixes/refactors, this also makes Numeric
only extend Rig now, rather than Field. Note that / still exists with
Numeric, but it comes from inheriting just MultiplicativeGroup, rather
than Field.