public bool Equals(NatSeq rhs) => Value == rhs.value;
public bool Equals(NatSeq other) => Value == other.value;