[Python-3000] PEP 31XX: A Type Hierarchy for Numbers (and other algebraic entities)

[Collin Winter]

The following things mean absolutely nothing to me:

- Monoid
- MonoidUnderPlus
- Group
- Ring
- Semiring
- Field

So, most of the terminology in the PEP.

I can see use-cases for this level of formalism, but I'm a strong -1
on making any part of the stdlib effectively off-limits for people
without advanced math degrees. Why can't this be shipped as a
third-party module?

Collin Winter