let term env t = term_of_data (data_of_term env t)