let subst_tenv c = List.map (function x, t -> x, subst_texp) c