Lambda calculus and quines interpreters, peano counting