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