- Added test ex20, that shows a minor problem fixed, when converting a
  list to a term using =../2.

- Changed nnegint/1 to between(0, inf, ...).