added NF
added some encodings of the naturals
add beta equivalence, proving that this lambda calculus can execute computations on the naturals
base the indices on integers not strings, gets rid of a lot of cloning line noise -- which is probably indication of my lack of understanding of rust memory semantics, but at any rate, ints are easy
got rid of some extraneous clones