public static bool Eq(this ITypeNat lhs, ITypeNat rhs) => lhs.value == rhs.value;
public static bool Gt(this ITypeNat lhs, ITypeNat rhs) => lhs.value > rhs.value;
public static bool Lt(this ITypeNat lhs, ITypeNat rhs) => lhs.value < rhs.value;
internal NatSum(ITypeNat lhs, ITypeNat rhs)
{
this.Lhs = lhs;
this.Rhs = rhs;
}
