removal of 1) lispish lists and 2) env parameters for variable alpha-equivalence