Make naturals be a subtype of (-seq Nat).