Todos and examples.
Integer category.
Some changes in integer category.
New ToDo.