// var term = new Lambda_lam(this.bound, this.body.eval_loop([], eta));
var term = new Lambda_lam(this.bound, reduce(this.body, eta, false));
if (eta) {
// var term = new Lambda_lam(this.bound, this.body.eval_loop([], eta));
var term = new Lambda_lam(this.bound, reduce(this.body, eta, false));
if (eta) {