Factored out the natural numbers definition.
Seems i forgot to add the nat.elf-file. Also implemented eval-size.