changed definition of natural numbers, lots of minor changes in chapter on sequences