Natural<T> from X

[oscbyspro]

I could use a (natural ≥ 1) and a (natural ≥ 2) guarantee to hoist preconditions in places like (#77). Positive<T> and Radix<T> seem like nice candidates. I thought of names like Natural1<T> and Natural2<T> but I want all trusted input types to be meaningful. You can express (natural ≥ 1) as Positive<some FiniteInteger>. All binary integers can be reinterpreted as a same-size finite integer, so it would be available in all contexts as an unsafe option (at a minimum).

[oscbyspro]

Well, the Positive<some FiniteInteger> reinterpretation idea is not great. It doesn't always give you a value of Self, so you have to make things unnecessarily generic and manage that.

[oscbyspro]

Perhaps natural integer suffixes could be modeled using Integer generic parameters.

struct Natural<let LowerBound: Int, Value: BinaryInteger> { }

[oscbyspro]

I think less is more when it comes to these types. Meh.