Working on bound variables and free variables. Have to do deleting at every step, plus look at Rec case. Fixes #3, fixes #2