- XL.tag XL.proj attrs ~contents:(lenv_iter exp_bind exp_appl exp_proj e lenv) out tab;
- exp_term (D.push_proj C.start a lenv e) t out tab
+ XL.tag XL.proj attrs ~contents:(lenv_iter exp_bind exp_appl exp_proj st e lenv) out tab;
+ exp_term st (D.push_proj C.start a lenv e) t out tab