pub fn subst_term_nmtm(t: Term, x: &String, m: NameTm) -> NameTm
Substitute name terms into name terms