fungi_lang::subst
pub fn subst_term_nmtm_rec(t: Term, x: &String, m: Rc<NameTm>) -> Rc<NameTm>
Substitute terms into name terms