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