Yet another untyped lambda calculus, but this one has no names. I'm trying to show how to do things with de Bruijn indices. Still working on lemmas needed for beta.