Make naturals be a sequence type.