pub fn nametm_subst(nmtm: NameTm, x: &Var, v: &NameTm) -> NameTm
Substitute a name term value for a free variable in another term