add a couple of rustc options
added nonterminating instruction, which results in a stack overflow
added alpha equivalence. also moved subst definition out of whnf, since it's used for other stuff. I guess I was just thrilled to be able to do local function definitions in such a straightforward way