Added unit atom. Added natural numbers.