move peano example to its own file