RFC: numerics reform
Clarify motivation for remaining hierarchy
Switch proposal to drop Num
Add references to Ordinal discussion
Merge remote-tracking branch 'aturon/num-reform'
Num reform